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