AI million dollar masalasini yechdi — va ortida mojaro qoldi

Bugun matematika tarixiga kiritiladigan kun bo’lishi mumkin. OpenAI o’z ichki modeli Navier-Stokes tenglamalarini yechib, suv havasining cheklangan vaqtda “yiqilishi” (singularity) mumkinligini isbotlaganini e’lon qildi. Bu Clay institutining oltita “Millennium Prize” muammosidan biri — bahosi $1 million.

Nima bo’ldi?

Tarix tartibida:

1. Bir yil oldin NYU matematigi Tristan Bakmaster ikki ispaniyalik kollegasi ishlab chiqqan “forcing” usulini o’rganishni boshladi — bu usul tenglamalarning ko’pchilik e’tiborsiz qoldiradigan bir bo’lagiga hujum qiladi.
2. 15-avgust — Bakmaster va Garvardlik Levent Alpoj (hozir Anthropic xodimi) usulni Euler tenglamalari (Navier-Stokes’ning ishqalanishsiz qarindoshi) uchun ishlatib, “yiqilish”ni isbotlashdi. Buning o’zi alohida katta natija. Isbot Lean tilida tekshirilgan.
3. 3-sentabr — ularning ishi haqidagi mishishlar OpenAI’ga yetib boradi. OpenAI himoyachi bo’lib qoladi.
4. Dam olish kuni (6-7 sentabr) — OpenAI jamoasi ichki model bilan “haqiqiy” Navier-Stokes’ni yechishga o’tadi.
5. 7-sentabr kechasi — Bakmaster o’z natijasi va bayonotini omma oldiga chiqaradi. OpenAI esa o’zinikiini e’lon qiladi.
6. 8-sentabr — OpenAI’ning rasmiy sahifasi: isbot ~10 000 ta hamlashuvchi AI agent 88 soat ichida topgan, model “GPT-6 Astra’dan sezilarli kuchli”, hisoblash xarajati “millionlab dollar” (Mark Chen). Isbot Lean’da rasmiylashtirilgan. Noam Brown: bir yil oldin o3 ARC-AGI uchun $500K ketgan bo’lsa, bugun Astra xuddi shu ishni ~$20 ga qiladi — “bir yildan keyin hamma qo’lida shu darajadagi AI bo’ladi.”

Ammo ortida mojaro bor

Bakmaster bayonotida aytilganlari (u hech kimga ayblov qo’ymaydi — faqat faktlarni aytadi):

• Ular butun loyiha davomida barcha qoralamalarini OpenAI Codex’ga yuklagan. Eshitib qolgan OpenAI xuddi shu “forcing” usuliga o’tgach, Bakmaster so’ragan: sizning modelingiz bizning maxfiy promptlarimizga kirganmi yoki o’qitilganmi? Javob: model foydalanuvchi ma’lumotiga qaramaydi. O’qitilganmi — javob yo’q.
• Ikki telefon qo’ng’irog’ida OpenAI unga ikki taklif beradi: (a) ular Euler natijasini chiqaradi, OpenAI o’zinikiini ertaga — “muammoga eng yaqin insonlar” deb; (b) Navier-Stokes natijasi faqat Bakmaster nomi bilan, Alpojni olib tashlab (sababi: u Anthropic’da ishlashi “juda bezovta qiladi”).
• Bakmaster rad etgach, javob: «Nega karerangni buzmoqchisan?» Va keyin: «Yaxshi bo’lishni xohlamasang, yaxshi bo’lishim shart emas.»
• OpenAI matbuot brifingida (WIRED orqali) ayblovlarni rad etadi: “Tadqiqotchilar ham, agentlar ham ularning ishini ommaga chiqquniga qadar ko’rmagan” (Byubek). OpenAI Alpoj–Bakmaster ustuvorligini tan oladi va natijalari “tam manillanuvchi” ekanini, 28-avgustda yangi matematik model o’qitila boshlaganini, dushanba kuni ertalab yakuniy yechim tayyor bo’lganini aytadi.

Nima uchun bu muhim?

AI birinchi marta insoniyatning eng qiyin masalalaridan birini mustaqil ravishda yechdi — bu matematika metodologiyasining o’zi o’zgarishini anglatadi. Lekin birinchi “AI milliard dollarlik isboti” ayni paytda fanga oid eng xavfli savollarni ochib berdi: ochiq kodli vositalarga yuklangan tadqiqot qoralamalari qanchalik maxfiy? Va kompaniya xodimlarini raqobatchidan ajratish uchun qog’ozda mualliflikni qanday bo’lishadi?

Clay instituti hali nima deishi aniq emas — “forcing” bo’lagi bilan yechilgan muammo ko’p mutaxassisning talqinidagi “to’liq” muammo emas, va ba’zilar “loophole” (yoliq) deyishadi. Clay $1M mukofotini beradimi — alohida hikoya.

Manbalar: OpenAI rasmiy e’loni (openai.com/index/navier-stokes-solution), Bakmaster bayonoti (cims.nyu.edu), Scientific American 08.09, The Decoder (WIRED brifing iqtiboslari bilan), TechCrunch 08.09.