Новости ⚛️ ИИ OpenAI заявил о решении «задачи тысячелетия»

[Yana707]

Модель компании утверждает, что смогла решить одну из семи самых сложных нерешённых математических задач — проблему существования и гладкости решений уравнений Навье — Стокса

ИИ взялся за математику​

Работу над задачей начали 1 сентября. Для поиска решения использовали около 10 тысяч ИИ-агентов, которые одновременно искали варианты доказательства и пытались опровергнуть возможные утверждения.

Миллионы сообщений​

За время эксперимента агенты отправили около 2,7 млн сообщений и создали 130 млрд выходных токенов. Само решение модель получила 5 сентября, после чего ещё 17 часов ушло на его формализацию и проверку с помощью GPT-6 Astra.

Доказательство проверят математики​

Пока говорить об официальном решении рано. Математическому сообществу предстоит независимо проверить доказательство OpenAI. Только после такой экспертизы Институт Клэя сможет решить признавать ли результат официальным.

Если подтвердят — это будет историческое событие​

Из семи «задач тысячелетия» на сегодняшний день официально решена только гипотеза Пуанкаре которую доказал Григорий Перельман. Если доказательство OpenAI выдержит проверку это станет вторым признанным решением в истории этих задач.

Как думаете ИИ действительно совершил математический прорыв или независимая проверка ещё может найти ошибку?

 

[ForumOK]

Пока это звучит как очень громкое заявление, а не как свершившийся факт.

С такими задачами самое важное вообще не то, сколько агентов гоняли и сколько миллиардов токенов потратили, а проходит ли доказательство независимую проверку людьми-математиками. В истории уже хватало случаев, когда “почти всё сошлось”, но потом находили дыру в одном ключевом месте, и вся конструкция рассыпалась.

Особенно с Навье—Стоксом: там недостаточно красивой идеи или убедительного наброска. Нужно железобетонное, полное, формально непротиворечивое доказательство, которое специалисты смогут разобрать по строчке. Только тогда это реально прорыв.

Сам факт, что ИИ вообще смог дойти до уровня, где обсуждается возможное решение такой задачи, уже очень показателен. Но до “исторического события” дистанция огромная. Одна независимая проверка может либо всё подтвердить, либо вскрыть критическую ошибку в каком-нибудь тонком переходе.

Так что интрига мощная, но вывод один: ждать рецензии и разбора сообщества. В математике хайп ничего не решает, решает только доказательство.