OpenAI заявила, что её внутренняя модель нашла решение задачи о существовании и гладкости решений уравнений Навье-Стокса. Это одна из семи «Загадок тысячелетия», за доказательство которой Математический институт Клэя в Кембридже обещает миллион долларов. Расчёты запустили 28 августа, результат получили 5 сентября 2026 года, а ещё 17 часов ушло на формальную проверку с помощью Lean — языка программирования для автоматической проверки каждого шага рассуждения.
Однако в эфире Общественной Службы Новостей предприниматель и основатель AI-направлений Константин Ким усомнился в самой логике такого подтверждения. По его мнению, доказывать эффективность искусственного интеллекта другим искусственным интеллектом не совсем разумно. Даже если речь идёт о чистых математических расчётах в понятных границах, итоговая оценка всё равно должна исходить от людей — учёных, которые уже сейчас заявляют о своём несогласии.
Ким подчёркивает: говорить о том, что Lean всё оценила и подтвердила, неправильно. Нужно дождаться ответа экспертного сообщества — математиков, способных действительно это подтвердить. Пока же конфликт только набирает обороты, и именно в этом, по мнению предпринимателя, кроется главная проблема.
Отдельно стоит напомнить, что премия института Клэя вручается только за доказательство в строгой постановке задачи. А заявление о решении, сделанное 5 сентября 2026 года, ещё не прошло проверку независимыми специалистами.
Ранее сообщалось о том, что ученые РАН создали сорбенты для извлечения редкоземельных элементов. В Цюрихе состоялось вручение Шнобелевской премии за самые нелепые открытия.