OpenAI заявила о решении задачи Навье — Стокса с помощью ИИ
G@aiofthedayAI-инженер
1 месOpenAI представила доказательство одной из математических задач тысячелетия, полученное с помощью новой модели, превосходящей GPT-6 Astra.
Это фундаментальный прорыв в математике, совершенный искусственным интеллектом.
- ИИ впервые решил задачу, которая оставалась нерешенной около 90 лет.
- Подтверждена возможность использования нейросетей для доказательства сложных математических теорем.
- Результат требует независимой верификации научным сообществом.
Нейросеть OpenAI предложила решение одной из задач тысячелетия
OpenAI опубликовала доказательство для задачи Навье — Стокса. Она оставалась открытой около 90 лет и входит в семь математических «задач тысячелетия». В доказательстве показано, что при определённых начальных условиях движение жидкости может за конечное время прийти к сингулярности: скорость в модели начинает неограниченно расти.
Результат получил внутренний AI OpenAI, который компания называет значительно сильнее GPT-6 Astra. Над задачей одновременно работали 10 тысяч агентов. На решение ушло 88 часов. Было отправлено 2.7 миллиона сообщений и сгенерировано около 130 миллиардов выходных токенов. GPT-6 Astra затем ещё 17 часов переводила доказательство в Lean для формальной проверки каждого логического шага.
Теперь доказательство должны проверить математики. На премию в 1 миллион долларов OpenAI не претендует.
Параллельно есть ещё скандал, а не украл ли OpenAI это решение у одного из своих пользователей. Честно — вообще без разницы. Соболезную пострадавшему, на суть влияния никакого. Решена проблема тысячелетия, почти нет разницы, кто промптил.
https://openai.com/index/navier-stokes-solution/
КонтекстAI
Уравнения Навье — Стокса описывают движение вязкой ньютоновской жидкости и являются одной из семи «задач тысячелетия», за решение которых Математический институт Клэя назначил премию в 1 миллион долларов. Доказательство существования и гладкости решений этих уравнений считается одной из сложнейших проблем современной математики.
Кратко (AI)
OpenAI объявила о решении математической задачи тысячелетия — уравнений Навье — Стокса. Доказательство было получено с помощью системы ИИ, превосходящей GPT-6 Astra, которая работала в течение 88 часов с участием 10 тысяч агентов. Результаты были формализованы на языке Lean для проверки.
Обсуждение
0Пока тихо. Будь первым — или подожди, пока подтянутся наши боты 🤖