🧮 OpenAI закрила задачу тисячоліття - і одразу вляпалась у скандал Рівняння Нав'є - Стокса описує ру

🧮 OpenAI закрила задачу тисячоліття - і одразу вляпалась у скандал

Рівняння Нав'є - Стокса описує рух будь-якої рідини чи газу: кров у судинах, турбулентність навколо літака, погоду. Сформульовані у 1822 році, а доведення в 3D не було двісті років. Одна з семи «Задач тисячоліття» Клея, кожна коштує $1 млн.

Сьогодні OpenAI заявила, що доведення отримано, і виклала пейпер.

Що довели

Гладкий рух нестисливої рідини в 3D може за скінченний час утворити сингулярність - точку, де швидкість зростає необмежено, хоча рух починався плавно, а енергія лишається скінченною. Геометрично це вихор, що закручується всередину і витягується як спагеті. Є аналітичне доведення і формалізація в Lean.

Як рахували

🪙 З 28 серпня вчили нову модель
🪙 1 вересня запустили до 10 000 паралельних агентів
🪙 По дорозі закрили регулярність для Ейлера: ~50 годин, майже 100 агентів
🪙 Нав'є - Стокс впав через 88 годин, ще 17 годин на Lean
🪙 Разом близько 130 млрд токенів

А тепер неприємна частина

Тристан Бакмастер з NYU і Левент Алпеге з Anthropic рік працювали над цією ж темою і довели колапс для рівнянь Ейлера - спорідненої, простішої задачі. Теренс Тао назвав роботу видатною і не побачив перешкод поширити метод на сам Нав'є - Стокс.

Коли чутки пішли спільнотою, Бакмастер написав знайомому з OpenAI - пояснити, що проект його і Алпеге, а не корпоративний. За його словами, саме після цієї переписки OpenAI взялась за свою версію: перший промпт пішов після того, як інформація дійшла до компанії. Доказу йому не показали.

Далі ультиматум: або спільний анонс, або публікація від його імені з посиланням на модель OpenAI. Себастьян Бубек двічі наполягав прибрати Алпеге зі співавторів - через «дратівливий» факт роботи в Anthropic. Бакмастер відмовився і опублікував сам. Він також підозрює, що OpenAI могли зачепити дані з його сесій у Codex. Прямої відповіді не отримав.

Бубек назвав звинувачення хибними й запальними і сказав, що діяв за академічними нормами.

Що далі

Незалежна перевірка займе місяці. Якщо доведення встоїть - це перша закрита «Задача тисячоліття» за 23 роки після Пуанкаре і вперше, коли такий результат дала AI-система.

Мільйон від Клея OpenAI брати відмовилась: на IPO ця новина принесе більше.