OpenAI готовит Astra: ИИ-агенты решают математические задачи
OpenAI готовит Astra: ИИ-агенты решают математические задачи В OpenAI зреет новое семейство моделей — Astra, где несколько ИИ-агентов работают над одним проектом. Модель уже выдала 10 новых результатов в математике, квантовой теории сложности и теоретической информатике. Среди достижений: • первая явная несофическая группа; • опровержение гипотезы жесткости Конна; • теорема о квантовом параллельном повторении; • гипотеза об объеме Эрхарта; • улучшение экспоненты упаковки сфер впервые с 1978 года. Идеи доказательств Astra придумала сама и формализовала в Lean. Рукопись — 249 страниц, запуск — около $2 000 по тарифам Sol API. Подробнее — в анонсе OpenAI. Похоже, именно ее Альтман презентовал в Белом доме. В OpenAI не решили, будет ли это GPT-6 или GPT-5.7. Сейчас модель проходит «Trump testing».