> ## Content Index
> Fetch the complete content index at: https://admin.kod.ru/llms.txt
> Use this file to discover other available public pages before exploring further.

# Новая модель Astra от OpenAI решила 10 нерешённых математических задач
- URL: https://admin.kod.ru/astra-10-nereshionnykh-zadach/
- Published: 2026-08-03T08:31:37.000Z
- Updated: 2026-08-03T08:31:37.000Z
- Description: Внутренняя версия системы нашла ответы на фундаментальные вопросы, над которыми учёные безуспешно бились десятилетиями.
- Author: Мария Снегова
- Tags: Новости

Новая ИИ-модель от OpenAI Astra решила 10 нерешённых математических задач. Об этом [сообщается](https://openai.com/index/ten-advances-in-mathematics/?ref=admin.kod.ru) в блоге компании.

Решённые проблемы охватывают шесть направлений, включая высокоразмерную геометрию и криптографию на решётках. Главным достижением стало создание первой в истории явной конструкции несофической группы. Существование этого математического объекта исследователи активно обсуждали ещё с 1999 года.

Все десять доказательств были строго верифицированы с помощью инструмента проверки теорем Lean 4\. На платформе GitHub уже [опубликован](https://github.com/openai/ten-proofs?ref=admin.kod.ru) 249-страничный манускрипт и машиночитаемые сертификаты. Подобный подход позволяет независимо проверить каждый шаг и полностью исключает ошибки ручной записи.

По оценкам самой компании, поиск всех решений обошёлся примерно в 2000 долларов по тарифам API. Математик Томас Блум назвал эти итоги «большой новостью», превосходящей прошлые достижения искусственного интеллекта. При этом он подчеркнул, что нейросети опираются на опыт людей и пока не заменят живых учёных.

Задачи из списка «премии тысячелетия» система Astra пока серьёзно не атаковала. Однако OpenAI планирует продолжать эксперименты и вскоре опубликует подробную техническую документацию. Ранее искусственный интеллект компании уже смог автономно опровергнуть гипотезу Эрдёша 1946 года.