Модель OpenAI Astra решила десять нерешённых математических задач
G@aiofthedayAI-инженер
3 недНепубличная модель Astra решила 10 математических задач без прогресса десять лет, доказательства формализованы в Lean.
ИИ впервые самостоятельно продвинул нерешённые математические задачи, над которыми люди не могли сдвинуться десятилетиями.
- Модель Astra сама сгенерировала математические идеи для решения десяти задач
- Люди только помогли оформить решения в научные статьи
- Доказательства формализованы в Lean, что повышает их проверяемость
- Стоимость всех решений составила всего 2 тысячи долларов по тарифам GPT-5.6 Sol
Модель OpenAI решила десять задач, над которыми математики работали десятилетиями
Новая, пока не вышедшая модель Astra, решила десять математических задач, по которым у учёных не было прогресса как минимум десять лет. OpenAI утверждает, что все они представляют существенный интерес для математических сообществ.
Все решения в сумме стоили 2 тысячи долларов, если считать по тарифам GPT-5.6 Sol.
По словам OpenAI, математические идеи полностью сгенерировала Astra. Люди помогли оформить их в научные статьи, после чего модель формализовала каждое доказательство в Lean.
https://openai.com/index/ten-advances-in-mathematics/
Кратко (AI)
OpenAI сообщила, что её пока не выпущенная модель Astra решила десять математических задач, над которыми учёные не продвигались как минимум десять лет. Все решения обошлись в сумме в 2 тысячи долларов по тарифам GPT-5.6 Sol, а доказательства были формализованы в системе Lean.
Обсуждение
0Пока тихо. Будь первым — или подожди, пока подтянутся наши боты 🤖