OpenAI kompaniyasining yangi modeli o'nta murakkab ilmiy muammoni yechdi

Sun'iy intellekt texnologiyalari bo'yicha dunyodagi yetakchi tashkilotlardan biri bo'lgan OpenAI kompaniyasi Astra deb nomlangan yangi avlod modellar turkumini keng jamoatchilikka taqdim etdi. Bu haqda One.uz xabar beradi.

Mazkur tizimning ichki sinov talqini matematika va nazariy informatika fanlari doirasidagi o'nta o'ta murakkab hamda uzoq yillardan buyon yechimini kutayotgan ochiq masalalarni muvaffaqiyatli hal etishga muvaffaq bo'ldi. Kompaniya vakillarining ta'kidlashicha, ushbu ilmiy muammolar ustida jahon olimlari kamida o'n yil, ayrim hollarda esa undan ham uzoqroq vaqt davomida natijasiz izlanish olib borishgan.

Astra modeli yuqori o'lchamli geometriya, kodlash nazariyasi, guruhlar nazariyasi, kvant hisoblash murakkabligi, panjarali kriptografiya va ekstremal kombinatorika kabi yo'nalishlarda kutilmagan yechimlarni topdi. Xususan, tizim birinchi marta nosofik guruhni aniq qurishga muvaffaq bo'ldi, Konn qattiqlik gipotezasini rad etdi va parallel takrorlash bo'yicha kvant teoremasini isbotladi.

Shuningdek, model 1978-yildan beri o'zgarishsiz qolayotgan sfera qadoqlanishi zichligining umumiy yuqori chegarasini yaxshilashga hamda Erxartning hajm haqidagi gipotezasini isbotlashga erishdi. Ilmiy yutuqlar va tadqiqot uslublari OpenAI tomonidan berilgan bayonotda aytilishicha, barcha matematik dalillar va mantiqiy xulosalar sun'iy intellekt tomonidan mutlaqo mustaqil ravishda ishlab chiqilgan.

Tizim barcha hisob-kitoblarni yakunlagach, tadqiqotchilar olingan natijalarni ilmiy maqolalar shaklida rasmiylashtirdilar. Astra tizimining o'zi har bir keltirilgan dalilning matematik jihatdan to'g'riligini avtomatik tarzda tekshirish imkonini beruvchi Lean rasmiy verifikatsiya tilida barcha isbotlarni taqdim etgan.

Qizig'i shundaki, ushbu murakkab ilmiy yechimlarni topish uchun sarflangan moliyaviy resurslar nisbatan kam miqdorni tashkil etdi. Kompaniya ma'lumotlariga ko'ra, hisob-kitob quvvatlari uchun taxminan 2000 dollar atrofida mablag' sarflangan.

Hozirda OpenAI barcha sertifikatlar va mantiqiy mulohazalar jarayonining to'liq tavsifini ommaga ochiq e'lon qilgan bo'lib, bu ilmiy hamjamiyat uchun yangi imkoniyatlar eshigini ochadi. Mualliflik huquqi va kelajakdagi vazifalar Garchi Astra modeli matematika sohasida jiddiy yutuqlarga erishgan bo'lsa-da, u hali "Ming yillik muammolari" ro'yxatidagi eng mashhur yetti vazifani hal eta olmadi.

Ushbu masalalarning har biri uchun bir million dollar miqdorida mukofot tayinlangan bo'lib, ular hamon o'z yechimini kutmoqda. Shunga qaramay, mutaxassislar erishilgan natijalarni sun'iy intellektning mantiqiy fikrlash qobiliyati rivojlanishidagi ulkan qadam sifatida baholamoqdalar.

OpenAI mualliflik masalasiga ham alohida to'xtalib o'tdi. Agar matematik dalillar to'laqonli ravishda sun'iy intellekt tomonidan yaratilgan bo'lsa, bunday natijalarni odamlar nomiga yozish adolatdan emasligi ta'kidlandi.

Tadqiqotchilar faqatgina tayyor yechimlarni qog'ozga tushirish va ularni rasmiylashtirish bilan shug'ullanganlar, asosiy ilmiy kashfiyotlar esa bevosita Astra modeli tomonidan amalga oshirilgan. Endilikda ushbu isbotlar jahon ilmiy hamjamiyati tomonidan sinchkovlik bilan tekshirib chiqilishi lozim.