OpenAI опубликовала отчёт «Десять достижений в математике и теоретической информатике»: внутренняя версия будущей флагманской модели Astra получила доказательства для 10 открытых задач, над некоторыми из которых математики бились 40–50 лет (по одной — с 1999 года, по другой — с 1978 года). Все доказательства формализованы в Leani и опубликованы вместе с рукописью на 249 страниц, суммарная стоимость успешных запусков — около $2000 по тарифам Sol API.

Среди результатов — первый явный пример несофической группы, опровержение гипотезы жёсткости Конна, доказательство гипотезы Эрхарта об объёме, квантовая теорема о параллельном повторении для двухигровых систем и первое с 1978 года улучшение верхней оценки плотности упаковки сфер. Astra ещё не выпущена, воспроизвести эксперимент снаружи нельзя; на следующий день после публикации инженер Anthropic заявил, что с помощью общедоступной модели Fable/Claude без доступа в интернет получил решения половины из перечисленных задач менее чем за 24 часа — что ставит под вопрос уникальность и сложность части заявленных результатов OpenAI.

• Сэм Альтман лично представил семейство Astra чиновникам в Вашингтоне; по данным источников, это будет первая модель, проходящая новый государственный процесс одобрения перед релизом
• Astra — мультиагентная модель, предназначенная для продолжительной автономной работы в сложных сценариях; в списке также решена задача Эрдёша №183 о мультицветных числах Рамсея
• Математические идеи полностью сгенерировала сама Astra, люди лишь помогли оформить их в статьи, после чего модель формализовала доказательства в Lean (по данным Александра Горного)
• Сиолошная попросила GPT-5.6 Sol Pro и Fable 5 Max оценить результаты по шкале EpochAI (Solid Result / Major Advance / Breakthrough): результат №3 обе модели назвали «Прорывом», ещё как минимум 7 из 10 — «Крупным достижением», а Fable 5 считает результаты №1 и №4 близкими к «Прорыву»
• По данным Machinelearning, OpenAI пыталась решить и другие сложные задачи, но пока безуспешно; сколько попыток не удалось и что стоили неудачные запуски — компания не раскрывает
• Спустя сутки после публикации инженер Anthropic заявил, что модель Fable без доступа в интернет самостоятельно решила пять из десяти перечисленных задач менее чем за 24 часа (упомянуто в Хайтек+ и Data Secrets)
• Точное название и статус модели неясны: часть источников предполагает, что Astra — это GPT-6 или GPT-5.7, но OpenAI официально не называет её GPT-6