Модель GPT-5.4 Pro от OpenAI, как сообщается, решила открытую математическую задачу Эрдёша №1196.
По этим данным, модели потребовалось около 80 минут на поиск решения, а затем ещё 30 минут, чтобы оформить результат в виде статьи LaTeX. Сейчас идёт формальная проверка доказательства.
Математик Теренс Тао написал на форуме Erdős Problems, что работа показывает ранее не описанную связь между анатомией целых чисел и теорией марковских процессов. По его словам, «это было бы значимым вкладом в изучение анатомии целых чисел, который выходит далеко за рамки решения именно этой задачи Эрдёша».
Кевин Баррето, который, как он сам сообщил, скоро присоединится к команде OpenAI AI for Science, отметил на том же форуме, что использованный моделью метод цепей Маркова стал творческим шагом, который математики не замечали, хотя над задачей работали годами.
Обсуждение привлекло внимание на фоне спора о том, способны ли большие языковые модели открывать новое знание в математике и других дисциплинах, выходя за рамки данных, на которых они обучались.
Этот случай, если результат подтвердится, показывает, что новые выводы могут появляться и при работе с уже известными данными.
Источник: The Decoder, форум Erdős Problems.
