OpenAI 1 августа официально дала имя своему следующему крупному семейству моделей Astra и сообщила, что внутренняя версия системы получила решения 10 задач по математике и теоретической информатике, которые оставались открытыми не менее десяти лет.
Ключевые моменты:
- OpenAI подтвердила название Astra в отчёте, где модели приписывается 10 результатов по задачам, над которыми не было прогресса как минимум десятилетие.
- В перечень входят построение не‑софических групп, опровержение жесткости Конна и три задачи из каталога Эрдёша.
- Каждый довод сопровождается машинно проверяемым сертификатом Lean, а суммарная стоимость токенов составила около $2 000 по расценкам Sol API.
В отчёте по OpenAI Astra — 10 серьёзных математических результатов
Компания опубликовала в субботу 249‑страничный отчёт, охватывающий сферические упаковки, теорию кодирования, сложность арифметических схем, теорию групп, квантовую сложность и криптографию на решётках.
Каждая задача из списка не видела продвижения по ключевому результату не менее десяти лет, а по ряду направлений прогресс отсутствовал куда дольше. Одно из построений доказывает существование не‑софических групп, закрывая центральный вопрос теории групп.
Другие результаты включают опровержение гипотезы жёсткости Конна, доказательство гипотезы Эрхарта об объёмах и решение трёх задач из каталога Эрдёша, в том числе получение нижней оценки для многокрасочных треугольных чисел Рамсея. По оценке OpenAI, поиск всех 10 решений обошёлся примерно в $2 000 по ставкам Sol API.
Архитектура Astra основана на нескольких агентных компонентах, которые разбивают сложную задачу на подзадачи, длительно работают параллельно и затем объединяют результаты. Линейка располагается рядом с моделями Sol, Terra и Luna под обозначением GPT‑5.6. В OpenAI ещё не решили, выйдет ли она как GPT‑6, как вариант GPT‑5.7 или как отдельный продуктовый уровень, и не объявляли дату релиза.
Также по теме: Bitcoin‑ETF привлекли $233,1 млн, одну из заявок обеспечил почти один фонд
Математики обсуждают доказательства Astra в Lean
Томас Блум из Манчестерского университета, который ведёт каталог задач Эрдёша, назвал результаты «громкой новостью» в X. По его оценке, они важнее майского контрпримера к гипотезе об единичных расстояниях от OpenAI — по крайней мере, с точки зрения конструкций.
Каждый аргумент снабжён формальным сертификатом в системе Lean, который может быть полностью проверен машиной — планка, которую пока преодолели лишь немногие заявления об успехах ИИ в математике. При этом математикам ещё предстоит удостовериться, что каждое формализованное утверждение действительно соответствует формулировкам задач, считавшихся открытыми в профессиональном сообществе. Ноам Браун, работавший над методами рассуждения в системе, отметил, что среди решённых задач нет ни одной из Премий тысячелетия.
Сэм Альтман презентовал Astra в Вашингтоне
Сэм Альтман показал Astra сенаторам и представителям администрации США на закрытых встречах в Вашингтоне за несколько дней до публикации отчёта.
В среду он встречался с сенаторами Рафаэлем Уорноком и Берни Морено, а в его расписании также значились отдельные беседы с Маркoм Уорнером, министром финансов Скоттом Бессентом и министром торговли Ховардом Латником.
Ожидается, что Astra станет первой моделью, поданной на рассмотрение в рамках планируемого федерального режима предварительного анализа перед выпуском.
В мае OpenAI пошла по схожему пути, когда объявила о найденном с помощью ИИ опровержении гипотезы Эрдёша об единичных расстояниях не в научном журнале, а в блоге. Уже в июне математики ответили Лейденской декларацией — поддержанным Международным математическим союзом предупреждением против «доказательств по пресс‑релизу», на которую OpenAI ссылается в свежем отчёте.
Читайте далее: Трейдеры на Polymarket дают Человеку‑пауку 91% шансов на исторический дебют
