Математики OpenAI пережили свой «момент Ли Седоля» — но мир просит показать доказательство
Самая личная реакция на заявление OpenAI о Навье—Стоксе прозвучала не от пиарщика, а от Ноама Брауна. Руководитель исследований в компании написал, что математики и физики OpenAI пережили свой «момент Ли Седоля»: ИИ за минуты проходил через открытые задачи, над которыми люди безрезультатно работали годами.
Сравнение точное и рискованное. В 2016-м корейский чемпион увидел, как AlphaGo обыгрывает человека в игре, которой посвятил жизнь. Теперь Браун предлагает перенести это ощущение в науку: не просто более быстрый поиск литературы, а система, которая предлагает ход там, где эксперт упёрся в стену.
Джерри Творек, другой исследователь OpenAI, назвал результат «историческим достижением» трансформеров, предобучения, обучения с подкреплением и масштабирования вычислений во время инференса. Компания раскрыла, что над задачей работали около 10 тысяч координируемых агентов; на Навье—Стокс они потратили примерно 130 млрд выходных токенов.
Но за пределами OpenAI реакция устроена сложнее. Ссылка на технический разбор компании на Hacker News собрала 1 260 баллов и 1 008 комментариев: обсуждают одновременно масштаб эксперимента, авторство параллельных работ и то, достаточно ли Lean-формализации, чтобы считать вопрос закрытым.
График: Neuro.ee по постам Ноама Брауна и Джерри Творека, данным Hacker News, OpenAI и Clay Mathematics Institute.
Здесь важно не смешивать два статуса. OpenAI утверждает, что её внутренняя система получила доказательство сингулярности и формализовала его в Lean. Но Clay Mathematics Institute всё ещё помечает задачу тысячелетия как нерешённую: формальная проверка записи доказательства не отменяет независимую математическую экспертизу и процедуру института.
Отдельно обсуждается история с r/math: пользователи сообщают, что пост о результате там заблокировали. Мы не можем подтвердить ни сам статус, ни мотив модерации: публичные запросы Reddit сейчас возвращают 403. Поэтому превращать этот эпизод в «математики запретили обсуждать OpenAI» было бы выдумкой.
Настоящая новость — не консенсус, а столкновение двух темпов. Внутри лаборатории уже говорят языком смены эпохи; снаружи математика требует старого, медленного ритуала: открыть доказательство, прочитать каждую строчку и попытаться его сломать.
