OpenAI 8 вересня заявила, що внутрішня модель із залученням близько 10 000 агентів нібито розв’язала проблему Нав’є–Стокса — твердження, з яким категорично не погоджуються двоє провідних математиків.
Основні тези:
- Непублічний системний стек OpenAI згенерував текстовий доказ і формалізацію в Lean для однієї з семи задач тисячоліття.
- Трістан Бакмастер і Левент Альпьоге, які за день до цього оприлюднили споріднений результат, ставлять під сумнів, як компанія вийшла на аналогічний підхід.
- Террі Тао вважає, що AI‑лабораторії «розробляють» відомі відкриті задачі заради піару, а не заради математики.
Що відомо про «доказ» OpenAI для Нав’є–Стокса
Компанія опублікувала технічний огляд і формалізацію в Lean, де стверджує, що початково гладкий, нерухомий потік може за скінченний час розвинути сингулярність. Дослідники описують внутрішню систему як істотно потужнішу за GPT-6 Astra й додають, що модель досі перебуває в активному навчанні, демонструючи зростання продуктивності. Питання про виникнення сингулярностей переслідує математиків майже 90 років — з часу, коли Жан Лере у 1934 році показав існування розв’язків у слабшому, узагальненому сенсі.
OpenAI розпочала тренування моделі 28 серпня, а вже 1 вересня націлила її на всі відкриті задачі тисячоліття після чуток, що дві з них нібито вже розв’язані. Топ-менеджмент повідомив журналістам, що рахунок за обчислювальні ресурси сягнув мільйонів доларів.
Також читайте: Ціна XRP націлюється на $1,46 на тлі повернення «китового» накопичення у вересні
Конфлікт Бакмастера і Бюбека: хто заслуговує на заслуги
Трістан Бакмастер, математик з Нью-Йоркського університету, і Левент Альпьоге, дослідник Anthropic, який працював у приватному порядку, майже рік займалися близькими за змістом рівняннями для руху рідини. Вони спиралися на попередні результати Дієго Кордоби та Луїса Мартінеса-Сороа й за день до анонсу OpenAI виклали Lean‑верифіковані докази для задачі про вимушений потік Ейлера. Після цього Бакмастер поцікавився, чи не вплинули його приватні накидки в Codex на напрямок роботи суперника, але, за його словами, не отримав чіткої відповіді щодо використання їхніх даних у тренуванні.
За його твердженням, дослідник OpenAI Себастьєн Бюбек наполягав, щоб Альпьоге прибрали зі спільної статті через його роботодавця, а згодом нібито застерігав від публічного розголосу.
Бюбек назвав цю версію подій неправдивою та розпалювальною.
У OpenAI заявили, що ані дослідники, ані агенти компанії не мали доступу до роботи Бакмастера й Альпьоге до її публікації, хоча й визнали, що знеособлені дані користувацьких сесій могли використовуватися для покращення моделей. Компанія не планує претендувати на премію в $1 млн, прив’язану до задачі. Clay Mathematics Institute, який сформулював сім задач тисячоліття у 2000 році, досі офіційно вважає проблему Нав’є–Стокса нерозв’язаною.
Террі Тао про те, як AI змінює математику
Террі Тао, якого часто називають одним із найвидатніших сучасних математиків, застеріг, що AI‑компанії перетворюють відомі відкриті задачі на «демо-кейси» для маркетингу нових систем. На його думку, такий підхід — коли задачі «вичавлюють» заради готових відповідей — руйнує екосистему, яка народжує нові методи, питання й цілі покоління дослідників. Він порівняв це з грабунком археологічної пам’ятки.
Масштаб експерименту зростав дуже швидко. Спочатку близько 100 агентів розв’язали простішу задачу — невимушений потік Ейлера — за приблизно 50 годин. Група, що працювала над Нав’є–Стоксом, повідомила про отримання «розв’язку» 5 вересня, приблизно через 88 годин після старту, а формальна верифікація доказу в Lean забрала ще 17 годин.
Читати далі: Bitget додає блокчейн-освіту до програми UNICEF, яка охопила понад 642 000 учасників
