Разработчикът на изкуствен интелект OpenAI обяви, че неговите AI агенти са намери потенциално доказателство на една от седемте задачи на хилядолетието: въпросът за съществуването и гладкостта на решенията на уравненията на Навие-Стокс.
Търсенето на доказателство е отнело приблизително 88 часа. Група от около 10 000 агента с изкуствен интелект са работили едновременно, обменяйки общо 2,7 милиона съобщения и генерирайки около 130 милиарда изходни токена.
Полученото доказателство демонстрира сценарий, при който флуид – първоначално спокоен и гладък – развива сингулярност в рамките на краен период от време: вихър се завърта спираловидно навътре, като едновременно се разтяга и ускорява, което води до неограничено увеличаване на скоростта на флуида. При това общата енергия на системата остава крайна.
Тази специфична комбинация от условия е главното предизвикателство от десетилетия: вискозитетът обикновено изглажда движението, но математическата рамка на OpenAI позволява на динамиката на флуидите да доведе до разрушаване на гладкостта без въвеждане на безкрайна външна сила.
За да намери доказателството, OpenAI разделя агентите на множество групи и им присвоява различни варианти на задачата – някои изискващи доказателство за съществуване на сингулярност, други изследващи обратната възможност.
Важен междинен етап е решаването на свързана задача, включваща невискозните уравнения на Ойлер; около 100 агента са работили по нея в продължение на приблизително 50 часа, използвайки резултата, за да насочат последващото търсене.
Агентите са стигнали до окончателното доказателство на 5 септември, а формализирането и проверката му в Lean – с помощта на GPT-6 Astra – са отнели допълнителни 17 часа.
OpenAI обаче все още не счита задачата за окончателно решена в академичен смисъл, нито претендира за наградата от милион долара на Clay Mathematics Institute.
Въпреки че компанията е публикувала математическото доказателство и неговата формализация в Lean, резултатът все още очаква независима проверка от експерти. Ако доказателството издържи проверка, AI ще има шанса – за първи път – да реши задача, който остава нерешена от приблизително 90 години.
