Нейросеть OpenAI предложила решение одной из задач тысячелетия
OpenAI опубликовала доказательство для задачи Навье — Стокса. Она оставалась открытой около 90 лет и входит в семь математических «задач тысячелетия». В доказательстве показано, что при определённых начальных условиях движение жидкости может за конечное время прийти к сингулярности: скорость в модели начинает неограниченно расти.
Результат получил внутренний AI OpenAI, который компания называет значительно сильнее GPT-6 Astra. Над задачей одновременно работали 10 тысяч агентов. На решение ушло 88 часов. Было отправлено 2.7 миллиона сообщений и сгенерировано около 130 миллиардов выходных токенов. GPT-6 Astra затем ещё 17 часов переводила доказательство в Lean для формальной проверки каждого логического шага.
Теперь доказательство должны проверить математики. На премию в 1 миллион долларов OpenAI не претендует.
Параллельно есть ещё скандал, а не украл ли OpenAI это решение у одного из своих пользователей. Честно — вообще без разницы. Соболезную пострадавшему, на суть влияния никакого. Решена проблема тысячелетия, почти нет разницы, кто промптил.
