Нейросеть 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/