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