GPT-5.6 Pro за полтора часа решил задачу, над которой статистики бились 20 лет

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

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

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