GPT‑5.6 Pro решил 20‑летнюю задачу Бенджамини‑Хохберга за 1,5 часа

Что случилось?

Эдгар Добрибан, известный статистик из Уортонской школы Пенсильванского университета, в начале августа 2026 года провёл эксперимент с новейшей языковой моделью GPT‑5.6 Pro. Он представил модели строгое математическое определение процедуры Бенджамини‑Хохберга – задачи, над которой исследователи пытались найти решение более 20 лет, не сумев достичь окончательного результата.

Как прошёл процесс?

Добрибан задал единственный запрос: «Докажите или опровергните гипотезу о свойствах процедуры Бенджамини‑Хохберга». Модель начала длительные рассуждения, генерируя цепочку логических шагов, проверяя гипотезы и создавая численные эксперименты. Через полтора часа она представила:

• формальное доказательство одной части гипотезы;
• контрпример, опровергающий другую часть;
• полностью рабочий код на Python, генерирующий численный сертификат, подтверждающий корректность контрпримера.

Почему это важно?

Решение задачи, над которой статистики и математики трудились два десятилетия, демонстрирует, насколько далеко продвинулась способность современных LLM‑моделей к математическому рассуждению и автоматическому доказательству. GPT‑5.6 Pro использует улучшенный механизм цепочки размышлений (Chain‑of‑Thought) и интегрированную проверку кода, что позволяет ей не только генерировать текст, но и проверять свои выводы в реальном времени.

Что дальше?

Автор эксперимента опубликовал полную запись диалога и репозитарий с кодом на GitHub (см. оригинальную статью на Habr AI). Ожидается, что исследователи начнут активно использовать такие модели для ускорения решения открытых проблем в статистике, теории вероятностей и смежных областях.