GPT-5.6 Pro решил задачи филдсовского лауреата: зачем режим Pro обычному пользователю в 2026

Летом 2026 математика перестала быть местом, куда нейросети заходят на правах гостя. В мае OpenAI опубликовал контрпример к гипотезе о единичных расстояниях, которая простояла открытой с 1946 года и считалась заметной среди задач Пала Эрдёша. Через неделю живые исследователи взяли метод доказательства из этой работы и опровергли им ещё одну гипотезу. А филдсовский лауреат Тимоти Гауэрс рассказал, что GPT-5.6 Pro с первой попытки закрыл две задачи, над которыми он сам бился долго и безуспешно.

Дальше без восторгов разберём то, ради чего сюда стоит зайти обычному человеку: что такое режим Pro и чем он отличается от привычного ChatGPT, на каких бытовых задачах эта разница действительно чувствуется, где ты просто переплатишь, и как получить к нему доступ из России.

Коротко: термины из статьи одной строкой

• Режим Pro - вариант работы флагманской модели с максимальным усилием на размышление, доступен на старших тарифах ChatGPT.
• Гипотеза Эрдёша - одна из сотен задач, которые венгерский математик Пал Эрдёш оставил открытыми, часть с денежными призами за решение.
• Контрпример - пример, который разрушает гипотезу целиком. Доказать гипотезу трудно, опровергнуть иногда достаточно одним удачным построением.
• FrontierMath - бенчмарк от Epoch AI, где задачи разложены по уровням сложности, от рутинных до тех, что тянут на прорыв.
• Формальная верификация - проверка доказательства программой, которая не верит на слово и требует каждый шаг разложить до аксиом.

Что реально произошло в математике летом 2026

История началась в мае. OpenAI показал контрпример к гипотезе о единичных расстояниях из геометрической теории графов. Задача была открыта с 1946 года, то есть её не могли закрыть восемьдесят лет. Само по себе это уже новость, но интереснее оказалось продолжение: буквально через неделю люди разобрали технику доказательства, адаптировали её и опровергли ещё одну гипотезу. Модель выдала не только результат, но и технику, которой дальше воспользовались живые исследователи.

В апреле 2026 команда из Университета Карнеги-Меллона закрыла открытую задачу в теории Рамсея. Схема там показательная: SAT-солвер для перебора, код, который написала языковая модель, и формальная верификация результата сверху. Ни один из трёх кусков сам по себе задачу не решает, работает связка.

При представлении модели Astra OpenAI приложил десять ранее нерешённых задач. Одна из них была второй решённой позицией из набора «FrontierMath: Open Problems». Такие новости в июле и августе 2026 идут почти ежедневно, и именно поэтому вокруг темы столько шума.

Профессор математики Абхишек Саха из Queen Mary University описал ощущение так: современные фронтир-модели работают как минимум не хуже крепкого и неутомимого аспиранта. Он потратил один день на GPT-5.5 Pro и закрыл рутинную часть работы, на которую обычно уходили недели. По его словам, он всё чаще чувствует себя дирижёром, который ведёт оркестр, вместо того чтобы самому играть на всех инструментах.

Что сказал Тимоти Гауэрс и почему это важно

Гауэрс - обладатель Филдсовской премии, высшей награды в математике. Он рассказал, что скормил GPT-5.6 Pro задачи, на которые сам потратил много времени, и модель выдала решение с первой попытки. Реакция вышла двойственной.

Было очень странно и не особо приятно, когда вот так выдёргивают ковёр у тебя из-под ног.

- Тимоти Гауэрс, филдсовский лауреат, по материалам the-decoder

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

Любопытная деталь: ещё в 2000 году Гауэрс предсказывал, что компьютеры возьмут на себя скучные части работы и эти части перестанут быть настолько скучными. Предсказание сбылось, только скорость оказалась выше ожидаемой. Математик Тревор Базетт смотрит на ту же картину оптимистично и говорит про золотой век совместной работы человека и модели.

Чем режим Pro отличается от обычного ChatGPT

Теперь к практике. GPT-5.6 приехал в ChatGPT 9 июля 2026, и флагман линейки доступен на всех платных ступенях. А вот режим максимального усилия, который в интерфейсе называется Pro, открыт только на старших тарифах Pro и Enterprise. Именно на нём работали Гауэрс и Саха.

Механика простая на словах. Обычный режим отвечает быстро: модель делает один проход и отдаёт результат. Режим Pro тратит на один ответ в разы больше вычислений и времени: гоняет несколько линий рассуждения параллельно, отбрасывает тупиковые, проверяет промежуточные выводы и только потом отдаёт финал. Ответ приходит через минуты вместо секунд, и стоит запрос существенно дороже.

Из этого следует главное практическое правило. На вопросах, где нечего перебирать, разницы ты не увидишь. Выигрыш появляется там, где решение состоит из длинной цепочки шагов и ошибка на третьем шаге портит всё остальное.

Где режим Pro реально выигрывает на бытовых задачах

