Внутренняя модель OpenAI Astra решила 10 давних математических задач

OpenAI Astra решила 10 математических задач.
Система продвинулась в решении задач в области математики и теоретической информатики.
Результаты включают доказательство существования несофиковых групп и решение гипотезы жесткости Коннеса.
Стоимость поиска решений с использованием API Sol составляет $2000.
Ученые-люди подготовили научные рукописи, а модель помогла перевести доказательства в формальный язык Lean.
OpenAI не раскрыла технические детали Astra и сроки её публичного выпуска.
Исследователь Anthropic Левент Алпёге использовал общедоступную модель Claude Fable для решения пяти из тех же задач.
Алпёге уже использовал ИИ для математических исследований ранее.