Clay instituti: «Navier-Stokes hali yechilmagan». Nima bo'ldi?
OpenAI 10 000 agent bilan Navier-Stokes muammosini yechdimiz deb e'lon qilganidan keyin Clay instituti rasmiy pozitsiyasini bildirdi: muammo ro'yxatda 'yechilmagan' qolmoqda. Sabab — 2 yillik qoida va 'forcing' yo'li. Bu nima degani?
Dunyodagi eng mashhur matematik mojarolardan biri o’zining rasmiy bobini oldi. OpenAI’ning Navier-Stokes e’loni va ortidagi mojaro haqida yozgan edik — u yerda «Clay instituti hali nima deishi aniq emas» degan savolni qoldirgan edik. Endi javob bor.
Nima bo’ldi
OpenAI o’z ichki modeli ~10 000 hamkor agent bilan 88 soat ichida Navier-Stokes tenglamalarining cheklangan vaqtda «yiqilishi» (finite-time blowup) haqidagi isbotni topgani haqida rasmiy e’lon qilgan edi — narxi «millionlab dollar», model «GPT-6 Astra’dan sezilarli kuchli».
Clay Mathematics Institute — muammoning $1 million mukofoti egasi — endi pozitsiyasini bildirdi: natija qabul qilinmagan, Navier-Stokes ro’yxatda «yechilmagan» qolmoqda (implicator.ai, 08.09).
Clay’ning pozitsiyasi ikki qatlamli:
- Jarayon qatlami: Clay qoidalariga ko’ra mukofot uchun ariza to’g’ridan-to’g’ri berilmaydi. Isbot avval «Qualifying Outlet» (jahon miqyosida obro’li hakamlik matematik jurnali)da nashr qilinishi, so’ng kamida 2 yil o’tishi va matematik hamjamiyatning umumiy qabuliga erishishi kerak. Kompaniya press-relezi yoki blog posti — bu shartlarga tushmaydi.
- Matematik qatlam: isbot «smooth forcing» (sirt ustidan doimiy tashqi kuch) bilan ishlaydi. Fefferman’ning rasmiy formulasi bu yo’lni C va D bayonotlarida ruxsat beradi — lekin ko’pchilik ishlaydigan matematiklar «o’z muammosi» deb aynan tashqi kuchsiz versiyani tushunadi. Ya’ni: qoidalar bo’yicha ruxsat etilgan, lekin ko’pchilikning savoli emas.
Nega bu «yo’q» degani emas
Ikki narsani ajratish kerak:
- OpenAI’ning isboti Lean tilida rasmiylashtirilgan — mashinada tekshiriladigan isbot. Bu o’z-o’zidan kuchli natija.
- Clay ro’yxatidagi o’rin — bu muassasa protsedurasi, matematik haqqoniyatning o’zi emas. 2 yillik kutish davri har qanday isbotga — inson yoki AI — bir xil qo’llanadi.
Ayni paytda mojaroning ikkinchi qatlami davom etmoqda: NYU professori Tristan Buckmaster OpenAI ushbu yo’lga faqat uning va Levent Alpöge ishini eshitgandan keyin o’tgani haqidagi bayonoti bilan bog’liq da’volar turibdi (batafsil: oldingi post). OpenAI buni rad etadi. Buckmaster–Alpöge natijasi esa (Euler tenglamalari uchun) o’z-o’zidan katta yutuq va u ham xuddi shu Clay qoidalari ostida yuradi.
O’zbekiston uchun 3 saboq
- «Yechildi» degan sarlavha ≠ yechilgan: frontier lab e’lonlari PR tezligida chiqadi, ilmiy tekshiruv oylab-yillab davom etadi. «AI eng qiyin muammoni yechdi» degan xabarni ko’rganingizda — kim tekshirdi, kim qabul qildi deb so’rang.
- Protsedura ham fanning bir qismi: Clay’ning 2 yillik qoidasi shoshilinch xato e’lonlaridan himoya qilish uchun. AI davrida bu himoya ahamiyatliroq bo’lib bormoqda — chunki «isbot chiqarish» tezlashdi, tekshirish esa yo’q.
- Formalizatsiya qadr oshmoqda: Lean’dagi mashina tekshiruvi Clay qoidalarini bekor qilmaydi, lekin kelajakda «hakamlik jurnali + 2 yil» modelining o’zi qayta ko’rib chiqilishi mumkin. Bu munozara hali oldinda.
Savol
Agar isbot 2 yildan keyin jurnaldan o’tsa — $1 millionni kim oladi: OpenAI kompaniyasi, agentlarni boshqargan odamlar, yo’ki mukofot umuman berilmaydi?
Manbalar: implicator.ai (Marcus Schuler) 08.09 + Clay Mathematics Institute rasmiy qoidalari (claymath.org, 2018 reviziyasi) + openai.com/index/navier-stokes-solution + cims.nyu.edu (Buckmaster bayonoti). Coxon iste’fosi va Hubinger’ning 10% bahosi haqida: Anthropic tadqiqotchisi ketdi.