OpenAI заявила про розв’язання задачі Нав’є—Стокса: чому це ще не фінал, але вже перелом для математики

Задача Нав’є—Стокса, одна із семи знаменитих Проблем тисячоліття, могла отримати перший ШІ-доказ. OpenAI оприлюднила математичну роботу та формалізацію в Lean, створені системою з тисяч агентів. Але офіційне визнання потребуватиме років незалежної перевірки.

У математиці є твердження, настільки складні, що десятиліттями вони виконують роль межі людського знання. 8 вересня OpenAI заявила, що одна з таких меж могла бути подолана: її експериментальна система штучного інтелекту побудувала доказ для знаменитої задачі існування та гладкості Нав’є—Стокса.

Йдеться не про черговий складний тест для мовної моделі. Задача Нав’є—Стокса входить до семи Проблем тисячоліття, визначених Інститутом математики Клея у 2000 році. За розв’язання кожної передбачено $1 млн, а за чверть століття офіційно закритою стала лише гіпотеза Пуанкаре.

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

Це не означає, що вода в реальному світі раптом може набрати нескінченну швидкість або «вибухнути» через відмову законів фізики. Навпаки: якщо доказ правильний, він показує межу самої математичної моделі. У певних умовах рівняння перестають адекватно описувати фізичну рідину як безперервне середовище.

Аналіз «Дейком» показує: головна сенсація тут навіть не в тому, що одна Проблема тисячоліття могла бути розв’язана. Набагато важливіше, хто — або що — побудував доказ. Якщо він витримає перевірку, вперше одна з найпрестижніших математичних вершин може бути взята системою ШІ, а не окремим математиком чи людською групою.

Рівняння Нав’є—Стокса описують рух рідин і газів. Їх використовують у моделях повітряних потоків навколо літаків, у метеорології, дослідженні кровотоку та багатьох інженерних задачах. Але фундаментальне питання про поведінку їхніх тривимірних розв’язків залишалося відкритим майже століття.

У спрощеному вигляді проблема звучить так: якщо рідина починає рухатися цілком «нормально», чи гарантовано цей рух залишатиметься математично гладким завжди? Чи може всередині рівнянь виникнути точка, де величини стають необмеженими і класичний розв’язок фактично руйнується?

Офіційне формулювання Проблеми тисячоліття дозволяє піти одним із двох шляхів. Можна довести, що гладкі розв’язки завжди існують, або побудувати коректний приклад їхнього руйнування. У варіантах C і D прямо допускається гладка зовнішня сила, якщо вона відповідає встановленим умовам.

Саме другим шляхом, за твердженням OpenAI, пішла її система. Вона починає з рідини у гладкому стані та формує структуру вихору, що дедалі сильніше стискається й витягується. Його центральна область зменшується, обертання прискорюється, а енергія при цьому залишається скінченною.

Критичний момент полягає в тому, що сингулярність не створюється штучним внесенням нескінченної зовнішньої сили. За описом дослідників, необхідні члени рівнянь зростають і водночас дуже точно компенсують один одного, залишаючи зовнішній вплив гладким, навіть коли швидкість стає необмеженою.

Якщо ця конструкція математично бездоганна, вона задовольняє саме ту альтернативу, яку Інститут Клея передбачив у початковому формулюванні проблеми: знайти допустимі початкові умови та гладку силу, за яких глобального гладкого розв’язку не існує.

Але слово «якщо» тут має величезну вагу. OpenAI оголосила про рішення; математична спільнота ще не оголосила задачу закритою. Станом на 9 вересня сайт Інституту Клея продовжує розміщувати Нав’є—Стокса серед нерозв’язаних Проблем тисячоліття.

Це не формальність і не прояв недовіри саме до штучного інтелекту. Так працює математика. Складний доказ може містити одну майже непомітну помилку, яка руйнує десятки сторінок правильних міркувань. Історія дисципліни знає безліч «розв’язань» великих проблем, які не переживали незалежної перевірки.

Правила Millennium Prize навмисно встановлюють дуже високий бар’єр. Інститут Клея взагалі не приймає рішення на пряму перевірку від авторів. Робота має з’явитися у кваліфікованому математичному виданні, після публікації повинно минути щонайменше два роки, а доказ має здобути загальне визнання міжнародної математичної спільноти.

Тому навіть бездоганний доказ, оприлюднений цього тижня, не може завтра перетворити позначку «unsolved» на «solved». У випадку гіпотези Пуанкаре між препринтами Григорія Перельмана 2002–2003 років і формальним присудженням Millennium Prize у 2010-му також минули роки перевірок.

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

Саме Lean істотно змінює характер перевірки. У звичайній математичній статті експерти читають аргументацію й перевіряють переходи між твердженнями. Формальний доказ перекладає логіку у формат, який може бути механічно перевірений спеціальною системою на відповідність визначеним аксіомам і правилам.

Це не робить доказ автоматично правильним у ширшому сенсі: важливо, чи точно формалізовано початкову задачу, чи відповідають визначення оригінальному формулюванню і чи немає проблем у математичному мосту між формальною конструкцією та заявленим результатом. Але простір для звичайної людської помилки суттєво звужується.

