OpenAI заявява решение на Навие–Стокс на фона на спор за научния принос

OpenAI обяви, че система от AI агенти е намерила решение на проблема за съществуването и гладкостта на уравненията на Навие–Стокс. Компанията публикува научен текст и хранилище с формализация в Lean. Това е проверимо съобщение за заявен резултат, но не бива да се представя като вече независимо признато решение. При проверката страницата на Clay Mathematics Institute продължава да обозначава задачата като нерешена.

Какво всъщност се твърди

Уравненията на Навие–Стокс описват движението на вискозни течности и газове. Големият математически въпрос е дали при определени гладки начални условия описанието може да развие сингулярност за крайно време — например скоростта в математическия модел да стане неограничена.

В публикувания текст OpenAI заявява конструкция на триизмерно несвиваемо течение, което започва от покой. Върху него действа гладка външна сила, а скоростта става неограничена за крайно време, докато кинетичната енергия остава равномерно ограничена. Авторите свързват резултата с вариантите C и D от официалната формулировка на задачата.

Уточнението за външната сила е съществено. Не става дума за доказателство, че всяко течение се разрушава, нито за универсално решение на всички проблеми на турбулентността. Вариантите C и D действително допускат гладка външна сила; нейното присъствие само по себе си не изключва резултата от формулировката на Clay.

AI агенти, но не без човешко участие

Според публикацията на OpenAI работата е извършена с вътрешен модел, по-способен от GPT-6 Astra, и координирани групи агенти. Компанията описва пренасочване на изчислителни ресурси, използване на междинни резултати и последващи подканвания. Затова историята не е коректно да се сведе до „един чатбот получи задача и сам реши всичко“.

OpenAI посочва, че групата, достигнала до заявеното решение, е включвала приблизително 10 000 едновременно работещи агенти. Това е отчет на самата компания, а не независимо измерване. Тя заявява и че не възнамерява да претендира за наградата на Clay.

Защо възникна спорът

Математикът от Нюйоркския университет Тристан Бъкмастър публикува собствено изявление за съвместната си работа с Левент Алпьоге. Двамата обявяват резултати за други уравнения, включително триизмерните уравнения на Ойлер с гладка външна сила. Бъкмастър изрично отдава основната идея на изследователската програма на Диего Кордоба и Луис Мартинес-Сороа.

По неговия разказ информация за напредъка им е достигнала до OpenAI преди публичното представяне. Той описва разговори, в които според него е бил предложен вариант за публикация без съавторство на Алпьоге, и реплики, които представя като натиск. Това са твърдения на участник в спора, не установени от нас факти за поведението на компанията.

Особено важно: Бъкмастър пише, че не знае дали данните им са били използвани и че към момента на изявлението не е виждал доказателството на OpenAI. Следователно няма основание историята да се превръща в категорично обвинение за откраднато доказателство.

Какво отговаря OpenAI

Компанията заявява, че изследователите и агентите ѝ не са виждали непубликуваната работа на двамата и че не са достъпвали конкретни потребителски данни за решаването на задачата. Същевременно не изключва възможността деидентифицирани данни от употребата на продуктите ѝ да са допринесли за подобряване на моделите. Това не е признание, че конкретното доказателство е било копирано.

OpenAI признава приоритета на Бъкмастър и Алпьоге за резултата им при уравненията на Ойлер с външна сила. Тя подчертава, че собственият ѝ резултат за Ойлер е без външна сила и че доказателствата се различават. Тези различия трябва да се запазят, вместо всички резултати да се представят като една и съща задача.

Какво остава да бъде проверено

Наличието на научен текст и Lean формализация позволява проверка, но само по себе си не удостоверява, че формализираното твърдение точно съответства на задачата, че всички зависимости са приемливи и че доказателството е независимо възпроизведено. При подготовката на този материал не сме изпълнявали Lean проверката и не сме извършвали експертна рецензия на пълното доказателство.

Засега коректният извод е: OpenAI е публикувала конкретно заявено решение, а около паралелните изследвания има публичен спор за принос и поведение. Математическата валидност и справедливото признаване на човешкия труд са отделни въпроси. Нито внушителният брой агенти, нито остротата на спора могат да заместят проверката.

Визуализацията към материала е оригинално AI-генерирано редакционно изображение на воден вихър, а не научна симулация или доказателство за заявения резултат.