Модель GPT-5.4 Pro компании OpenAI, судя по всему, справилась с открытой математической задачей Эрдёша №1196. Она нашла решение примерно за 80 минут, а потом потратила ещё 30 минут на оформление в формате LaTeX. Процесс официальной проверки уже запущен.
В форуме проблем Эрдёша Теренс Тао, известный математик, поделился мнением: решение выявляет свежую связь между особенностями целых чисел и теорией марковских процессов. "Это ценный вклад в понимание целых чисел, который выходит далеко за пределы той конкретной задачи Эрдёша", — отметил Тао. Кевин Баррето, готовящийся войти в состав команды OpenAI по ИИ для научных исследований, подчеркнул в том же обсуждении: техника с марковскими цепями оказалась неожиданным приёмом, который человеческие математики не заметили за годы попыток.
Такой случай важен для споров о том, способны ли большие языковые модели генерировать свежие знания в математике и других областях, выходя за рамки данных, на которых их обучали. Здесь видно, что новое понимание может прятаться прямо внутри уже знакомых фактов.