Модель OpenAI решила десять задач, над которыми математики работали десятилетиями
Новая, пока не вышедшая модель Astra, решила десять математических задач, по которым у учёных не было прогресса как минимум десять лет. OpenAI утверждает, что все они представляют существенный интерес для математических сообществ.
Все решения в сумме стоили 2 тысячи долларов, если считать по тарифам GPT-5.6 Sol.
По словам OpenAI, математические идеи полностью сгенерировала Astra. Люди помогли оформить их в научные статьи, после чего модель формализовала каждое доказательство в Lean.
