OpenAI ming yillik matematik masalani yechganini e'lon qildi va ilmiy mojaroga sabab bo'ldi
OpenAI kompaniyasi o'zining ichki sun'iy intellekt modeli va 10 000 ta agentdan iborat to'dasi orqali 88 soat ichida nufuzli Navier-Stokes masalasiga yechim topganini ma'lum qildi. Biroq ushbu yutuq ilmiy doiralarda katta shov-shuv va norozilik uyg'otdi. Nyu-York universiteti professori Tristan Bakmaster va Anthropic tadqiqotchisi Levent Alpoge aynan shu yo'nalishda ishlayotgan bo'lgan va OpenAI ularning ishidan xabar topgach, natijaga birinchi bo'lib erishish uchun katta hisoblash quvvatlarini safarbar qilganlikda ayblanmoqda. Kompaniya foydalanuvchilarning shaxsiy ma'lumotlaridan foydalanganini rad etgan bo'lsa-da, akademiyadagi ochiqlik va ishonch an'analarini buzganlikda tanqid qilinmoqda.
OpenAI o'zining hali ommaga taqdim etilmagan yangi modeli va 10 mingga yaqin SI-agentlari yordamida mashhur Navier-Stokes masalasini bor-yo'g'i 88 soat ichida yechganini e'lon qildi. Suyuqliklar harakatiga oid ushbu masala matematikaning eng mashhur Mingyillik muammolaridan biri bo'lib, insoniyat uni deyarli 90 yildan beri yecha olmayotgan edi. Kompaniya bu natijani ulkan yutuq deb atadi va million dollarlik mukofotga da'vo qilmasligini bildirdi.
Biroq bu g'alaba e'lon qilinishi bilan jiddiy akademik mojaro markazida qoldi. OpenAI ushbu masalani mustaqil emas, balki Nyu-York universiteti professori Tristan Bakmaster va Anthropic xodimi Levent Alpoge bu borada muvaffaqiyatga erishayotgani haqidagi mish-mishlarni X (Twitter) tarmog'ida ko'rgach, shoshilinch tarzda boshlaganini tan oldi. Bakmaster OpenAI uni o'z maqolasidan Alpegeni chiqarib tashlashga undagani va Codex orqali yozilgan ma'lumotlaridan foydalanilgani haqidagi savollarga agressiv javob berilganini da'vo qilmoqda.
OpenAI o'z navbatida foydalanuvchilarning shaxsiy yozishmalari yoki ma'lumotlaridan foydalanganini qat'iyan rad etdi, biroq tizimni yaxshilashda anonimlashtirilgan ma'lumotlar bilvosita ta'sir qilgan bo'lishi ehtimolini butunlay istisno qilmadi. Kompaniya tadqiqotchisi Sebastyan Bubek esa Bakmasterga bosim o'tkazilgani va hammuallifni olib tashlash talab qilingani haqidagi da'volarni inkor etdi.
Ushbu hodisa an'anaviy akademik hamjamiyatda jiddiy xavotir uyg'otdi. Matematika sohasi uzoq yillardan beri o'zaro ishonch va g'oyalarni erkin bo'lishish tamoyiliga tayanib kelgan. Olimlarning ta'kidlashicha, endilikda yirik kompaniyalar ulkan hisoblash quvvatlari bilan har qanday yangi g'oyani ilib ketishi mumkinligi sababli, tadqiqotchilar o'z ishlarini yashirishga va ehtiyotkor bo'lishga majbur bo'ladi.
Matematika va fundamental fanlar sohasidagi ilmiy izlanishlar uchun sun'iy intellekt agentlarining kuchi isbotlandi, biroq tadqiqotchi dasturchilar va kompaniyalar o'z xususiy kodlari hamda g'oyalarini AI platformalariga kiritishda axborot xavfsizligiga jiddiyroq e'tibor qaratishlari kerak bo'ladi.
OpenAI matematikaning eng mashhur yetti masalasidan biri bo'lgan Navye–Stoks muammosi uchun SI tomonidan yaratilgan yechimni taqdim etdi. Taqdimot yozma tahlil bilan birga Lean tilida yozilgan rasmiy matematik isbotni o'z ichiga oladi. Bu fundamental fan va formal verifikatsiyada yangi bosqichni boshlab beradi.
Noaniq savolni aniq promptga aylantirish, javobni bosqichma-bosqich yaxshilash va tayyor prompt shablonlaridan foydalanishni o'rganing.