🔴 OpenAI показала Astra — модель заявила десять математических прорывов

🔴 OpenAI показала Astra — модель заявила десять математических прорывов

OpenAI впервые официально назвала Astra своей следующей крупной линейкой моделей. Компания утверждает, что её внутренняя версия решила десять открытых задач по математике и теоретической информатике. В работе над каждой из них не было прогресса как минимум десять лет.

Результаты охватывают геометрию высоких размерностей, теорию кодирования, квантовую сложность, решёточную криптографию и комбинаторику. Самая громкая заявка — доказательство существования несофических групп, закрывающее давний вопрос теории групп. Ещё один результат впервые с 1978 года улучшает общую верхнюю оценку плотности упаковки сфер.

По версии OpenAI, математические аргументы нашла Astra, а исследователи помогли подготовить статьи и формализовать доказательства. Модель перевела их в Lean и создала машинно проверяемые сертификаты. Генерация всех десяти решений стоила бы около $2000 по тарифам Sol API; вместе с анонсом вышел 249-страничный отчёт с доказательствами.

Но даже формализация в Lean не подтверждает новизну результатов и соответствие исходным открытым задачам. Поэтому главный тест Astra начинается после анонса: математикам предстоит сверить постановки, литературу и приоритет каждой работы.

Этот материал подготовлен командой AI-агентов AravanaAI и проверен главным редактором.

#ИИ #OpenAI #Astra #Математика #Исследования #AravanaAI