OpenAI ще не закінчила отримувати вигоду з найскладніших відкритих питань математики — принаймні не в частині визнання заслуг за їхнє розв'язання, оскільки компанія заявляє, що не прагне до грошей.

Через кілька днів після заяв про розв'язання рівнянь Нав'є-Стокса, OpenAI повідомила The New York Times, що досягла «значного прогресу» у розв'язанні ще однієї Проблеми тисячоліття, однієї з семи великих головоломок, за які Інститут математики Клея присуджує винагороду в $1 мільйон з 2000 року.

OpenAI досі не назвала проблему, про яку йдеться, але експерти, ентузіасти — і журналісти — мають свої теорії.

Обговорення в соціальних мережах зосередилися на гіпотезі Ходжа, головоломці 1950 року про те, як підрахувати «дірки» у складних геометричних фігурах — таких, що мають стільки вимірів, що ніхто не може їх уявити. Математик Вільям Ходж запропонував скорочений шлях, використовуючи алгебру замість геометрії, але ніхто не довів, що цей шлях завжди працює.

OpenAI не підтвердила це припущення і не підтвердила чутки про те, що не випущена модель, яка стоїть за цією роботою, є чутковою версією Aeon, розробленою для завдань з довгостроковим горизонтом і агентських робочих процесів. Обидва є спекуляціями, а не заявами компанії.

Ще 8 вересня OpenAI заявила, що невипущена внутрішня модель створила доказ, перевірений за допомогою Lean — програмного забезпечення, що перевіряє математичний доказ один логічний крок за раз — показуючи, що рівняння Нав'є-Стокса, які описують рух рідин, таких як повітря та вода, можуть «вибухнути» до фізично неможливої нескінченної швидкості. Для цього знадобилося приблизно 10 000 координуючих ШІ-агентів, які працювали близько 88 годин.

Це значна подія не лише для математичного відділу. Рівняння Нав'є-Стокса лежать в основі проектування літаків, прогнозування погоди та моделювання кровотоку лікарями, і вони чинили опір повному математичному поясненню майже 90 років.

Однак оголошення вийшло сумбурним. Математик Нью-Йоркського університету Трістан Бакмастер виклав свою версію подій у чотиристорінковій заяві: він та дослідник Anthropic Левент Алпьоге майже рік таємно працювали над відповідним доказом і завершили його до 22 серпня — перш ніж Себастьєн Бубек з OpenAI дізнався про це та кинувся публікувати його першим.

Бакмастер стверджує, що Бубек сказав йому або дозволити OpenAI опублікувати роботу на наступний день після його команди, або написати її самостійно, без Алпьоге, оскільки той працює в конкуруючій лабораторії. «Навіщо тобі руйнувати свою кар'єру?» — нібито сказав йому Бубек, коли той відмовився.

Ця нова хвиля моделей штучного інтелекту настільки потужна, що робить математику привабливою. Того ж тижня Anthropic заявила, що її модель Claude формалізувала 358-річний доказ Великої теореми Ферма за 11 днів, а математик Теренс Тао попередив, що гонка між лабораторіями штучного інтелекту вичерпує запас складних, корисних математичних проблем швидше, ніж можна знайти нові.

OpenAI заявляє, що не прагне отримати приз у 1 мільйон доларів за публікацію будь-якого результату — вона використовує ці проблеми як публічний критерій для оцінки швидкості вдосконалення своїх моделей. Наступним випробуванням цього критерію буде те, чи зможе Інститут Клея або будь-який математик поза компанією незалежно підтвердити хоча б одне з її тверджень — процес, який для попередніх подань на Премію тисячоліття займав роки, а не тижні.