Не менш вражає спосіб, у який OpenAI, за власним описом, шукала рішення. Компанія не посадила одну модель перед рівняннями з проханням «подумай довше». Вона розгорнула систему паралельних агентів, поділених на групи, які досліджували різні підходи й могли обмінюватися результатами.

Група, що зрештою прийшла до рішення Нав’є—Стокса, налічувала приблизно 10 тисяч агентів, які працювали одночасно. Перші агенти стартували 1 вересня, а результат було отримано 5 вересня — приблизно через 88 годин. Формалізація та перевірка в Lean зайняли ще близько 17 годин.

Масштаб обчислень теж незвичайний навіть для сучасного ШІ. Під час роботи безпосередньо над Нав’є—Стоксом агенти обмінялися приблизно 2,7 млн повідомлень і згенерували близько 130 млрд вихідних токенів. У всій серії математичних експериментів було використано близько 300 млрд токенів.

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

Люди при цьому не зникли з процесу. Дослідники спрямовували групи, переносили ключові ідеї між ними й після проміжного успіху перерозподілили ресурси саме на Нав’є—Стокса. Тобто це не історія про повністю автономного ШІ, який без людського рішення випадково прокинувся з доведеним Millennium Problem.

Початковим поштовхом став інший результат. Система спершу працювала над простішою спорідненою проблемою для рівнянь Ейлера — фактично версією рівнянь руху рідини без в’язкості. Після успіху там команда вирішила, що саме напрям Нав’є—Стокса виглядає найбільш перспективним.

Навколо паралельних досліджень уже виникла й суперечка про науковий пріоритет. OpenAI повідомила, що активізувала роботу після чуток про результати математиків Левента Алпьоге та Трістана Бакмастера, які виявилися пов’язаними з іншою, хоча й близькою задачею для рівнянь Ейлера.

Компанія заявляє, що її дослідники та агенти не бачили їхньої неопублікованої роботи й не отримували доступу до конкретних користувацьких даних для розв’язання задачі. Водночас вона визнає, що не може повністю виключити вплив знеособлених даних використання її продуктів на попереднє вдосконалення моделей.

Ця суперечка може виявитися передвісником нової проблеми для науки. Коли ШІ здатний поглинати величезний масив інформації та тисячами паралельних процесів розвивати ідеї, стає складніше визначити, де закінчується загальне навчання моделі й починається конкретний інтелектуальний внесок окремого дослідника.

Ще фундаментальніше питання стосується самої природи математики. Раніше доказ великої теореми був не лише кінцевим результатом. Десятиліття невдалих підходів створювали нові методи, поняття й цілі галузі. Шлях до відповіді часто виявлявся для науки ціннішим, ніж сама відповідь.

Якщо ж машина може за 88 годин перебрати інтелектуальний простір, на який людській спільноті потрібні десятиліття, математика ризикує перейти від дефіциту доказів до їхнього надлишку. Тоді головним завданням стане не лише знайти істину, а зрозуміти, які з мільйонів машинно знайдених шляхів справді дають людям нову картину предмета.

Саме тут виникає парадокс. Формально доведена теорема може бути абсолютно правильною й водночас погано зрозумілою людьми. ШІ здатний знайти маршрут через математичний ландшафт, але людській науці ще доведеться пояснити, чому цей маршрут працює, які ідеї в ньому універсальні й куди вони ведуть далі.

До цього моменту великі результати ШІ в математиці часто можна було описати як дуже сильне продовження людських ідей. Система знаходила коротший доказ, поєднувала відомі техніки або просувала межу раніше отриманого результату. Задача Нав’є—Стокса, якщо доказ вистоїть, змінить масштаб порівняння.

Тоді питання перестане звучати як «чи може ШІ допомагати видатним математикам?». Воно стане значно незручнішим: чи може система сама виробляти результати історичного рівня швидше, ніж людська математична культура встигає їх перевірити, зрозуміти й включити у власну систему знань?

У найближчі місяці відповідь залежатиме не від презентацій OpenAI, а від математиків, які розбиратимуть доказ рядок за рядком. Вони перевірятимуть аналітичні оцінки, конструкцію сингулярності, відповідність умовам задачі та формальну Lean-версію. Саме цей процес визначить статус результату.

Тому сьогодні коректно сказати не «ШІ розв’язав задачу Нав’є—Стокса» як завершений історичний факт, а «OpenAI оприлюднила претендента на її розв’язання». Інститут Клея поки залишає проблему у списку відкритих, а правила премії передбачають роки до можливого формального визнання.

Але навіть цей обережний статус не робить подію меншою. Тисячі агентів уже змогли створити математичний об’єкт, достатньо серйозний для того, щоб одна з найстаріших відкритих проблем аналізу опинилася в центрі негайної глобальної перевірки.

Якщо в доказі знайдуть фатальну помилку, експеримент усе одно покаже, наскільки близько ШІ підійшов до переднього краю чистої математики. Якщо ж помилки не знайдуть, історія запам’ятає не лише закриття другої Проблеми тисячоліття.

Вона запам’ятає момент, коли питання про роль штучного інтелекту в науці змінилося.

Не «чи може машина допомогти нам знайти доказ», а «що робитимуть математики, коли докази почнуть знаходити машини».