Математик создал задачу, неподвластную ИИ. GPT-5.4 ее решила

Польский математик Бартош Наскрэнцки, вице-декан факультета математики и информатики Познаньского университета имени Адама Мицкевича, еще в июле 2025 года публично называл ИИ "очень продвинутым калькулятором", неспособным к глубокому математическому мышлению. Для бенчмарка FrontierMath от Epoch AI он создал задачу высшей сложности (Tier 4), в которую вложил 20 лет экспертизы — на стыке теории Галуа, алгебраической геометрии и арифметики. Перед подачей он протестировал ее на o4-mini-high, убедился, что модель не справляется, и специально "подкрутил" сложность. Задача была спроектирована как нерешаемая.

GPT-5.4 в режиме xhigh ее решила. Epoch AI запустила модель на задаче 11 раз независимо — 10 попыток провалились, каждая шла по своему пути, но ни одна не достигла ключевого прорыва. На 11-й попытке модель нашла паттерн связи между арифметикой и геометрией задачи и применила, по словам Наскрэнцки, "один красивый трюк с суммированием", который позволил обойтись без самого тяжёлого математического аппарата. Наскрэнцки оценил суммарный объем вычислений во всех 11 запусках в 5–15 млн токенов с рассуждениями — эквивалент многочасовой исследовательской сессии. Решение он назвал "хорошей математикой, написанной чисто", а сам опыт — своим личным "Move 37", по аналогии с легендарным ходом AlphaGo.

Наскрэнцки опубликовал формальный разбор всех 11 попыток под заголовком "Анализ производительности повторных попыток LLM на исследовательской математической задаче". В нем он подчеркивает: результат 1 из 11 — это хрупкий рубеж возможностей, а не надежная способность. Но "ранние ласточки", по его выражению, обычно указывают на качественный сдвиг, который становится стабильным в следующих поколениях моделей. В тот же день он использовал