OpenAI oʻzining sunʼiy intellekt (SI) modellariga nisbatan uchta ilmiy yutuqni eʼlon qildi, bu matematik, kompyuter fanlari va fizika sohalarini qamrab oladi. Ushbu kashfiyotlarga qadimgi matematik farazlarga boʻlgan potentsial isbotlar, hisoblash chegaralari haqidagi muhim gipotezani inkor etish va zarra fizikasida nazariy taraqqiyot kiradi.
Hozirda kompaniya shuningdek, mustaqil tadqiqotchilarni ushbu natijalarni baholashga integratsiya qilish uchun yangi metodologiyani joriy etdi. Bu yondashuvdagi oʻzgarish OpenAIning boshida oktyabr oyida SI tomonidan yaratilgan yuzlab matematik ishlarni ommaga oshirish usuli bilan bogʻliq tanqidlar tufayli sabablandi.
Uchta holat turli taqdimot usullarini namoyish etadi. Matematika sohasida model tomonidan yaratilgan material toʻgʻridan-toʻgʻri nashr etildi. Kompyuter fanlarida esa isbot tashqi guruh tashkil etilishi bilan birga taqdim etildi. Fizika sohasida esa masʼul boʻlgan mutaxassislar SI tomonidan yaratilgan materiallarni joyiga qoʻyishdan oldin ishni tayyorlashni afzal koʻrishdi.
OpenAI bu natijalar hali tasdiqlanadigan va tushuniladigan ilmiy bilimga aylanishi kerakligini taʼkidlaydi. Natijada, kompaniya eʼlon qilgan kashfiyotlar akademik hamjamiyat tomonidan qabul qilingan yakuniy xulosalar sifatida qaralmasligi kerak.
Ikkinchi kashfiyot nazariy kompyuter fanlarida keng qoʻllaniladigan Eksponensial Vaqt Gipotezasi (EVG) ga tegishlidir. Ushbu faraz baʼzi Boolean formulalarining qoniqish muammolari subeksponensial vaqtda aniq algoritmlar bilan hal qilinmasligini taxmin qiladi.
OpenAI tizimi cheklangan kenglikdagi CNF formulalarini subeksponensial va polinom boʻlmagan joyda aniq sanay oladigan deterministik algoritmni aniqlaganini daʼvo qildi. Xususan, 3-SAT muammosi kontekstida bu natija EVGga zid keladi.
Agar bu xulosa tasdiqlansa, u tadqiqotchilarni ushbu gipotezaga bogʻliq boʻlgan nazariy natijalarni qayta baholashga majbur qiladi, chunki u kompyuter geometriyasi, kompyuter biologiyasi va graflar nazariyasi kabi yuzlab sohalarda qoʻllaniladi.
Bu daʼvo haqida tekshirish uchun Kaliforniya universiteti San Diego (AQSh) va Masmuttsaxnik institut (MIT)dan Russell Impagliazzo va Ramamohan Paturi, shuningdek, Ryan Williams boshchiligida mutaxassislar kollektivining tuzilgan. Impagliazzo va Paturi 1999-yilda gipotezaning asl konsepsiyasiga ishtirok etishgan edi.
Isbotni tabiiy til va Lean tilida rasmiylashtirilgan shakli GitHubda ommaviy foydalanish uchun joylashtirildi. Guruh ham SI tomonidan yaratilgan natijalarni qanday koʻrib chiqish kerakligi va kashfiyotni baholash uchun ilmiy hamjamiyatning hissasini soʻradi. Biroq, ushbu mutaxassislarning ishtiroki kashfiyotning oldingi tasdiqlovchi ahamiyatiga ega emas, chunki guruhning oʻzi bunday ulkan daʼvo mustaqil va chuqur tahlilni talab qilishini taʼkidlaydi.
Uchinchi daʼvo nazariy fizika bilan bogʻliq. OpenAI toʻrt oʻlchamdagi oʻzaro taʼsir qiluvchi kvant maydonlari baʼzi nazariyalarining mavjudligi haqida matematik jihatdan mustahkam isbot ishlab chiqqanini taʼkidlaydi, shu jumladan kalibr va fermion maydonlari.
Bu ish kvant dinamikasi (QCD) ni, yaʼni kvarklar va gluonlar oʻrtasidagi kuchli kuch orqali oʻzaro taʼsirni tasvirlaydigan nazariyani, shuningdek, zarra fizikasi Standart Modelining birlashtirilgan kengaytmasini qamrab oladi. Bundan tashqari, kompaniya natija Yang-Mills toza nazariyasining mavjudligini isbotlayotganini daʼvo qiladi, bu Clay Matematika Instituti Millenium mukofoti muammolaridan biriga bogʻliq mavzu.
Boshqa ikkita holatdan farqli oʻlaroq, SI tomonidan ishlab chiqarilgan materiallar hali ommaga oshirilmagan. 2004-yilda Fizika sohasida Nobel mukofotiga sazovor boʻlgan David Gross Michael Douglas, Arthur Jaffe, Igor Klebanov va Nikita Nekrasov kabi odamlardan iborat guruhni boshqaradi. Mutaxassislar ishning tushuntirishini asl maʼlumotlarni ommalashtirishdan oldin tayyorlashga qaror qilishdi.
Bunday nazariyalar uchun qatʼiy isbotning mavjudligi matematik fizika uchun sezilarli sakrash boʻlar edi. Biroq, hozirda bu daʼvo hech qanday mustaqil tasdiqlovchi maʼlumotlarsiz tahlil bosqichida qolmoqda.
Ommalashtirish strategiyasidagi oʻzgarish SI ning ilmiy tadqiqotlardagi roli haqidagi muhokama kontekstida sodir boʻlmoqda. Asosiy nuqta – bu jamiyatga dastlabki kirish kompaniya tomonidan tanlangan guruhga cheklanmagan holda natijalarni tahlil qilish imkonini qanday yaratishdir.
Oktyabrning 25-kunida Matematika va Sunʼiy Intellekt boʻyicha Maslahat kengashi (AGMAI) SI kompaniyalari matematiklarni natijalarni oldindan olish uchun tanlash amaliyotiga qarshi tavsiya berdi. Koʻtarilgan muammolar orasida tengsiz kirish, mutaxassislarning mashhurligining daʼvolarning ishonchliligi vaqti va tanlovlardagi tarafkashlik xavfi bor edi.
Guruh natijalarning masʼuliyatli tarzda taqdim etilishini himoya qiladi, avtonom tekshirishga imkon beradigan va umumiy ilmiy tushunchaning rivojlanishini ragʻbatlantiradigan maʼlumotlarni taqdim etishni talab qiladi.
OpenAI oʻzining yangi taktikasi ham xatarlar keltirib chiqarishini tan oladi. Tahlilni muvofiqlashtirish uchun mutaxassislarni tanlash kimning birinchi navbatda muhokamada ishtirok etishiga taʼsir qilishi va axborot tengsizliklarini keltirib chiqarishi mumkin. Kompaniya tashqi hamkorlar ishni baham koʻrishlari va oʻz xulosalarini maxfiylik shartnomalariga tortilmasdan nashr etishlari mumkinligini kafolatlaydi.
Bundan tashqari, kompaniya oʻz modellari tomonidan yaratilgan kashfiyotlar uchun akademik tan olishni maqsad qilmaganini eʼlon qiladi. Taklifga koʻra, kredit tushuntirishlarni ishlab chiqqan, isbotlarni tekshirgan va natijalarni tushunishga yordam beradigan materiallar ishlab chiqqan tadqiqotchilarga berilishi kerak.
OpenAI ilmiy hamjamiyatni oldindan kirish mezonlari, manfaatlar toʻqnashuvi shaffofligi, ustunlikni taqsimlash va SI tomonidan keltirilgan oʻzgarishlarga qarshi talabalar va tadqiqotchilarga yordam berish boʻyicha munozara qilishga taklif qiladi.