A new lower bound for two-color van der Waerden numbers
Marcelo Campos, Jacob Fox, Carl Schildkraut
AI use, as the source states it
“It was found by ChatGPT 5.6 Sol Pro.”
Model: ChatGPT 5.6 Sol Pro, as stated
Named here, or see a mistake? Write to privacy@papex.org.