OpenAI Mingyillik matematika muammosini yechganini e'lon qildi, ammo mojaro girdobida qoldi
OpenAI kompaniyasi o'zining sun'iy intellekt agentlari Clay Matematika Instituti tomonidan belgilangan yetti Mingyillik muammolaridan biri — Navier-Stoks tenglamalarini to'liq yechganini e'lon qildi. Biroq ushbu ulkan yutuq NYU matematigi Tristan Bakmaster va Anthropic xodimi Levent Alpogeni munosib e'tirof etmaslik ayblovlari soyasida qoldi. Bakmaster va Alpoge bir yil davomida sun'iy intellekt yordamida tenglamaning soddalashtirilgan talqinini isbotlagan bo'lsa, OpenAI ularning yondashuvidan foydalanganlikda gumon qilinmoqda. OpenAI barcha ayblovlarni rad etib, 1 million dollarlik mukofotga da'vo qilmasligini bildirdi.
OpenAI kompaniyasi matematika olamidagi eng yirik ochiq masalalardan biri bo'lgan Navier-Stoks mavjudligi va silliqligi (Navier–Stokes existence and smoothness) muammosi o'zining ichki AI modellari orqali hal etilganini ma'lum qildi. Ushbu muammo 2000-yilda Clay Matematika Instituti tomonidan e'lon qilingan va 1 million dollar mukofot jamg'armasiga ega yetti Mingyillik mukofoti muammolaridan biridir. Bunga qadar ushbu ro'yxatdagi faqat bitta masala to'liq yechilgan edi.
Navier-Stoks tenglamalari suyuqlik va gazlarning vaqt o'tishi bilan oqishini tavsiflaydi, biroq matematiklar ushbu tenglamalar muayyan sharoitlarda buzilib, cheksiz tezlik kabi imkonsiz holatlarni bashorat qilishi yoki qilmasligini aniq bilishmas edi. OpenAI taqdim etgan isbot tenglamalar to'liq holatda ham buzilishi mumkinligini ko'rsatib berdi. Kompaniya bu natijaga o'tgan hafta taqdim etilgan Astra modelidan ancha kuchliroq bo'lgan maxfiy ichki model orqali erishganini ma'lum qildi.
Biroq e'lon ortidan katta mojaro kelib chiqdi. Nyu-York universiteti matematigi Tristan Bakmaster va Anthropic kompaniyasi xodimi Levent Alpoge deyarli bir yil davomida ommaviy AI modellaridan foydalanib, tenglamaning soddalashtirilgan talqini buzilishini isbotlagan edi. Bakmaster OpenAI xodimlari bilan muloqot hujjatlarini e'lon qilib, kompaniya ularning yondashuvidan foydalanganini va hatto Anthropic bilan aloqadorligi sababli Alpogeni mualliflikdan chetlatishni taklif qilganini ta'kidladi.
OpenAI bosh tadqiqot direktori Mark Chen va texnik xodim Sebastyan Bubek tadqiqot guruhiga Bakmaster hamda Alpoge ishlari haqidagi mish-mishlar turtki bo'lganini tan olgan bo'lsa-da, ularning yozishmalari yoki ma'lumotlaridan to'g'ridan-to'g'ri foydalanilganini qat'iyan rad etdi. Har ikki tomon ham Diego Kordoba va Luis Martines-Soroa tomonidan ilgari surilgan yondashuvdan foydalangani aniqlangan.
Ushbu hodisa matematika fanining kelajagi va AI agentlarining murakkab ilmiy kashfiyotlardagi o'rni bo'yicha jiddiy munozaralarni keltirib chiqardi. Fan olamida muammolarni to'g'ri tanlashdagi insoniy tajriba va resurslarning yirik texnologik gigantlar qo'lida to'planishi akademik hamkorlik an'analarini o'zgartirib yuborishi mumkin.
Tadqiqotchilar va biznes uchun bu voqea AI agentlari fundamental fan va algoritmlardagi eng qiyin masalalarni yechish darajasiga yetganini, biroq proprietary modellarda intellektual mulk va mualliflik huquqi shaffofligini ta'minlash muhim ekanini ko'rsatadi.
Noaniq savolni aniq promptga aylantirish, javobni bosqichma-bosqich yaxshilash va tayyor prompt shablonlaridan foydalanishni o'rganing.