OpenAI oʻzining sunʼiy intellekt (SI) agentlari eng muhim va hali javobi topilmagan matematik muammolardan birini, yaʼni suyuqlik harakatini modellashtiruvchi Navier-Stokes tenglamalariga bogʻliq muammoni hal qila olganini taʼkidladi. Bu potentsial yechim 1 million AQSh dollari (taxminan 5,4 million braziliya realiga teng) mukofotni kafolatlaydi, ammo matematiklar kompaniyaning taraqqiyot tezligi va qoʻllagan metodologiyasi haqida savollar berishmoqda.
Bu bahs New York universiteti (AQSh) matematik Tristan Buckmaster tomonidan OpenAI hamkorlari tomonidan shu muammo boʻyicha ishiga savol berilganini eʼlon qilganidan soʻng kuchaydi. 6-sentabrdagi yigʻilishda u quyidagi savolni olganini bildirgan: «Nega siz oʻzingizning karyerangizni buzasiz?».
Buckmaster bu voqeani ommaviy bayonotda batafsil bayon etib, OpenAI oʻzi va Anthropic matematik Levent Alpöge tomonidan ishlab chiqilgan tadqiqotlardan foydalangan boʻlishi mumkinligiga shubhalanadi.
Navier-Stokes tenglamalari XIX asr boshlarida Claude-Louis Navier va George Gabriel Stokes tomonidan yaratilgan. Ular suyuqlik dinamikasini tasvirlash uchun fundamental hisoblanadi va propektorlar tomonidan hosil qilinadigan havo oqimidan tortib, arteriyalardagi qon aylanishigacha boʻlgan hodisalar tushuntirishga yordam beradi.
Matematik muammoning mohiyati bu ushbu tenglamalar har doim cheklangan natijalar beradimi yoki maʼlum sharoitlarda «blowup» deb ataladigan singulariyani namoyon etishi mumkinmi, degan savoldir. Ushbu ssenariyda bosim yoki suyuqlik tezligi kabi fizik oʻzgaruvchi makon va vaqtning aniq nuqtasida cheksiz oʻsishi mumkin.
Bu masala Clay Mathematics Institute tomonidan belgilangan Mingilliy Muammolar ketma-ketligining bir qismidir, bunda har bir toʻgʻri yechim 1 million AQSh dollari (taxminan 5,4 million braziliya realiga) mukofotni taqdim etadi. Mavzuni oʻrganish uchun OpenAI «forcing» deb nomlangan texnikadan foydalangan, bu simulyatsiya qilingan suyuqlikka yumshoq va nazorat qilingan buzilish kiritishdan iborat.
Kompaniya muammoni birgalikda hal qilish uchun taxminan oʻn mingta SI agentini jalb qildi va ularni taxminan 88 soat davomida faol ushlab turdi. Dastlab, taxminan 100 ta agent Euler tenglamalarini tahlil qilishga bagʻishlandi, bu Navier-Stokes tenglamalarining viskozlikni eʼtiborsiz qoldiruvchi bir turi.
Taxminan 50 soatli qayta ishlashdan soʻng, agentlar Euler tenglamalarida blowup holatlarini aniqladilar. Bu kashfiyot jamoani Navier-Stokes muammosiga diqqatini jamlashga undadi. OpenAI oʻz agentlari vorteks asta-sekin torayib, choʻzilib va ingichka boʻlib, suyuqlik matematik jihatdan cheksizlikka tomon aylanishiga sabab boʻlgan singulariyani yaratganini taʼkidlaydi.
Tasdiqlash Lean tizimiga yuborildi, bu matematik argumentlarning har bir qadamini tasdiqlash uchun ishlatiladi. OpenAI maʼlumotlariga koʻra, agentlar 2,7 million xabar almashishdi va taxminan 130 milliard token yaratdilar.
Seshanba kuni (8-sanba) oʻtkazilgan matbuot konferensiyasida kompaniya vakillari mijoz uchun bajarilgan shunga oʻxshash vazifa 15 million AQSh dollariga (taxminan 81 million braziliya realiga) tushadigan xarajatga ega boʻlishini maʼlum qildilar.
Koʻproq maʼlumotlar:
OpenAI Bosh ijrochi direktori Sam Altman Buckmaster va Alpöge ishini oʻz eʼlonini qilishdan oldin bilib olganini tan olgan. U shunday dedi: «Biz ham oʻzimiz ham buni qila olamanmi degan fikrda edik». Altman metodologiyalar «turli xil koʻrinadi», deb qoʻshimcha qildi, bu esa Buckmaster tomonidan inkor etilmoqda.
OpenAI oʻz aloqasida ikkala matematikni tilga olib, forcing yordamida Euler muammosini mustaqil hal qilishni tan olib, ularga ishni birgalikda nashr etish imkoniyatini taqdim etdi.
Bahs Codex, OpenAI dasturlash yordamchisi bilan ham bogʻliq. Buckmaster oʻz tadqiqoti davomida bu vositadan foydalanganini, Alpöge bilan amalga oshirilgan ishning eskizlarini unga kiritganini taʼkidladi. Matematik OpenAI ga Codex sessiyalari kirish yoki modellarni oʻqitish uchun ishlatilishi mumkinmi, deb soʻraganini, ammo bu masalaga javob olmaganini bildirgan.
OpenAI kompaniya xodimlari yoki agentlari oʻz eʼlon qilinishidan oldin juftlik ishiga «hech qanday yoʻl bilan» kirishmaganini kafolatladi. Biroq, kompaniya oʻz mahsulotlaridan kelib chiqqan anonimlashtirilgan maʼlumotlar modellarining yaxshilanishiga hissa qoʻshgan boʻlishi mumkinligini inkor eta olmasligini tan olgan.
Buckmaster shuningdek, OpenAI dagi matematik tadqiqotlar masʼul shaxs Sébastien Bubeck ikki marta Alpöge ni ular tayyorlagan maqolaning muallifligidan chiqarib tashlashga bosganini daʼvo qildi. Alpöge OpenAI raqobatchisi boʻlgan Anthropicga tegishli.
Bubeck bu ayblovlarni inkor etib, bu daʼvolarni «soxta va uygʻotuvchi» deb baholadi. U OpenAI tadqiqotchilarning promptlari yoki isbotlaridan oʻz modellarini yoʻnaltirish uchun foydalanmaganini taʼkidladi.
Oʻz navbatida, Buckmaster OpenAI tomonidan taqdim etilgan isbotni koʻrmaganini va model natijaga qanday erishgani yoki tadqiqotchilar maʼlumotlari ishlatilgani haqida bilmaganini taʼkidladi. U kompaniya ishining kelib chiqishi boʻyicha mustaqil tekshiruv talab qildi.
Diego Córdoba natijaning paydo boʻlish tezligiga hayrat bildirgan. Boshqa matematiklar ham kashfiyot qanday yetkazilganiga nisbatan xavotir bildirdilar.
Kaliforniya universiteti, Los-Anjeles (UCLA) matematika professori Terence Tao bu voqea kimdir katta muammo ustida ishlayotgani haqidagi oddiy xabar AI ning asl tadqiqot yakunlanishidan oldin uni hal qilish uchun ulkan harakatni ragʻbatlantirishi mumkinligini koʻrsatayotganini kuzatdi. Tao fikricha, moliyaviy ragʻbatlantiruvchilar tadqiqotchilarni istiqbolli gʻoyalarni ilmiy hamjamiyatdan saqlab qolishga majbur qilishi mumkin, bu esa ochiq fan anʼanasi uchun zarar yetkazadi.
OpenAI ning isboti hali ham akedemik tengdoshlar tomonidan rasmiy koʻrib chiqilishi kutmoqda. Clay Mathematics Institute ham kompaniya tomonidan taqdim etilgan yechimni rasman tasdiqlamagan ham, rad etmagan.