Інститут математики Клея вперше публічно визнав, що проблема існування та гладкості Нав’є-Стокса — одна із семи проблем Премії тисячоліття — «очевидно, вирішена». У заяві, опублікованій на веб-сайті інституту в п’ятницю, одна з найбільш оскаржуваних історій року про штучний інтелект та математику переміщується в офіційний процес оцінки премії інституту, водночас чітко вказуючи, що жодної премії не було присуджено та жодних доказів не підтверджено.
«Сьогодні CMI поділяє хвилювання світової математичної спільноти, оскільки ми розглядаємо оголошення про те, що проблему Нав’є-Стокса, очевидно, вирішено», — йдеться в повідомленні інституту від 11 вересня 2026 року. «Ми сподіваємося побачити хвилі нового людського розуміння, коли аналізуватимуться та досліджуватимуть інновації, що стоять за цією роботою». For more context on this story, see our ongoing breaking AI news.
Чому заява важлива
Виміряна мова інституту виконує багато роботи, і кожне слово було розібрано протягом кількох годин на Hacker News, де оголошення зібрало понад 100 балів. Те, що не сказано в заяві, є таким же значущим, як і те, що в ньому сказано: Інститут математики Клея не називає OpenAI, не підтверджує правильність будь-якого конкретного доказу та не присуджує приз.
Контекст пояснює стриманість. 8 вересня OpenAI опублікував заявлене рішення проблеми Нав’є-Стокса, заявивши, що внутрішня система штучного інтелекту, яку компанія описує як значно потужнішу, ніж її модель GPT-6 Astra, створила як аналітичний доказ, так і формальну перевірку в Lean proof Assistant. Оголошення одразу стало не меншою мірою про кредит, ніж про обчислення, тому що два академічні математики опублікували тісно пов’язані статті того самого дня, і дослідники натиснули на OpenAI, на чиїй роботі пов’язаний результат машини.
Тепер, коли інститут визнає, що проблему «вочевидь вирішено», суперечка змінюється: від пінг-понгу з прес-релізами до процедури оцінювання Премії тисячоліття, яку інститут описує як «навмисно неспішну».
Про що йдеться в задачі Нав'є-Стокса
Проблема стосується існування та гладкості розв’язків рівнянь Нав’є-Стокса в тривимірному евклідовому просторі — рівнянь, які описують рух таких рідин, як вода та повітря. Хоча ці рівняння щодня використовуються інженерами, метеорологами та аеродинаміками, математики ніколи не доводили, що гладкі, фізично розумні рішення завжди існують у трьох вимірах, або що вони поводяться передбачувано, а не розвиваються сингулярності.
Інститут математики Клея оприлюднив Проблеми премії тисячоліття на зустрічі в Парижі в 2000 році, приєднавши премію в 1 мільйон доларів до кожної із семи проблем, які також включають гіпотезу Рімана та P проти NP. У своїй п’ятничній заяві інститут повторив своє початкове обґрунтування: підвищити обізнаність громадськості про те, що математичний кордон відкритий, і визнати «досягнення в математиці історичного масштабу».
Лише одна із семи проблем, гіпотеза Пуанкаре, була вирішена — Григорієм Перельманом у роботі, опублікованій у 2002 та 2003 роках, за яку він відмовився від медалі Філдса та грошової премії.
Попереду «навмисно неспішна» оцінка
Оголошення інституту вказує на правила нагородження як керівну основу для того, що станеться далі. «Правила, що регулюють нагородження, описують процес оцінки досягнень і присвоєння кредиту», — йдеться в повідомленні. «Процес навмисно неспішний, але ми надамо оновлення».
Таке формулювання залишає відкритими кілька питань, які математична спільнота зараз відкрито обговорює. Перевірка є першою перешкодою: доказ гладкості Нав’є-Стокса зазвичай забирає комітет експертів багато місяців, щоб перевірити рядок за рядком. Твердження OpenAI про те, що його результат включає перевірену машиною формалізацію в Lean, могло б, у принципі, значно скоротити цей часовий графік, оскільки формальна перевірка зводить питання правильності до того, що прийме помічник з доказів. Але інститут не повідомив, чи була така формалізація йому подана, хто судді, або як кредит буде розподілено між системою штучного інтелекту, її творцями в OpenAI та академічними математиками, чиї пов’язані статті з’явилися того ж тижня.
У заяві також не йдеться про те, чи рішення, яке значною мірою пов’язане з системою штучного інтелекту, може претендувати на премію, призначену, мовою заснування інституту, для визнання людських математичних досягнень — питання, яке не має прецеденту за 26-річну історію премії.
Напруга за оголошенням
Оголошення припадає на надзвичайно делікатний момент для перетину ШІ та математики. У п’ятницю група з 25 Філдсових медалістів, включаючи Теренса Тао, опублікувала офіційну заяву, в якій попереджала, що змагання за демонстрацію систем штучного інтелекту на математичних тестах завдає шкоди як науці, так і спільноті, яка її підтримує. Ця заява зібрала понад 1300 додаткових прихильників протягом дня, як повідомляв раніше AI Buzz Wire.
Ці два документи читаються майже як відповіді один на одного. Декларація математиків застерігає від розгляду глибоких проблем як еталонних трофеїв; Оголошення інституту, охоплюючи результат, чітко обрамляє момент навколо розуміння, а не перемоги, сподіваючись побачити «вивільнення хвилі нового людського розуміння, коли інновації, що стоять за цією роботою, аналізуються та досліджуються».
Навіть власний звіт інституту про навколишнє поле визнає зміну: «Зростаюча здатність нових технологій прискорювати математичні дослідження посилила це відчуття очікування», — зазначається в заяві, приписуючи недавні прориви в суміжних областях — деякі з них визнані нагородою Клея за дослідження — породжуючи надію, що Нав’є-Стокса може незабаром впасти.
Що буде далі
Наразі практичний висновок є вузьким, але реальним: інститут, якому належить проблема, оголосив, що вважає проблему, очевидно, вирішеною, і зобов’язався публікувати оновлення в міру проходження оцінки. Якщо робота витримає перевірку, це стане другою розв’язаною проблемою тисячоліття, першою за два десятиліття — і першою в історії, яка частково пояснюється системою штучного інтелекту, відмінністю, яка визначить те, як математичні інститути впораються з наступною такою заявою.
Інститут просить терпіння. З огляду на те, що процес, за задумом, навмисно неспішний, відповіді на запитання спільноти — про докази, заслуги та роль машини, яка їх виготовила — отримуватимуть у хронології інституту, а не в циклі новин.
---
Stay Ahead of AIGet the latest AI news, analysis, and breakthroughs — all in one place.
Read more AI news →
