OpenAI заявляет о решении 10 нерешаемых десятилетиями математических задач — за $2 000 на каждую

OpenAI продолжает удивлять: на этот раз компания заявила, что её внутренняя модель Astra (следующее поколение после GPT-5.6) решила десять математических задач, по которым «не было прогресса по основному результату как минимум десятилетие». На каждую задачу ушло менее $2 000 по ценам токенов GPT-5.6 Sol. Правда, сколько попыток провалилось до успеха, не раскрывается.

Результаты опубликованы в репозитории openai/ten-proofs с формализациями на Lean 4, а также в статье с описанием решений. Дополнительно OpenAI выложила PDF, сгенерированный LLM, где модель «реконструирует, как собиралось доказательство» на основе неопубликованных трассировок рассуждений. Уровень прозрачности неплохой, но хочется увидеть сами промпты!

Математическое сообщество в смешанных чувствах: от восторга до тревоги. Математик Кирвин Хэмпшир опубликовал эссе «Тёмная ночь математики», описывая «глубокий духовный кризис» из-за предыдущих результатов ИИ. Теренс Тао видит в этом переход к «большой математике» — масштабным децентрализованным коллаборациям людей и машин, где ИИ берёт на себя техническую рутину, а люди — творческую часть.