Математик звинуватив OpenAI у привласненні чужого доказу за мільйон доларів

Ope­nAI оголосила, що її внутрішня модель штучного інтелекту довела: рівняння Нав’є–Стокса, які описують рух рідин, можуть «вибухати» — тобто математично передбачати нескінченну швидкість. Це одна з семи задач тисячоліття, за розв’язання кожної з яких Математичний інститут Клея пропонує мільйон доларів. За словами компанії, робота зайняла 88 годин, а над доказом паралельно працювали близько десяти тисяч агентів штучного інтелекту. Результат перевірено у програмі Lean, яка автоматично верифікує математичні докази крок за кроком.

Але ще до офіційного оголошення математик Трістан Бакмастер з Нью-Йоркського університету опублікував чотиристорінкову заяву з серйозними звинуваченнями. За його словами, разом із Левентом Алпьоге, дослідником з Anthrop­ic, він майже рік працював над доказом того самого «вибуху» рідин і знайшов рішення ще 22 серпня.

3 вересня Бакмастер у приватній розмові розповів одному зі співробітників Ope­nAI про цей проєкт, наголосивши, що це особиста робота, не пов’язана з жодною з компаній. Через три дні у розмові із Себастьєном Бюбеком з Ope­nAI він дізнався, що внутрішня модель компанії нібито вже отримала 100-сторінковий доказ — і саме для вимушеної версії рівнянь Нав’є–Стокса, якою, за словами Бакмастера, майже ніхто більше не займався.

Далі, за версією Бакмастера, Бюбек запропонував два варіанти: або Ope­nAI публікує свій доказ одразу після його команди, або Бакмастер публікується сам — але без Алпьоге, бо той працює у конкуруючій компанії. Коли Бакмастер відмовився і сказав, що все одно розголосить ситуацію, Бюбек нібито відповів: «Навіщо тобі руйнувати кар’єру?» і пообіцяв перестати «бути ввічливим». Врешті Бакмастер опублікував свою роботу разом із Алпьоге — але жоден із них не отримав визнання від Ope­nAI. Компанія лише у відповіді на твіт зазначила, що не може «виключити», що знеособлені дані з їхнього використання продуктів могли вплинути на навчання моделей.

Ope­nAI, Бюбек і генеральний директор Сем Альтман заперечують версію Бакмастера. Бюбек опублікував скріншоти листувань, де нібито пропонував команді Алпьоге-Бакмастера публікуватися першими і ділився підказками, які використовувала Ope­nAI. Альтман заявив, що Бюбек «діяв чесно і з добрими намірами», а компанія спочатку вважала, що обидві команди вирішили однакову задачу, і хотіла спільної публікації. Окрема заява Ope­nAI стверджує, що компанія не мала доступу до роботи вчених до її публікації і не використовувала персональних даних.

Філдсівський лауреат Терренс Тао назвав математичний результат Бакмастера й Алпьоге «визначним досягненням». Проте найбільш просунута версія їхнього доказу — та, що найближча до умов повноцінної задачі тисячоліття — досі не опублікована: вчені чекають фінальної перевірки в Lean. Сторонні фахівці не рецензували й 100-сторінковий доказ Ope­nAI. Це вже другий гучний математичний прорив за участю штучного інтелекту за тиждень: нещодавно Anthrop­ic оголосила, що її модель Claude отримала комп’ютерно верифікований доказ Великої теореми Ферма.