Новая модель OpenAI решила 10 математических задач, известных много лет

Именно эта модель в обозримом будущем отправится в релиз.

Нейросеть Astra, созданная OpenAI, смогла найти решения для 10 математических задач, которые долго не удавалось решить исследователям-людям. Некоторые проблемы были известны на протяжении десятилетий.

Astra — мультиагентная система, это следующая модель OpenAI, сейчас готовящаяся к релизу. Примечательно, что модель смогла не только представить доказательства задач, но и формализовать свои решения в Lean.

Решение обошлось OpenAI достаточно дешево. Компания не называет конкретные цифры, но известно, что количество токенов, потраченных Astra на решение, у нынешней топовой модели GPT-5.6 Sol стоило бы в районе $2000.

Вместе с Lean-доказательствами компания опубликовала описание процесса решения задач и научную работу, посвященную решению задач. Работу писала не сама нейросеть: подготовкой материалов занимались сотрудники компании.

Сроки выпуска модели Astra не объявлены. Ожидается, что эта нейросеть станет первой разработкой OpenAI, выпущенной в релиз после полноценного тестирования властями США.