Нейросеть закрыла математическую задачу, открытую с 1996 года. За 148 минут. С первой попытки.

Наткнулся недавно на реддите на очень интересный пост о применении Про модели ChatGPT (новой версии GPT 5.6 Sol Pro). Я вообще стал большим поклонником Про модели, как подписку поднял, а тут я в очередной раз дивился тому, что может не закрытая, а вполне пользовательская модель. Ну и тому, как наш герой модель промптил.

Пост особенно приглянулся мне тем, что его реально писал учёный — всё по полочкам, ссылочки, на каждое утверждение пруфлинк. Так что рекомендую.

Профессор математики Университета Беркли Филлип Кергер год бился над задачей из теории оптимизации — о ней эксперты на профильной конференции ещё недавно говорили: «мы понятия не имеем, как это доказать». Разрыв между «умеем за d² замеров» и «доказали, что меньше d нельзя» висел 30 лет.

Самое интересное — как именно он подошёл к доказыванию:

• Взял за образец промпт, который OpenAI опубликовала после доказательства гипотезы CDC, и построил свой строго по той же методике: [CDC-промпт]
• Получилось 10 страниц (Карл!) инструкции: какие подходы пробовать, в каком порядке работать, как себя проверять. Причём промпт он проектировал вместе с самой моделью.
• GPT-5.6 Sol Pro выдала доказательство за 148 минут непрерывной работы — one shot, без единого вмешательства: [сам чат]

А теперь крайне любопытная деталь: 5.4 и 5.5 Pro не справились. Кергер до этого гонял их долгими сессиями — вникуда. Он даже подсовывал 5.5 ту самую идею, которая потом сработала у Sol, — модель всё равно не дожала: [провальный чат]. То есть дело не в «волшебных словах» — между поколениями произошёл реальный скачок. Но и не только в модели: сработала связка «новая модель + дисциплинированный промпт».

Доказательство формально верифицировано в Lean — корректность подтверждается программно, а не только словами автора. Рецензирования пока не было, но весь код и промпты открыты: [GitHub] · [arXiv] · [Medium]

Вопрос, которым автор заканчивает: сколько открытых задач прямо сейчас находятся в одном хорошем промпте от решения?

📄 Полный разбор — в статье в PDF ниже
🔗 [Оригинальный пост на Reddit]