OpenAI обяви голямо математическо откритие, но учени ги обвиняват в неетно поведение

OpenAI обяви днес, че е открила генерирано от изкуствен интелект решение на един от най-големите проблеми в математиката — уравнение на 200 години, което описва естественото поведение на флуиди като водата и въздуха.

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

Доказателството се отнася до уравнението на Навие-Стокс — един от нерешените проблеми от Наградите на хилядолетието на института „Клей“, всеки от които е на стойност 1 милион долара.

Себастиан Бубек, математик и изследовател на изкуствен интелект в OpenAI, заяви по време на пресконференция, че компанията е започнала да обучава нов AI модел с разширени математически възможности на 28 август.

След като прочели слухове, че Anthropic постига напредък в решаването на Навие-Стокс, Бубек заяви, че компанията е решила да отдели повече ресурси за справяне с проблема. Компанията е впрегнала над 1000 агента да работят по проблема в продължение на повече от 50 часа, преди да открие, че е стигнала до решение.

„Мислех си, че някъде трябва да има грешка“, каза Бубек. „А в неделя сутринта вече имахме крайното решение, формализирано на Lean и всичко останало.“ (Lean е език за програмиране, който може да се използва за формализиране на математически доказателства.)

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

В понеделник Алпьоге и Бъкместър, математик от Нюйоркския университет (NYU), публикуваха документи, твърдейки за ключов напредък в област, свързана с проблема Навие-Стокс. Двамата казват, че са използвали няколко AI модела, включително Claude и Codex, за да завършат работата си.

Бъкместър публикува и изявление, в което твърди, че миналата седмица е научил, че OpenAI е разбрала за неговата и на Алпьоге работа и е започнала да влага значителни ресурси в проблема. Бъкместър твърди, че е попитал ръководителите на OpenAI дали компанията е имала достъп до регистрационните файлове (logs) на двамата в Codex. Той казва, че му е било отговорено, че моделът „не е преглеждал потребителски данни“, но твърди, че компанията не е отговорила на въпросите относно обучението. След това той казва, че OpenAI е отправила няколко „предложения“, включително едно, при което Бъкместър да публикува научен доклад, обявяващ, че проблемът Навие-Стокс е решен от вътрешен модел на OpenAI, но без името на Алпьоге в него.

В публикация в социалните мрежи Бубек отхвърли идеята, че компанията е предложила премахването на името на Алпьоге. Главният изпълнителен директор на OpenAI Сам Алтман също се намеси в спора и защити работата на екипа.

Бъкместър, Алпьоге и Anthropic не отговориха веднага на запитването за коментар от страна на WIRED.

По време на брифинга Бубек и други ръководители на OpenAI отрекоха компанията някога да е проверявала подканите (prompts) на двамата в Codex, за да се информира за тяхната работа. „Ние, независимо дали става дума за изследователите или за агентите, не сме виждали нищо от тяхната работа, докато тя не беше публикувана публично снощи“, каза той.

В публикация в блог, описваща подробно работата, компанията написа: „макар и малко вероятно, не можем да изключим възможността деидентифицирани данни, получени от тяхното използване на нашите продукти, да са помогнали за подобряването на нашите модели“.

„Искам да бъда изключително ясен, че признаваме приоритета на работата на Левент Алпьоге и Тристан Бъкместър относно нефорсирания Ойлер и не можем освен да ги поздравим за това монументално постижение, което са направили. За да сме ясни, не сме използвали тяхната подкана или доказателство, за да подканваме нашите модели или да насочваме нашите агенти“, каза Бубек.

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

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