GPT-5.6 Pro от OpenAI решил две математические задачи, над которыми лауреат Филдсовской премии Тимоти Гоуэрс работал лично, — каждую с первой попытки. Это спровоцировало дискуссию в математическом сообществе о будущем дисциплины: одни называют ИИ мощным инструментом, другие предупреждают о «возможном разрушении математической культуры».
Суть события
OpenAI опубликовала результаты, согласно которым GPT-5.6 Pro нашёл решения двух задач, над которыми Гоуэрс работал долгое время, — обе были нерешёнными. Математик признал результат, но выступил с предупреждением: если исследователи перестанут развивать экспертизу, необходимую для понимания таких доказательств, математика как живая наука окажется под угрозой.
Детали
Гоуэрс — один из самых влиятельных математиков современности, лауреат Филдсовской премии 1998 года, известный работами в области комбинаторики и функционального анализа. Его публичная позиция по ИИ в математике — одна из самых взвешенных в сообществе: он не отрицает возможности систем, но настаивает на том, что понимание доказательств человеком остаётся критически важным.
На собственной блоге Гоуэрс описал свои ощущения: «Это было очень странно и не особенно приятно — почувствовать, что у тебя выбивают почву из-под ног таким образом», — написал он, хотя и признал, что рад решению задач.
Главный страх математика — «возможное разрушение математической культуры». По его словам, если меньше людей будут развивать глубокую экспертизу, математическая литература может значительно вырасти за десять-двадцать лет, но при этом не останется человеческого сообщества, которое по-настоящему понимает эту литературу.
Насколько масштабны эти прорывы?
OpenAI представила новую модель Astra, которая была анонсирована с демонстрацией десяти решённых задач разной сложности. Исследовательская группа Epoch AI, известная своим строгим бенчмарком FrontierMath, объявила о втором решении в рамках проекта FrontierMath: Open Problems — теста, построенного на основе крупных нерешённых задач математики. Учёные из Carnegie Mellon заявили, что считают наступление «золотого века» математики: «Мы полагаем, что сейчас входим в этот золотой век благодаря сочетанию нескольких технологий», — говорится в их работе.
При этом Гоуэрс не ожидает, что этот период продлится долго. Он предсказал, что «в течение следующего столетия компьютеры станут достаточно хороши в доказательстве теорем, чтобы практика чисто математического исследования полностью изменилась».
Контекст
Математика исторически была последним рубежом, где ИИ не мог конкурировать с человеческим пониманием. Ужесточение ограничений на экспорт чипов и сокращение доступных вычислительных ресурсов для Китая заставили лаборатории искать качественные, а не количественные прорывы — и решаемые задачи стали индикатором прогресса.
Ранее мы разбирали, как ИИ-агенты используются для персональной математики — и какие ограничения у такого подхода. Также публиковали разбор позиции Дэрио Амодея по открытым моделям и рискам.
Что дальше
Математическое сообщество находится на переломном этапе. Вопрос не в том, будет ли ИИ решать задачи — это уже происходит. Вопрос в том, как изменится роль человека-математика: останется ли он интерпретатором и валидатором или превратится в пользователя, который применяет результаты без глубокого понимания.
