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