OpenAI решает десятилетние математические загадки с помощью новой модели Astra

Компания OpenAI представила доказательства для десяти математических проблем, которые оставались неразрешенными с 2016 года. Успеха добилась улучшенная версия модели Astra, разработанная создателями ChatGPT. По оценкам, стоимость вычислений составила бы около $2000 по тарифам API Sol.

Для подготовки доказательств использовалась та же модель, что и для проверки их в Lean — языке, предназначенном для верификации теорем. Все результаты и доказательства компания сделала общедоступными. Astra, как сообщается, станет новой категорией моделей, аналогичной Sol, Terra и Luna, однако пока неизвестно, будет ли она представлена как GPT-6 или в составе GPT-5.

Генеральный директор OpenAI Сэм Альтман продемонстрировал Astra политическим и регулирующим органам США еще 26 июля. Модель, возможно, станет первой, подвергнутой проверке по новым федеральным правилам, введенным администрацией Дональда Трампа для оценки ИИ-систем перед их запуском.

Важные достижения Astra включают доказательство существования несофических групп, опровергнутое предположение Конна о фон-неймановых алгебрах и решение гипотезы Эрхарта. Также модель справилась с задачей Эрдеша №183 и улучшила оценки для упаковки сфер и двоичных кодов.

Томас Блум из Манчестерского университета назвал результаты OpenAI значительным шагом вперед. Однако Astra не удалось решить все задачи. Соавтор технологии Ноам Браун отметил, что модель не смогла справиться с "задачами тысячелетия" Института Клэя, за решение которых обещан миллион долларов.