Една от най-сложните загадки в историята на математиката най-после намери своето решение, но вместо да се превърне в чист триумф, доказателството отприщи един от най-големите скандали в научните среди. След повече от два века опити, учените бяха близо до развръзката, когато се намеси изкуственият интелект. Чрез мрежа от 10 000 AI агента, машините успяха да намерят решение само за 88 часа.
Този пробив раздели математиците на два лагера. От една страна стои впечатляващият научен успех, а от друга – тревогата, че правилата на играта са променени от парите и изчислителната мощ, оставяйки човешкия мозък безсилен пред неограничената памет на алгоритмите.
Уравненията на Навие-Стокс представляват система от сложни диференциални уравнения, описващи движението на флуидите – течности и газове. Те са фундаментални за всичко около нас: от прогнозирането на времето и океанските течения до проектирането на самолети и изследването на кръвообращението. Въпреки че се използват ежедневно, чистата математическа теория зад тях оставаше мистерия почти 200 години. Преди четвърт век институтът „Клей“ обяви загадката за една от седемте „Задачи на хилядолетието“ с награда от 1 милион долара.
На 8 септември OpenAI обяви, че техен модел, подкрепен от 10 000 автономни агента, е генерирал доказателство, потвърждаващо, че тези уравнения могат да доведат до „експлозия“ на стойностите. За да бъде всичко прецизно, резултатът бе проверен чрез езика за програмиране Lean, който потвърди логическата коректност. Разбирането на тези сривове е критично за сигурността на самолетите, мостовете и прецизното моделиране на природни бедствия.
Въпреки историческото постижение, скандалът е огромен. Само 12 часа преди съобщението на OpenAI, известният математик Тристан Бъкмастър и изследователят Левент Алпьоге обявиха собствен пробив по темата. Твърди се, че OpenAI са използвали изчислителна мощ на стойност до 15 милиона долара, за да изпреварят независимите учени в последния момент, след като са разбрали за работата им. Професор Бъкмастър дори обвини компанията в неетично поведение и опит за манипулация чрез предлагане на съавторство при условие, че името на Алпьоге бъде премахнато.
Този случай повдигна тежки въпроси за „академичното пиратство“ и ролята на големите технологични корпорации. Много математици смятат, че AI инструментите се използват за кражба на идеи, преди те да бъдат публикувани. В крайна сметка, докато машините могат да решават лабиринти за часове, човекът остава този, който задава посоката. Битката за скорост с компютрите е загубена, но способността да ги управляваме за решаване на глобални проблеми остава единственият правилен път.
Източник: standartnews.com
