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