OpenAI показала «Astra»: команды агентов решили десять открытых математических задач примерно за 2000 долларов

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

✓ Проверено · 3 источников

Похожие новости