Astra от OpenAI решила 10 задач за $2000

OpenAI решила десять сложнейших задач по математике и информатике. Для этого компания использовала новую модель Astra. Теперь сложные проблемы решаются быстрее и дешевле благодаря multi-agent reasoning и автоматической проверке результатов.

Как работает astra и чего она добилась

Astra — внутренняя разработка OpenAI, которая, вероятно, станет фундаментом для GPT-5 или GPT-6. В отличие от привычных чат-ботов, она не выдает ответ мгновенно, а координирует группу агентов, способных анализировать задачу часами или даже днями.

Система справилась с проблемами в геометрии, теории кодирования и сложности вычислений, некоторые из которых оставались нерешенными 30 лет. В частности, достигнуты прорывы в области non-sofic groups и упаковки сфер в многомерных пространствах.

Автоматическая проверка вместо экспертов

Чтобы исключить ошибки, в OpenAI внедрили язык Lean. Процесс стал максимально прозрачным:

• Astra формирует математические аргументы.
• Исследователи оформляют их в статьи.
• Lean проверяет доказательства и выдает цифровые сертификаты.

Все сертификаты доступны на GitHub. Теперь точность подтверждается машиной объективно, без долгого ожидания вердикта людей.

Экономика и выгода для бизнеса

Решение десяти задач обошлось всего в $2,000 по стоимости API. Это меняет подход к исследованиям: доступные вычисления заменяют годы дорогостоящей работы ученых.

Для бизнеса это наглядный пример работы agentic AI. Такие системы могут кратно ускорить R&D в любой области, где результат можно четко верифицировать.

Риски и ограничения

Математика идеальна для AI, так как ответ здесь либо верен, либо нет. В размытых бизнес-задачах, где нет четких критериев проверки, Astra пока будет менее эффективна.

Возникают и вопросы авторства: OpenAI не планирует указывать людей в качестве авторов, если основную работу выполнил ИИ. Это создает юридические сложности при оформлении интеллектуальной собственности.

Кроме того, результаты еще не прошли полноценное рецензирование. Эксперты пытаются понять: модель действительно умеет рассуждать или просто очень быстро перебирает известные теории.

Ранее по теме
OpenAI Astra решила задачи, нерешаемые десятилетиями

Больше новостей в нашем Телеграм. Подпишись!

Ссылка на источник тык.