GPT 5.5 Pro решает математику уровня PhD — филдсовский медалист поражен
Новейшая внутренняя сборка GPT 5.5 Pro от OpenAI сделала то, что потрясло академическую математику: решила задачу аддитивной теории чисел уровня PhD менее чем за час — без подсказок, промежуточных инструкций или scaffolding.
Оценку проводил не кто иной, как Sir Timothy Gowers, филдсовский медалист. Его вердикт: модель продемонстрировала «способность к оригинальному доказательству» — умение строить новый математический аргумент с нуля.
Что произошло
Gowers представил модели открытую проблему из аддитивной теории чисел — области, изучающей аддитивные свойства целых чисел. Проблема требовала творческого подхода, а не вычислительной мощи.
В течение 60 минут GPT 5.5 Pro выдал полное, логически когерентное доказательство. Gowers описал цепочку рассуждений как «замечательно элегантную» — такое доказательство талантливый аспирант мог бы создать после недель работы.
Почему это важно
-
Математические исследования резко ускорятся. Если frontier-модели могут автономно доказывать новые теоремы, узким местом становится не «поиск доказательств», а «постановка правильных вопросов».
-
Математическое образование перед экзистенциальными вопросами. Когда машина превосходит аспирантов в рассуждении, чему мы должны учить? Консенсус: математическая интуиция и формулировка проблем становятся ценнее вычислений.
-
Определение «понимания» под давлением. Действительно ли модель понимает математику или выполняет ультрасовершенное дополнение паттернов? Gowers признает, что различие размывается.
Более широкая картина
Производительность GPT 5.5 Pro — часть более широкого тренда. Frontier-модели пересекают порог за порогом в бенчмарках рассуждения. Линия между «инструментом» и «коллегой» становится тоньше с каждым месяцем.
Читайте также: GPT 5.5 Instant Edition · Adaptive Parallel Reasoning