Перенесём историю с гипотезами Эрдёша на землю. Общее у математической задачи и твоей рабочей ровно одно: длина цепочки. Вот случаи, где тяжёлый режим окупается.

Договор, счёт, смета, любой длинный документ с числами. Задача «найди пункты, которые противоречат друг другу, и посчитай, во что мне обойдётся худший сценарий» требует держать в голове весь документ и связать пункт 3.2 с приложением на последней странице. Обычный режим отвечает про очевидные вещи, тяжёлый вытаскивает неприятные связки.

Расчёт с кучей условий. Ипотека с досрочными погашениями, налоги при нескольких источниках дохода, раскладка бюджета по проекту с фиксированными и плавающими статьями. Тут ошибка на одном шаге тихо ломает финальную цифру, и как раз тут длинное размышление с самопроверкой окупается.

Баг, который ты ловишь второй день. Плавающая ошибка, которая воспроизводится через раз, - это перебор гипотез с отсечением. Ровно то, чем режим Pro занят по устройству.

Большая таблица со сложной логикой. Свести выгрузку из CRM, разметить категории по нетривиальным правилам, найти дубликаты, которые различаются написанием. Про сам инструментарий подробно в гайде нейросеть для Excel и таблиц, но правило то же: чем больше правил надо держать одновременно, тем сильнее отрыв.

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

Ты работаешь в режиме максимального размышления. Задача: проверить договор на риски для меня как заказчика.
 
Что сделать по шагам:
1. Выпиши все пункты, где есть деньги, сроки или ответственность.
2. Найди пары пунктов, которые противоречат друг другу, и покажи оба текста рядом.
3. Посчитай худший сценарий: сколько я заплачу, если исполнитель сорвёт срок на 30 дней.
4. Отдельным списком выдели формулировки, допускающие двойное толкование.
 
В конце покажи ход рассуждений по пункту 3 с числами. Если чего-то в договоре не хватает для расчёта, скажи прямо, не додумывай.
 
Текст договора:
[вставить]

Где ИИ пока упирается в стену

Тут важно не улететь в другую крайность. Тот же материал, из которого взяты новости про Эрдёша, честно перечисляет границы.

Бенчмарк FrontierMath от Epoch AI раскладывает задачи по уровням. Две верхние категории, «Major Advance» и «Breakthrough», модели пока не взяли вообще. Шесть оставшихся задач тысячелетия, за каждую из которых Clay Mathematics Institute платит миллион долларов, не решены ни людьми, ни машинами. Модель Astra их не осилила, хотя исследователь OpenAI Ноам Браун считает, что дело может быть в объёме вычислений.

Ещё одна деталь, которую стоит перенести на свои задачи: теория графов поддаётся машинным доказательствам заметно легче других разделов. То есть успехи распределены неравномерно. Есть области, где модель щёлкает задачи, и есть соседние, где она буксует. Ровно так же и у тебя: на одном типе рабочих задач тяжёлый режим даст вау-эффект, а на соседнем не даст ничего, и предсказать заранее сложнее, чем проверить.

Спор внутри математики: декларация и «тёмная ночь»

Реакция профессионального сообщества оказалась куда сложнее, чем «здорово» или «ужасно». Больше трёх тысяч математиков подписали Лейденскую декларацию об искусственном интеллекте и математике, которую поддержал Международный математический союз. Декларация не запрещает модели. Она требует трёх вещей: прозрачно указывать, где использовался ИИ, защищать права авторов и оставлять ответственность за результат на человеке.

Гауэрс декларацию не подписал, но в целом её цели поддерживает. А вот Кёрвин Хэмпшир, автор июльского текста «Тёмная ночь математики», называет её хорошо приглушённым криком и подслащённой попыткой успокоить математиков. Его аргумент лежит вне техники: создание новой математики он считает одним из способов, которым человек прикасался к невыразимому. Он вспоминает борхесовскую Вавилонскую библиотеку и спрашивает, зачем писать новые доказательства, если машина способна перебрать все мыслимые.

Теренс Тао формулирует третью позицию, самую прикладную. По его мнению, математики перейдут от производства доказательств к управлению ими. Проблемой станет не дефицит результатов, а перегрузка: результаты будут приходить быстрее, чем люди успевают их прочитать и осмыслить. Значит, ценность сместится к умению решать, какие результаты вообще важны, как их подавать и куда двигать поле дальше.

Как получить доступ к режиму Pro из России

Сама модель работает откуда угодно, ограничения в доступе и оплате. OpenAI закрывает вход с российских IP-адресов, поэтому первым делом нужен рабочий VPN с зарубежным адресом. Держи один стабильный регион и не прыгай между странами от захода к заходу: резкая смена страны входа - частая причина перепроверки аккаунта.

