OpenAI oʻzining ilgʻor ichki modeli tomonidan yaratilgan yuzlab yangi matematik kashfiyotlarni eʼlon qildi, bu kompaniya tomonidan ishlab chiqilgan eng ilgʻor texnologiyalardan birini tashkil etadi. Jami, tashkilot GitHubda 722 ta manuskriptni joylashtirdi, bunda oʻnlab yillar davomida matematiklarni qiynab kelgan savollar toʻplamlari 372 tasi guruhlangan.
Bu oshkor qilish sunʼiy intellektning ilmiy sohada qoʻllanilishi haqidagi faol munozaralar kontekstida sodir boʻldi. Kompaniya nashr qilish yoʻriqnomalarini belgilash uchun mustaqil matematiklar kollektiviga murojaat qilgan boʻlsa-da, berilgan barcha takliflarni qabul qilmagan.
Komilyatsiya sonlar nazariyasi va algebraik geometriya kabi turli sohalarni qamrab oladi. Eng eʼtiborga loyiq jihatlardan biri toʻrt oʻlchamdagi Kakeya faraziga yechim topilganligi, shuningdek, kompyuter algoritmalarini yaxshilash va nomlanuvchi 'Riemannning kvasi-faraziga' bogʻliq taraqqiyotlar mavjud.
Natijalar shuningdek, hali yechilmagan Besh Mingilliy Mukofot muammolaridan uchtasini oʻz ichiga oladi. Bu natijalarga erishish uchun model taxminan 4 mingta muammoni hal qilishga urinib koʻrdi.
Ilmiy hamjamiyatning reaksiyalari
Bu oshkor qilishning ulkan miqyosi matematik hamjamiyatning diqqatini tortdi. Rutgers universiteti professori Alex Kontorovich X platformasida shunday deb izoh berdi: agar inson 'Riemannning kvasi-faraziga' oid isbotni taqdim etganida, bu unga darhol Fields Medalyasini kafolatlash yetarli boʻlar edi.
Biroq, material hali mutaxassislarning qatʼiy baholanishiga muhtoj ekanligini taʼkidlash muhimdir. Matematik ahamiyati va isbotlarning dolzarbligi mustaqil ravishda amalga oshiriladigan tahlillarga bogʻliq.
Nashrni tuzish uchun OpenAI mustaqil mutaxassislar tarkibidagi Matematika va Sunʼiy Intellekt Boʻyicha Maslahat Beruvchi Guruh (AGMAI) yordamiga murojaat qildi. Kompaniya kashfiyotlarni tarqatish boʻyicha guruh tavsiyalariga amal qilganini daʼvo qiladi, ammo oʻzining maxsus modellarida murakkab matematik muammolarni sinovdan toʻxtatish boʻyicha aniq tavsiyani joriy etmadi.
Repositoriyda Lean dasturlash tilidan foydalanib isbotlarning formalizatsiyalari mavjud, bu til matematik isbotlarni kompyuter vositalari orqali tekshirish imkonini beradi. Modelning fikrlash jarayonining xulosalari, kompyuter resurslari sarfi baholari va sinovdan oʻtkazilgan muammolarga oid statistik maʼlumotlar ham taqdim etildi.
OpenAI GitHubdagi nashrga maqolalarni koʻrib chiqish va ishlar toʻgʻri iqtibos berilishi uchun protokollarni kiritganini maʼlum qildi. Kompaniyaning oʻziga koʻra, har bir natija oʻrtacha ChatGPT Pro dan uch soat foydalanishga teng kompyuter quvvatini talab qilgan.
Bundan tashqari, kompaniya AI tomonidan yaratilgan kashfiyotlarni tahlil qilishga qaratilgan seminarlar, konferensiyalar va dasturlarni moliyalashtirishni rejalashtirmoqda. Yangi formalizatsiyalar mavjud boʻlganda, repositoriy yangilanib boradi.
Bu oshkor qilish matematik muammolarni hal qilishda AI dan foydalanish haqidagi bir qator muhokamalardan keyin sodir boʻldi. OpenAI bilan bogʻliq avvalgi bahsli holat natijalarning yuqori shaffoflik va qayta tiklanish qobiliyatini talab qilishni kuchaytirdi.
Kengaytirilgan sinovlar boʻyicha pozitsiya
Maslahat beruvchi guruh laboratoriyalarning oʻz modellarida murakkab matematik muammolarni sinovdan toʻxtatishni taklif qilgan edi. OpenAI bu yoʻriqnomani eʼtiborsiz qoldirib, matematika va boshqa fanlarda oʻzining ilgʻor ichki modellarini baholashni davom ettirish muhimligini himoya qildi.
Bundan tashqari, kompaniya har bir masala uchun aniq kompyuter vaqtlarini yoki ishlatilgan buyruqlarni (promptlar) oshkor qilmagan. Bu yashirinlik matematik hamjamiyat uchun isbotlarni batafsil koʻrib chiqish va ularga yakuniy taʼsir berishdan oldin zaruriyatni kuchaytiradi.
Keyingi qadam tadqiqotchilarga tegishli boʻlib, ular isbotlarni tekshirishi, natijalarni imkon boʻlsa, qayta tiklashi va ulardan qaysilari matematika uchun sezilarli taraqqiyotni tashkil etishini aniqlashi kerak.
