2026-yil 26-oktabrda OpenAI oʻzining ichki sunʻiy intellekt modellaridan chiqqan uchta yangi ilmiy natijani eʻlon qildi. Natijalar matematika, informatika va fizika sohalariga oid boʻlib, kompaniya ular bilan birga akademik hamjamiyatlar bilan ishlashning yangi usulini ham taqdim etdi. Bu usulda tashqi ekspertlar shepherd, yaʻni natijalarni tekshiruv jarayonida kuzatib boruvchi va baholovchi mutaxassislar sifatida jalb qilinadi. OpenAIʻning oʻzi bu natijalar hali mustaqil peer review, yaʻni mustaqil ekspert bahosidan oʻtmaganini ochiq aytmoqda. Shuning uchun mazkur maqolada keltirilgan ilmiy natijalar tasdiqlangan fakt sifatida emas, balki OpenAIʻning daʻvosi sifatida bayon qilinadi. Kompaniya akademik credit, yaʻni ilmiy mualliflik eʻtirofini soʻramasligini ham bildirgan. Bu pozitsiya eʻlonning eng muhim jihatlaridan biridir, chunki u natijalarni baholash vazifasini toʻliq akademik hamjamiyat zimmasiga qoldiradi. Uchala natija ham bir kunda, bir paketda eʻlon qilindi, ammo ularning har biri alohida tekshiruv yoʻlidan oʻtadi. Matematika natijasi tadqiqotchilar baholashi uchun ochiq qoʻyilgan, informatika va fizika natijalari esa mustaqil tekshiruvni kutmoqda. Shu tariqa eʻlonning oʻzi bir voqea, ammo uning ilmiy taqdiri uch xil jarayonga boʻlinadi. OpenAIʻning bayonoti kompaniyaning rasmiy blogida chop etilgan, voqeani The Verge ham yoritgan. Ikkala manba ham bir xil asosiy faktlarni tasdiqlaydi: eʻlon sanasi, uchta soha, shepherd modeli va mustaqil tekshiruv hali yakunlanmagani.
Matematika: local smoothing conjecture
Matematika boʻyicha OpenAIʻning daʻvosiga koʻra, uning modellaridan biri local smoothing conjecture, yaʻni mahalliy silliqlash gipotezasini barcha oʻlchovlarda isbotlagan. Kompaniyaning taʻkidlashicha, bu isbot Kakeya conjecture va Stein restriction conjecture, yaʻni Stein cheklash gipotezasini ham hal qiladi. Bu uchta muammo bir-biri bilan bogʻliq holda tilga olinadi va local smoothing boʻyicha natija ularning qolgan ikkitasiga ham yechim beradi, deb daʻvo qilinadi. Isbot 2026-yil 18-oktabrda tayyorlangan, ertasi kuni, 19-oktabrda esa Lean tizimida formallashtirilgan. Leanʻda formallashtirish degani isbotning mashina tomonidan tekshiriladigan shaklga keltirilgani anglatadi va bu qadam eʻlonda alohida qayd etilgan. Matematika natijasi boshqa ikki natijadan shu jihati bilan farq qiladi: u tadqiqotchilar baholashi uchun ochiq qilib qoʻyilgan. Yaʻni matematik hamjamiyat isbotni hozirdanoq oʻrganishi, tekshirishi va baholashi mumkin. Bu ochiqlik eʻlonning qolgan qismlarida takrorlanadigan shepherd modelidan farqli yoʻl boʻlib, matematika boʻyicha baho jarayoni allaqachon boshlanganini anglatadi. Shu bilan birga, ochiq qoʻyilgan boʻlishi hamon natijaning mustaqil peer reviewʻdan oʻtganini bildirmaydi. Hozircha gap faqat OpenAIʻning daʻvosi va uning Leanʻda formallashtirilgani haqida bormoqda. Yakuniy ilmiy bahoni matematik hamjamiyatning tekshiruvi beradi. Agar tekshiruv daʻvoni tasdiqlasa, bu uchta bogʻliq muammoning birdaniga hal etilgani boʻladi, agar tasdiqlanmasa, daʻvo rad etilgan hisoblanadi. Har ikki holatda ham hozirgi bosqichda aniq boʻlgan narsa bitta: isbot borligi daʻvo qilinmoqda, u Leanʻda formallashtirilgan va baholash uchun ochiq.
Informatika: Exponential Time Hypothesis
Informatika boʻyicha OpenAIʻning daʻvosi Exponential Time Hypothesis, qisqacha ETH deb ataladigan gipotezaning notoʻgʻri ekanligidir. Kompaniyaning taʻkidlashicha, uning tizimi ETH notoʻgʻri ekanini isbotlagan va bu natija keyinchalik Leanʻda tekshirilgan. ETH informatika nazariyasining asosiy farazlaridan biri sifatida tilga olinadi va uning rad etilishi daʻvosi shuning uchun ham katta eʻtibor qozongan. Ammo matematika natijasidan farqli oʻlaroq, informatika boʻyicha daʻvo hali mustaqil tekshiruvni kutmoqda. Mustaqil tekshiruvni Kaliforniya universiteti San-Diego boʻlimidan Russell Impagliazzo va Ramamohan Paturi hamda Massachusets texnologiya institutidan Ryan Williams boshchiligidagi guruh amalga oshiradi. Bu guruh daʻvoni OpenAIʻdan mustaqil ravishda oʻrganadi va baholaydi. Guruh tarkibining eʻlonda nomma-nom keltirilishi tekshiruv jarayonining shaffofligini koʻrsatadi: kim tekshirishi oldindan maʻlum. Tekshiruv yakunlanmaguncha ETH boʻyicha daʻvo ham tasdiqlangan ilmiy natija hisoblanmaydi. OpenAIʻning oʻzi ham bu natija boʻyicha akademik credit soʻramaydi, yaʻni daʻvoning mualliflik eʻtirofini talab qilmaydi. Bu yondashuv tekshiruv guruhining ishiga bosim oʻtkazmaslikka qaratilgan koʻrinadi. Informatika boʻyicha voqea rivoji endi aynan shu guruhning xulosasiga bogʻliq. Guruh daʻvoni tasdiqlasa, ETH notoʻgʻri ekani ilmiy hamjamiyat tomonidan qabul qilingan natijaga aylanadi. Guruh daʻvoda kamchilik topsa, natija qayta koʻrib chiqiladi yoki rad etiladi. Hozirgi bosqichda oʻquvchi uchun aniq faktlar quyidagilar: daʻvo eʻlon qilingan, u Leanʻda tekshirilgan, mustaqil tekshiruv guruhi belgilangan va uning xulosasi kutilmoqda.
Fizika: toʻrt oʻlchovli kvant maydon nazariyalari
Fizika boʻyicha OpenAIʻning daʻvosi oʻzaro taʻsirli toʻrt oʻlchovli kvant maydon nazariyalarining mavjudligiga qatʻiy isbot keltirilgani haqida. Bunday nazariyalar qatoriga kvant xromodinamikasi ham kiradi. Kompaniyaning taʻkidlashicha, uning modellaridan biri ana shu nazariyalar mavjudligining qatʻiy isbotini yaratgan. Bu daʻvo ichida yana bir muhim qism bor: sof Yang-Mills nazariyasining mavjudligi muammosi Clay Millennium Prize, yaʻni Clay Mingyillik mukofoti muammolaridan birining qismi hisoblanadi. Yaʻni fizika boʻyicha daʻvo faqat bitta natija emas, balki uzoq yillik mukofotli muammolar roʻyxatiga daxldor qismni ham oʻz ichiga oladi. Fizika natijasi ham mustaqil tekshiruvni kutmoqda va bu jarayonda shepherd sifatida Nobel laureati David Gross boshchiligidagi guruh qatnashadi. Gross guruhi fizika boʻyicha daʻvoni kuzatib boradi va baholaydi. Bu tanlov eʻlonda alohida qayd etilgan, chunki shepherdʻning ilmiy obroʻsi tekshiruv jarayoniga ishonchni belgilaydi. Matematika natijasidan farqli oʻlaroq, fizika boʻyicha isbot tadqiqotchilar baholashi uchun ochiq qoʻyilgani haqida eʻlonda aytilmagan, balki mustaqil tekshiruv kutilayotgani taʻkidlangan. Shuning uchun fizika boʻyicha yakuniy baho Gross guruhining ishiga bogʻliq. Hozircha aniq boʻlgan faktlar: daʻvo eʻlon qilingan, u kvant xromodinamikasini oʻz ichiga olgan nazariyalar mavjudligiga oid, sof Yang-Mills qismi Clay Millennium Prize muammosining bir qismi va tekshiruvni David Gross boshchiligidagi guruh olib boradi. Bu faktlardan tashqarida hozircha hech qanday tasdiqlangan ilmiy xulosa yoʻq.
Shepherd modeli: akademik hamjamiyat bilan yangi ishlash usuli
Uchta natijadan tashqari, eʻlonning yana bir muhim qismi akademik hamjamiyatlar bilan ishlashning yangi usulidir. OpenAI tashqi ekspertlarni shepherd sifatida jalb qilish modelini taqdim etdi. Bu modelda tashqi ekspertlar natijalarni tekshiruv jarayonida kuzatib boradi, baholaydi va oʻz xulosalarini beradi. Informatika boʻyicha Impagliazzo, Paturi va Williams guruhi, fizika boʻyicha esa Gross guruhi aynan shu rolni bajaradi. Matematika boʻyicha esa jarayon boshqacha kechmoqda: natija toʻgʻridan-toʻgʻri tadqiqotchilar baholashi uchun ochiq. Shepherd modeli va ochiq baholash yoʻli bir-birini toʻldiradi: biri nomli ekspert guruhlari orqali, ikkinchisi keng hamjamiyat orqali tekshiruvni nazarda tutadi. OpenAIʻning akademik credit soʻramasligi ham shu modelning bir qismidir. Kompaniya daʻvolarning muallifi sifatida eʻtirof talab qilmaydi, baholash va xulosa chiqarish huquqini akademik hamjamiyatga qoldiradi. Bu yondashuv sunʻiy intellekt yordamida olingan ilmiy natijalar muallifligi masalasida yangi amaliyotni sinovdan oʻtkazish demakdir. Modelning oʻzi ham hali sinov bosqichida: uning samarasi tekshiruv guruhlarining xulosalari chiqqanidan keyin baholanadi. Agar guruhlar daʻvolarni tasdiqlasa, shepherd modeli sunʻiy intellekt va akademiya hamkorligining ishlaydigan namunasi sifatida koʻriladi. Agar daʻvolar rad etilsa, modelning oʻzi ham tanqidiy baholanadi. Har ikki holatda ham hozirgi eʻlon modelning ishga tushganini, lekin yakuniy natijasini emas, balki boshlanishini bildiradi.
Nima hali tasdiqlanmagan
Bu eʻlonni toʻgʻri oʻqish uchun tasdiqlangan va daʻvo qilingan narsalarni ajratish muhim. Tasdiqlangan faktlar: OpenAI 2026-yil 26-oktabrda uchta natijani eʻlon qilgan, matematika boʻyicha isbot 18-oktabrda tayyorlanib, 19-oktabrda Leanʻda formallashtirilgan, informatika va fizika boʻyicha mustaqil tekshiruv guruhlari belgilangan, kompaniya akademik credit soʻramaydi. Daʻvo qilingan, lekin hali tasdiqlanmagan narsalar: local smoothing conjecture barcha oʻlchovlarda isbotlangani va u Kakeya hamda Stein restriction conjectureʻlarni hal qilgani, Exponential Time Hypothesis notoʻgʻri ekani, oʻzaro taʻsirli toʻrt oʻlchovli kvant maydon nazariyalari, jumladan kvant xromodinamikasi mavjudligining qatʻiy isboti borligi. Bu ajratish eʻlonning mohiyatini belgilaydi va har qanday qayta bayonda saqlanishi kerak. Quyidagi bayonot OpenAIʻning oʻz pozitsiyasini ifodalaydi:
Natijalar hali mustaqil peer reviewʻdan oʻtmagan: OpenAI akademik credit soʻramaydi, matematika natijasi tadqiqotchilar baholashi uchun ochiq, informatika va fizika boʻyicha daʻvolar esa mustaqil ekspert guruhlarining tekshiruvini kutmoqda. — OpenAI bayonoti, The Verge va kompaniyaning rasmiy blogi orqali
Ushbu eʻlonning keyingi bosqichi endi OpenAIʻga emas, balki tekshiruvchilarga bogʻliq. Matematika boʻyicha baho keng tadqiqotchilar hamjamiyatidan, informatika boʻyicha Impagliazzo, Paturi va Williams guruhidan, fizika boʻyicha esa David Gross boshchiligidagi guruhdan kutilmoqda. Ularning xulosalari chiqquncha uchala natija ham daʻvo maqomida qoladi. Shu sababli bu yangilikni oʻqishda eng muhim soʻz daʻvo soʻzidir: OpenAI daʻvo qilmoqda, ilmiy hamjamiyat esa tekshirmoqda. Tekshiruv yakunlari chiqqanida voqea yangi bosqichga oʻtadi va oʻshanda daʻvolar tasdiqlangan natijaga aylanishi yoki rad etilishi aniq boʻladi. Tekshiruv xulosalari eʻlon qilinganida har bir daʻvo boʻyicha alohida baho beriladi, chunki uchala natijaning taqdiri bir-biridan mustaqil hal etiladi.