Дальше про деньги. По сводкам тарифов на июль 2026 у ChatGPT платных ступеней три: Plus за 20 долларов в месяц, Pro за 100 долларов (запущен 9 апреля 2026, лимиты примерно в пять раз выше Plus) и Pro за 200 долларов с лимитами примерно в двадцать раз выше Plus. Режим максимального усилия у флагмана открыт на ступенях Pro. Актуальную цену перед оплатой проверь на сайте OpenAI, тарифная сетка в 2026 году менялась не раз.

В рублях по курсу 85-90 за доллар это примерно 1700-1900 за Plus, около 8500-9000 за младший Pro и 17-18 тысяч за старший. Сумма серьёзная, поэтому подходить к ней стоит трезво: если у тебя нет постоянного потока длинных многошаговых задач, тяжёлый режим не окупится.

Оплатить подписку из России можно через сервис оплаты подписок (реферальная ссылка: тебе тот же прайс, мне небольшой процент): ты переводишь рубли, сервис платит зарубежной картой. Пошагово весь процесс с нюансами описан в гайде как оплатить ChatGPT из России в 2026.

Отдельный путь для тех, кто не хочет возиться с VPN и картами: российские агрегаторы вроде BotHub (тарифы стартуют примерно от 3 долларов) или MashaGPT (Base 990 рублей в месяц, Ultra 1990). Они перепродают доступ к моделям OpenAI за рубли и работают без VPN. Минус в том, что тяжёлый режим максимального усилия там есть не всегда, набор доступных режимов зависит от конкретного сервиса, и это стоит проверить до оплаты.

Как ставить задачу, чтобы тяжёлый режим отработал

Дорогой режим легко превратить в дорогую болталку. Разница между «модель выдала ерунду» и «модель разобрала задачу» чаще всего лежит в постановке. Три правила, которые дают эффект сразу.

Дай все ограничения одним списком сразу. Модель строит решение целиком, и добавленное на пятом сообщении условие ломает всю конструкцию. Всё, что важно, должно попасть в первое же сообщение.

Проси показать ход и назвать слабые места. Ответ без хода проверить невозможно. Ответ с ходом проверяется за пару минут по ключевым числам.

Разреши модели сказать «не хватает данных». Без этой фразы в промпте она додумает недостающее, и ты получишь красивый расчёт на выдуманных вводных.

Задача: составить график работ по ремонту квартиры.
 
Жёсткие ограничения (все обязательны):
- бюджет 1 200 000 рублей, превышать нельзя
- закончить до 15 декабря
- плитка приедет только через 3 недели
- электрику делает бригада, свободная по вторникам и четвергам
- в квартире живут, поэтому шумные работы только с 10 до 18
 
Что нужно на выходе:
1. График по неделям с указанием, что за чем идёт и почему.
2. Три места, где график порвётся при малейшей задержке, и запасной вариант для каждого.
3. Смета по неделям с накопительным итогом.
 
Покажи ход рассуждений по пункту 2. Если данных не хватает, напиши какие нужны и не подставляй свои.

Разбор того, как вообще формулировать запросы, чтобы модель отвечала по делу, есть в гайде как писать промпты. Для тяжёлого режима правила те же, просто цена неточной формулировки выше: ты платишь за минуты размышления над неправильно поставленной задачей.

Ты работаешь в режиме максимального размышления. Перед тобой моя задача, но сначала НЕ решай её.
 
Сделай три вещи:
1. Перескажи задачу своими словами так, как ты её понял.
2. Выпиши список данных, которых тебе не хватает для точного ответа.
3. Назови 2-3 места, где эта задача обычно решается неправильно.
 
После этого остановись и жди мой ответ. Решать начнёшь только по команде.
 
Задача:
[описать задачу]

Что у тебя теперь есть

• Понимание, что произошло: с мая 2026 модели закрывают математические задачи, стоявшие открытыми десятилетиями, и это подтверждают сами математики уровня филдсовского лауреата.
• Знание границы: две верхние категории FrontierMath и шесть задач тысячелетия не взяты, успехи распределены по разделам неравномерно.
• Критерий, когда включать тяжёлый режим: длинная цепочка шагов плюс высокая цена ошибки. Всё остальное делает обычный тариф.
• Список бытовых задач, где разница ощутима: договоры, расчёты с ограничениями, поиск причины бага, большие таблицы, планирование.
• Три готовых промпта под тяжёлый режим и правило про ограничения, ход решения и запрет додумывать.
• Расклад по деньгам и доступу из России: VPN, тарифы 20 / 100 / 200 долларов, оплата через посредника или доступ через агрегатор за рубли.

Главный вывод из всей этой истории приземлённее, чем заголовки про восемьдесят лет и филдсовскую премию. Модель научилась дожимать длинные цепочки рассуждений, если ей эту цепочку правильно задать и потом проверить результат. В математике это выглядит как контрпример к гипотезе 1946 года. У тебя это выглядит как найденное противоречие в договоре или график ремонта, который не рвётся на второй неделе. Механика одна и та же.

По материалам the-decoder: https://the-decoder.com/ai-keeps-cracking-unsolved-math-problems-and-mathematicians-have-mixed-feelings/