**OpenAI (OpenAI)** kompaniyasi navier-stokes tenglamasi yechimi bilan **Justine Sun (Justin Sun)**-ning ilk 1 million dollarlik matematika mukofoti sovrindori sifatida rasmiy qayd etilgani ma’lum bo‘ldi, biroq kompaniya mukofot puli uchun da’vo qilmagani sababli, mukofot hanuz to‘lanmagan holatda turibdi. OpenAI shu bilan birga Clay Mathematics Institute’ning (Kley matematikasi tadqiqot instituti) millionlik mukofotiga ham ariza bermasligini aytgan.
Asosiy mazmun
Sun’ning mukofot pulidagi repository (repozitoriy) OpenAI’ning navier-stokes yechimini ‘hal etildi·olish mumkin·hali olinmagan’ holati sifatida belgilab qo‘ygan.
OpenAI ga ko'ra, taxminan 10 mingta AI agent 88 soat davomida izlanish olib borganidan so'ng, GPT-6 Astra yana 17 soat davomida isbotni rasmiylashtirib, tekshiruvdan o'tkazdi.
**Kley matematika instituti (Clay Mathematics Institute)** ushbu muammoni hali ham “davom etayotgan” toifaga kiritadi va rasmiy ekspertiza jarayonini olib bormoqda.
OpenAI’dagi “Jastin Sun’ning sovg‘asi”
Sun tomonidan yangi belgilangan sovg‘a 3 o‘lchamli Navye–Stoks masalasi yechimini taqdim etgan OpenAI tadqiqot guruhi uchun birinchi bo‘lib 1 million dollarlik eng yuqori sovrin sohibi sifatida ko‘rsatilgan. Ochiq GitHub rekordida bu masala “solved (yechilgan)” deb belgilangan va sovrinni da’vo qilishga haqli ekani ko‘rsatilgan. Biroq hozirgacha hech kim hali sovrinni talab qilmagan.
OpenAI 8-sentabr kuni natijalarni e’lon qilar ekan, taxminan 10 mingta agent taxminan 88 soat davomida qidiruv ishlarini olib borganini, keyin esa GPT-6 Astra 17 soat qo‘shimcha ravishda formatli isbot tizimi — Lean’da isbotni rasmiylashtirib, tekshirganini aytdi. Kompaniya bu muammo bo‘yicha Kley matematika instituti qo‘ygan 1 million dollarlik “Ming yillik mukofoti (Millennium Prize)”ga ham ariza topshirmasligini ma’lum qildi.
Kley tomoni Navye–Stoks masalasini hali ham “faol (active)” holatda saqlab turibdi. Institut 11-sentabr kuni bergan bayonotida: “Bu e’lon muammoni amalda hal qilgan ko‘rinadi”, deb baholagan bo‘lsa-da, mukofot topshirish uchun qat’iy va uzoq muddatli tekshiruv jarayoni zarurligini ta’kidlagan. Bu ekspertiza jarayoni hali yakunlanmagan. Sun’ning alohida sovg‘asida mashina tekshira oladigan isbot shart qilib qo‘yilgani va an’anaviy tengdoshlar (peer review) jarayoni tugashidan oldin OpenAI jamoasi g‘oliblar sifatida ko‘rsatilgani qayd etiladi.
O‘qib chiqing: Bitcoin qazib olish AI’ga yutqazib, 50% hashreyt farqiga duch kelmoqda
Jastin Sun’ning sovg‘asi qoidalari
Sun o‘zining sovg‘asi “insonmi yoki AI tizimimi — kim natijani chiqarganidan qat’i nazar, natijaning o‘zini mukofotlash uchun” ekanini ta’kidladi. U: “Men hissa qo‘shgan odammi — insonmi, mashinammi, farqi yo‘q. Faqat natijani ko‘raman”, dedi. Mukofot jamg‘armasi repozitoriyasida OpenAI’ning e’loni tengdoshlar ekspertizasidan (peer review) o‘tkazilmagani va matematika hamjamiyati bo‘ylab keng qabul qilingani tasdiqlanmagani haqida ogohlantirish ham ko‘rsatilgan.
Hizmatlarni taqsimlash masalasi ham ochiq qolmoqda. Nyu-York universiteti professori Tristan Buckmaster (Tristan Buckmaster) hamkorlari bilan o‘tkazgan, ochilmagan tadqiqotining bir qismi OpenAI mahsulotiga saqlab qo‘yilgan bo‘lganini da’vo qildi. U, shuningdek, bu ma’lumotlar aslida modelni o‘qitishda ishlatilganmi-yo‘qmi noma’lum ekanini qo‘shimcha qildi. Buckmaster **The Guardian (The Guardian)** bilan bergan intervyusida: “Hech kimni aniq ayblash niyatim yo‘q”, deb chiziq tortdi. OpenAI o‘z tekshiruviga tayanib, uning Codex (Codex) prompti bu isbotni yaratgan tizimga ta’sir ko‘rsatishi mumkin bo‘lgan yo‘l yo‘qligi haqida xulosa qilganini bildirdi.
Bahs-munozaralar OpenAI 8-sentabr kuni shuni aytgani bilan boshlangan: kompaniyaning ichki tizimi rasmiy shartlar ostida chekli vaqtli singularlik (finite-time singularity) ko‘rsatadigan holatlarni keltirib, yillar davom etgan og‘ir muammo bo‘lgan Navye–Stoks tenglamasining yechim mavjudligi va silliqligi masalasini hal qilganini da’vo qilgan.
Hal qilinishi kerak bo‘lgan vazifa: tekshiruv va xizmat/ulush
Kley matematika instituti 2000-yildagi yettita “ming yillik masala” — “Millennium Prize Problems” ni belgilab, har bir muammo uchun 1 million dollardan mukofot tayinlagan. 20 yildan ko‘proq vaqt o‘tganiga qaramay, Navye–Stoks masalasi hanuz rasmiy ravishda “yechilmagan” holatda qolmoqda. Matematiklar OpenAI taqdim etgan yangi isbot bilan birga, AI yordamidagi tadqiqotlarda ma’lumotlardan foydalanish va xizmat/ulushni taqsimlash masalalarini parallel tarzda ko‘rib chiqmoqda.
Keyingi maqola: Shiba Inu Shibarium’ning buzilgan hamyon havolasini tuzatdi, ammo SHIB bir haftada 6% ga tushmoqda