OpenAI показала «Astra»: команды агентов решили десять открытых математических задач примерно за 2000 долларов
OpenAI представила новое семейство моделей с рабочим названием Astra, позволяющее нескольким ИИ-агентам совместно работать над сложными задачами часами и даже днями. Внутренняя версия решила десять открытых задач математики и теоретической информатики, которые не поддавались экспертам как минимум десять лет, включая доказательство существования несофических групп; доказательства формализованы в Lean и проверяемы машиной. Общая стоимость по тарифам API — около 2000 долларов. Сэм Альтман продемонстрировал систему политикам в Вашингтоне; модель может выйти как GPT-6, GPT-5.7 или отдельный класс и, как ожидается, первой пройдёт планируемую государственную проверку США перед выпуском. (Поправка: OpenAI с тех пор смягчила утверждение, что по этим задачам не было прогресса как минимум десять лет, а названные по именам математики говорят, что несколько доказательств опираются на опубликованные работы без указания авторства.)
Похожие новости
Новая модель Microsoft начинает писать ещё до того, как вы замолчали.2026-10-05Американская лаборатория отдаст модель уровня китайских открытых.
2026-10-05Помощник Meta ведёт почасовое дело на всех ваших знакомых.
2026-10-05Два сенатора хотят тюрьму для шефов взламывающих ИИ-агентов.
2026-10-05США собрали 16 стран, чтобы поставить ИИ в центр науки.
2026-10-05