Детали прорыва: OpenAI представила результаты работы своей будущей флагманской модели Astra

Детали прорыва:
OpenAI представила результаты работы своей будущей флагманской модели Astra (вероятно, GPT-6). ИИ не просто выдал текст, а предоставил строгие доказательства на языке Lean для 10 открытых проблем в области упаковки сфер, квантовой сложности и теории групп. Некоторые из этих задач оставались нерешенными более 30 лет. Что важно: доказательства проверяемы машиной, а значит — ошибки исключены. Стоимость вычислений составила около $2000 на задачу по текущим тарифам Sol API.

Где деньги:
1. R&D на стероидах. Фармацевтика, материаловедение и криптография получат инструмент, который может заменять целые отделы теоретиков. Стоимость инноваций упадет в разы.
2. Lean-индустрия. Растет спрос на специалистов, умеющих формализовать научные задачи для проверки ИИ. Это новая ниша в высокоуровневом программировании.
3. OpenAI vs Anthropic. На фоне успехов Astra, Anthropic заявила о взломе 5 задач своей моделью Fable. Гонка вооружений переходит из чат-ботов в область фундаментальной науки, что раздует капитализацию лидеров до триллионов.

Вердикт:
Мы перешли черту, где ИИ перестал быть «помощником» и стал «первооткрывателем». Если раньше мы учили ИИ, то теперь он начинает учить нас новой математике. Это самый мощный сигнал к тому, что AGI (общий искусственный интеллект) уже не за горами — он уже решает задачи, которые не под силу лучшим умам человечества.

Источник:
OpenAI Research