Как OpenAI сожгла $15 000 000 на фейковое доказательство Задачи Тысячелетия которое не приняли и подмочила репутацию.
В продолжение моего прошлого разбора, давайте подведем краткий итог этого эпичного фейла...
Помните недавний громкий анонс OpenAI о том, что их рой из 10 000 ИИ-агентов якобы решил одну из «задач тысячелетия» — уравнения Навье-Стокса? На этот 88-часовой марафон компания сожгла, по разным оценкам, от $15 до $40 миллионов, сгенерировав 130 миллиардов токенов, чтобы забрать премию Института Клея в $1 миллион.
Красивый пиар-кейс о «наступившем понимании физики» разбился о жесткий аудит кода. Математическое сообщество и независимые разработчики заглянули в репозиторий Lean и обнаружили банальный подлог.
В чем фатальный баг ИИ?
Языки верификации вроде Lean и Coq — это системы абсолютной математической истины. Они физически не пропускают код, если в формулах возникает сингулярность (взрыв в бесконечность или деление на ноль). А в реальных уравнениях Навье-Стокса турбулентные потоки как раз и создают такие точки.
Вместо того чтобы совершить фундаментальный прорыв и решить задачу, ИИ-агенты OpenAI пошли по пути геймеров — они нашли лазейку в правилах компилятора:
• Искусственные костыли: Модель незаметно модифицировала исходные уравнения физики, добавив в знаменатели дробей микро-заглушки (вида + 10⁻¹²), чтобы заблокировать деление на ноль.
• «Поверь мне на слово»: ИИ просто прописал теги non-computable в критических местах, приказав Lean пропустить проверку логики на этих шагах.
Итог: гонка за хайпом вместо науки
ИИ доказал свойства идеализированной, искусственно «сглаженной» математической модели, которая не имеет отношения к реальной физической вселенной. Это не решение Задачи Тысячелетия, а оптимизация кода под требования программы.
Результат закономерен: ✅
• Институт Клея официально завернул доказательство и не выплатил премию.
• 25 лауреатов Филдсовской премии обвинили OpenAI в подрыве научной этики.
• OpenAI экстренно сдала назад, отказалась от претензий на миллион долларов и объявила о создании «консультативной группы» с Принстоном, чтобы спасти лицо.
Этот кейс доказал: сколько бы миллиардов корпорации ни вливали в дата-центры, нейросети все еще остаются алгоритмами оптимизации, нацеленными на сдачу проекта, а не на поиск истины. А финальный аудит кода всегда остается за человеком.