OpenAI обяви, че неизползван досега публично модел с изкуствен интелект е намерил решение на една от най-известните нерешени задачи в съвременната математика — проблема за съществуването и гладкостта на решенията на уравненията на Навие–Стокс. Задачата е една от седемте т.нар. Millennium Prize Problems, за чието решение Институтът по математика „Клей“ е определил награда от 1 млн. долара.

Уравненията на Навие–Стокс описват движението на флуиди като вода и въздух и намират приложение в области като метеорологията, авиацията и моделирането на кръвния поток. Основният математически въпрос е дали при определени условия решенията на уравненията остават гладки или могат за краен период от време да достигнат сингулярност, при която скоростта става неограничена.

Според OpenAI новият вътрешен модел е достигнал до доказателство за такъв тип „взривяване“ на решението. Компанията представя 165-странично доказателство, което е било и формализирано и проверено с помощта на системата за формално доказване на теореми.

Особено впечатляващ е начинът, по който е извършена работата. OpenAI съобщава, че е използвала около 10 000 автономни ИИ агента, работещи паралелно. Те са достигнали до решението приблизително 88 часа след началото на проекта, след което моделът GPT-6 Astra е помогнал за формализирането и проверката на доказателството. Само при работата по Навие–Стокс са били генерирани около 2,7 млн. съобщения и приблизително 130 млрд. изходни токена.

Решението все още не е официално признато

Въпреки гръмкото съобщение, математическият проблем все още се води нерешен от Института „Клей“. Причината е, че подобно твърдение трябва да премине през независима проверка от математическата общност. Правилата за Millennium Prize изискват предложеното решение да бъде публикувано в подходящ научен източник, да остане в печат поне две години и да получи общо признание от специалистите, преди да бъде присъдена наградата.

Същевременно около обявлението възникна и спор относно приоритета на откритието. Математиците Тристан Бъкмастър от Нюйоркския университет и Левент Алпьоге от Anthropic са работили по свързани проблеми и поставят въпроси относно хронологията и възможното влияние на тяхната работа върху проекта на OpenAI. Компанията отрича да е използвала конкретни потребителски данни или да е виждала тяхната работа преди публичното ѝ оповестяване.

OpenAI заявява, че няма намерение да претендира за наградата от 1 млн. долара, а представя резултата преди всичко като демонстрация на възможностите на следващото поколение ИИ системи.

Ако доказателството бъде потвърдено от независими математици, постижението би било значим момент в развитието на изкуствения интелект и научните изследвания. То би показало, че ИИ системите вече могат не само да подпомагат учените, но и да генерират и формално проверяват решения на изключително сложни фундаментални математически проблеми. Засега обаче най-точното определение е „заявено от OpenAI решение“, а не окончателно решен Millennium Prize Problem.

Снимка: Unsplash

Виж още: На опасен праг: Оръжия с изкуствен интелект, които могат да избират кого да убият, вече са тук