Новини
Търси

Може ли AI да реши задача, която математиците не са покорили от 90 години?

Може ли AI да реши задача, която математиците не са покорили от 90 години?

OpenAI твърди, че е постигнала значителен напредък по един от най-трудните нерешени математически проблеми – задачата за съществуването и гладкостта на решенията на уравненията на Навие-Сток

OpenAI твърди, че е постигнала значителен напредък по един от най-трудните нерешени математически проблеми – задачата за съществуването и гладкостта на решенията на уравненията на Навие-Сток, пише BBC.

Компанията съобщава, че е използвала нов вътрешен модел на изкуствен интелект и около 10 000 AI агенти, които са работили паралелно в продължение на 88 часа.

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

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

Според OpenAI компанията е започнала в края на август да обучава нов модел, който бързо е показал високи резултати при решаването на математически задачи. След като на 1 септември са се появили информации, че може да са намерени решения на два от проблемите „Милениум“, изследователите са решили да използват хиляди AI агенти, работещи с новия модел.

До 5 септември системата е генерирала решение на част от проблема за съществуването и гладкостта на решенията на уравненията на Навие-Стокс. Според OpenAI са били покрити две от четирите основни твърдения, които трябва да бъдат доказани, за да бъде решен поставеният от Института „Клей“ проблем.

Мащабът на изчислителната работа е бил значителен. Само при задачата за Навие-Стокс AI агентите са обменили близо 3 милиона съобщения и са използвали около 130 милиарда изходни токена – отделни единици текст или код, генерирани от моделите.

OpenAI изчислява, че подобна операция би струвала около 10 млн. долара, ако бъде извършена по цените на компанията за използване на най-напредналите ѝ модели.

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

Твърденията на компанията обаче предизвикаха и спор сред математици, работещи по същия проблем.

Тристан Бъкмастър, професор по математика в Нюйоркския университет, заяви, че заедно с математика Левент Алпьоге от Anthropic също разработва решение на проблема, като екипът е използвал инструмента Codex на OpenAI.

Бъкмастър твърди, че на 3 септември е разбрал, че информация за работата на двамата е достигнала до OpenAI. Според него компанията е започнала работа по уравненията на Навие-Стокс едва след като е получила информация за техния напредък.

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

От OpenAI отхвърлиха твърдението, че са виждали разработките на Бъкмастър и Алпьоге преди публикуването им. Компанията определи паралелната работа на двамата математици като „забележителна“.

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

Водещи