AI агенти на OpenAI са решили 90-годишната математическа задача на Навие – Стоукс

OpenAI твърди, че е решила 90-годишния математически проблем на Навие – Стокс за 88 часа с помощта на 10 000 агента и нов модел с изкуствен интелект. В съобщение, публикувано във вторник, компанията зад чатбота с изкуствен интелект ChatGPT, заяви, че „споделя решение“ на проблема, свързан с движението на флуидите.

Компанията посочи, че е използвала система от „координиращи се агенти“, задвижвана от неин вътрешен AI модел.

Агентите имаха достъп до инструменти, като възможност да четат от кеширана версия на интернет и да изпълняват код. Агентите бяха разделени на групи, като можеха да комуникират в рамките на съответната група“, разказва OpenAI. „Групите бяха с различен размер, а тази, която достигна до решението на проблема на Навие – Стокс, включваше приблизително 10 000 агента, работещи едновременно.“

„Агентите достигнаха до своето решение в събота, 5 септември, около 88 часа след стартирането на първите агенти“, добави компанията.

Проблемът на Навие – Стокс е един от седемте Проблема на хилядолетието, смятани за едни от най-трудните математически задачи в началото на този век.

Математическият институт „Клей“ в Кеймбридж, Масачузетс, който създаде Проблемите на хилядолетието, все още не е коментирал предложеното от OpenAI решение.

Математик изразява съмнения

Работата на OpenAI обаче предизвика въпроси от страна на Тристан Бъкмастър, професор по математика в Нюйоркския университет.

В изявление на своя уебсайт Бъкмастър обясни, че е работил заедно с математика Левент Алпьоге, който работи в конкурента на OpenAI – Anthropic, в рамките на „лично сътрудничество“ по математически проблеми, включително този на Навие – Стокс.

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

Бъкмастър повдигна и въпроси дали моделите на OpenAI са били обучавани върху техни сесии в Codex или са имали достъп до тях. По думите му, двамата математици са използвали няколко големи езикови модела като част от работата си.

Искам ясно да кажа какво не твърдя. Не съм виждал доказателството на OpenAI. Не знам какво е направил техният модел или как го е направил. Не знам дали нашите данни са били използвани“, добави Бъкмастър.

В своето изявление OpenAI посочи, че усилията ѝ за решаване на математическия проблем на Навие – Стокс са започнали на 1 септември, след като компанията „чува слух“ за напредък по задачата, за който впоследствие установява, че е свързан с Алпьоге и Бъкмастър.

Ние – изследователите и агентите – не сме виждали по никакъв начин тяхната работа, преди те да я публикуват публично. По-конкретно, за решаването на този проблем не са били използвани конкретни потребителски данни. Макар да е малко вероятно, не можем да изключим възможността обезличени данни, получени от използването на нашите продукти от тяхна страна, да са допринесли за подобряването на нашите модели“, добави компанията.

Проблемите на хилядолетието

Математическият институт „Клей“ създава Проблемите на хилядолетието през 2000 г., като обявява награда за 1 млн. долара за решаването на всеки от тях.

Наградите бяха замислени... за да повишат обществената осведоменост за факта, че границите на математиката все още са отворени и изобилстват от важни нерешени проблеми; да подчертаят значението на усилията за намиране на решение на най-дълбоките и най-трудните проблеми; както и да отличат постижения в математиката с историческо значение“, се казва на уебсайта на института.

Сред останалите проблеми са хипотезата на Бърч и Суинъртън-Дайър, свързана с елиптичните криви, и хипотезата на Риман, която се отнася до простите числа.