Інститут Клея опублікував заяву про задачу Нав’є — Стокса

11 вересня 2026 року Клеївський інститут математики (CMI) опублікував коротку заяву, в якій визнав, що задачу Нав’є — Стокса — питання існування та гладкості розв’язків у тривимірному просторі — вочевидь розв’язано. Інститут не назвав ні автора розв’язку, ні термінів.

Що сказав інститут

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

Чому саме ця задача

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

Оголошення, що стояло за заявою

Результат, який спричинив заяву, оприлюднила OpenAI: 8 вересня 2026 року компанія повідомила, що внутрішня система отримала доведення — разом із формалізацією в помічнику доведень Lean — того, що спочатку гладкий потік може розвинути сингулярність за скінченний час. В офіційному формулюванні інституту, яке вимагає доведення одного з чотирьох тверджень, це встановлює два варіанти, які стверджують, що гладкі розв’язки можуть не зберегтися. Інші групи за кілька днів до того повідомили про споріднений поступ у нев’язкому випадку, де в’язкість дорівнює нулю.

Що далі

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