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

OpenAI публикува голяма колекция от математически резултати, създадени от вътрешен модел с изкуствен интелект. Доказателствата са публикувани в GitHub, а не в академични списания, като формалната верификация има за цел да направи прегледа по-практичен.

OpenAI публикува 372 нови математически резултата, генерирани от вътрешен водещ модел. Предполага се, че всеки резултат решава нерешен проблем или допринася съществено за неговото решаване. Колекцията включва подобрения на важни компютърни алгоритми и напредък, свързан с хипотезата на Риман.

Компанията публикува резултатите в хранилище в GitHub, допълнено с дневници на промените и цитирани източници. Според OpenAI същият модел вече е създал решение на проблем от уравненията на Навие–Стокс, което от седмици е в процес на формален преглед.

OpenAI посочва, че почти всеки резултат е получен от една-единствена подкана към един-единствен ИИ агент, макар че за някои са били необходими няколко опита. Това рязко контрастира с решението на проблема на Навие–Стокс, за което са били нужни рояк от 10 000 агенти и милиони долари изчислителни ресурси. Средно всеки резултат е изразходвал около три часа изчислителна мощ на ChatGPT Pro Thinking.

Формалната верификация може да облекчи затрудненията при прегледа

Много от доказателствата са придружени от формализации на Lean — програмен език, създаден за математически доказателства, които могат да бъдат проверявани от машини. Предвиждат се още формализации. Причината е практическа: огромният обем резултати, генерирани от ИИ, лесно би могъл да надхвърли капацитета на математическата общност за ръчен преглед.

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

Традиционните списания не са създадени за такова темпо

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

OpenAI се консултира с Консултативната група по математика и изкуствен интелект към Института за перспективни изследвания и до известна степен следва публичните ѝ препоръки, тъй като компанията не публикува никакви подкани и сподели само средните изчислителни разходи, а не данни за всеки отделен проблем. В консултативната група участва носителят на медала „Фийлдс“ Тимъти Гауърс, наред с други известни математици.

Компанията обяви и планове за финансиране на семинари и конференции, посветени на разбирането на резултатите, създадени от ИИ. OpenAI призна, че иска да подобри качеството на своите цитирания и представянето на резултатите, и заяви, че работи върху отговорно пускане на модела, което да „овласти пряко учените с най-съвременни възможности“.

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

Математическата общност е разделена относно значението на доказателствата, произвеждани в масов мащаб

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

В скорошно отворено писмо, озаглавено „Сериозно разминаване на ИИ с математиката“, 25 носители на медала „Фийлдс“ предупредиха за дълбоко разминаване между целите на ИИ индустрията и тези на математиката. Според тях решаването на задачи е само инструмент и заместител на истинската цел — концептуалното разбиране и прозрението. Те твърдят, че масовото производство на верни твърдения може да унищожи плодородната почва, вместо да даде живот на нови идеи. Ефектът би се разпространил и в други области.

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

ИИ новини без сензации — подбрани от хора

Абонирайте се за THE DECODER, за да четете без реклами, да получавате седмичен бюлетин за ИИ, нашия ексклузивен доклад за водещите разработки „AI Radar“ шест пъти годишно, пълен достъп до архива и достъп до секцията за коментари.