GPT-5.6 Pro дважды с первой попытки решил задачу, над которой до этого долго бился Тимоти Гауэрс — британский математик, лауреат Филдсовской премии.
«Было очень странно и не особо приятно, когда вот так выдёргивают ковёр из-под ног», — написал он в блоге. Решениям он всё же рад.
Началось всё с того, что модель OpenAI опровергла гипотезу о единичных расстояниях. Через неделю уже люди взяли ключевой приём из этого доказательства и опровергли другую крупную гипотезу.
Дальше пошёл поток. Модели находят контрпримеры, замечают общие закономерности, переводят рассуждения в формат, который проверяет компьютер. Epoch AI — исследовательская группа, известная жёстким бенчмарком FrontierMath, — сообщила о втором решении в наборе реальных нерешённых задач. Новую модель OpenAI Astra представили сразу с десятью решениями разной сложности.
Абхишек Саха, профессор математики в Queen Mary University of London, оценивает передовые модели как «крепкого и неутомимого аспиранта». За один день с GPT-5.5 Pro он сделал рутину, на которую раньше ушли бы недели. По его словам, он всё чаще дирижёр, а не весь оркестр разом.
Гауэрса пугает не потеря задач, а «возможное разрушение математической культуры». Если люди перестанут годами набирать глубокую экспертизу, литература за десять-двадцать лет разрастётся, а понимать её будет некому.
Больше 3000 математиков подписали Лейденскую декларацию об ИИ в математике при поддержке Международного математического союза. Она ничего не запрещает: требует раскрывать использование ИИ, защищать права авторов и оставлять ответственность за результат на человеке.
Потолок при этом виден. В двух самых сложных категориях бенчмарка Epoch AI — «крупное продвижение» и «прорыв» — не решено ни одной задачи. Шесть оставшихся задач тысячелетия с призом в миллион долларов каждая не поддались и Astra. Ноам Браун, исследователь OpenAI, считает, что вопрос в вычислительных мощностях.
Теренс Тао, лауреат Филдсовской премии, на Международном конгрессе математиков 2026 сформулировал главный сдвиг: дефицит доказательств сменится их избытком. Результаты будут приходить быстрее, чем их успевают проверять, объяснять и встраивать в учебники.
Математик Кирвин Хэмпшир пошёл дальше всех. В эссе «Тёмная ночь математики» он назвал Лейденскую декларацию «хорошо приглушённым криком» — попыткой успокоить коллег, которая обходит главное. Для него занятие математикой всегда было способом прикоснуться к чему-то за пределами расчёта.
Доказательство модель выдаёт. Смысл — нет.
