Теренс Тао раскритиковал GPT-6 за прорыв в задаче о простых числах-близнецах

Поводом стало заявление OpenAI: модель GPT-6 Astra с помощью формальной проверки Lean сократила верхнюю границу промежутка между последовательными простыми числами с 246 до 186. Это шаг в решении гипотезы о простых числах-близнецах. Anthropic и Axiom почти одновременно назвали оценки 188 и 212. Но Тао видит угрозу: если ИИ выдаёт ответ, не раскрывая процесс рассуждений, математики лишаются возможности учиться на неудачных попытках, а именно из таких тупиков рождаются новые методы и связи между областями.

В качестве примера Тао приводит задачу о гладкости решений уравнений Навье-Стокса. Многолетние попытки её решить породили множество фундаментальных результатов. Если же ИИ предъявит окончательный ответ, не объяснив путь к нему, проблема перестанет быть источником развития математики. Компании же держат этот путь закрытым. По словам Тао, при неблагоприятном сценарии влияние ИИ на математику из положительного станет резко отрицательным.

Он добавил, что работа математика Джулии Штадльман, опубликовавшей собственную оценку 240, могла быть погребена под машинными результатами, если бы не вышла до начала ИИ-атаки на задачу. Это показывает, как непрозрачные решения обесценивают труд людей.

Позиция Тао не в том, чтобы отказываться от ИИ в математике. Он напоминает: задача важна не только ответом, но и процессом поиска. Без понимания этого будущее науки под угрозой.