Компанія OpenAI заявила про математичний прорив: її штучний інтелект довів рівняння Нав'є-Стокса — одну із семи «задач тисячоліття», над якою науковці билися майже 90 років. Як повідомляє «Інформатор», про це стало відомо 8 вересня, і новина одразу викликала бурхливі дискусії серед математиків.
Що таке рівняння Нав'є-Стокса
Рівняння Нав'є-Стокса описує рух рідин і газів — води та повітря. Його активно застосовують у прогнозуванні погоди та проєктуванні літаків. Десятиліттями математики намагалися з'ясувати, чи можуть у тривимірному гладкому потоці виникати розриви, коли швидкість стає нескінченною за скінченний проміжок часу.
За доведенням стоїть внутрішня нейромережа OpenAI, яку компанія не оприлюднила. За словами розробників, вона суттєво перевершує за можливостями нову модель GPT-6 Astra. Компанія одразу заявила, що не претендує на грошову винагороду, хоча за розв'язання кожної «задачі тисячоліття» Математичний інститут Клея обіцяє 1 мільйон доларів.
Як штучний інтелект доводив задачу
Для доведення інженери розгорнули близько 10 тисяч автономних агентів, які сформували доведення на 165 сторінках. Навчання системи стартувало 28 серпня і триває досі. Цифрові агенти працювали безперервно 88 годин, після чого модель GPT-6 Astra витратила ще 17 годин на формалізацію та перевірку доведення за допомогою системи Lean.
Масштаб обчислень вражає: під час роботи штучний інтелект згенерував 300 мільярдів токенів і обмінявся 4,9 мільйона повідомлень. Безпосередньо на задачу Нав'є-Стокса припало 2,7 мільйона повідомлень і 130 мільярдів токенів. За оцінками, такий обсяг обчислень для звичайного користувача коштував би близько 10 мільйонів доларів за роздрібними тарифами компанії.
Чому науковці сумніваються
Попри масштаб, анонс викликав суперечки. Професор математики Нью-Йоркського університету Трістан Бакмастер заявив, що разом із колегою помітив у доведенні схожість із напрацюваннями, які вже циркулювали в науковій спільноті. Головне питання — чи справді ШІ самостійно відкрив рішення, а не скомпілював наявні ідеї. Поки результат не пройшов незалежну експертизу, математики закликають не поспішати з висновками.
Раніше із семи «задач тисячоліття» було розв'язано лише гіпотезу Пуанкаре — це зробив математик Григорій Перельман у 2003 році, відмовившись від премії. Якщо доведення Нав'є-Стокса підтвердять, це стане другим випадком в історії. Україна натомість готує власний закон про штучний інтелект і розвиває національну мовну модель, щоб стати одним із лідерів у сфері ШІ.
