OpenAI oʻzining yangi modelidan 722 ta matematik ishni GitHub’da e’lon qildi

Materiallar 372 ta tematik oilaga birlashtirilgan. Tadqiqot avvalgi benchmarklar tugagach, 4000 ga yaqin ochiq masalalar asosida oʻtkazildi. Aksariyat yechimlarni yaratish uchun chuqur mulohaza yuritish rejimida oʻrtacha uch soatga yaqin hisoblash talab qilindi. Katalogga abel xilma-xilliklari uchun Xoj gipotezasi, Riman dzeta-funksiyasining nolsiz sohasi va Xota gipotezasi boʻyicha siljishlar kiritilgan. Isbotlarning bir qismi Lean ixtisoslashtirilgan tekshirish tilida rasmiylashtirilgan, oʻnta masala boʻyicha esa kompaniya modelning qisqartirilgan mulohaza yuritish jarayonini oshkor qildi.

OpenAI rasmiylashtirilmagan ishlarda xatolar boʻlishi mumkinligidan ogohlantirdi va versiyalarni saqlagan holda tuzatishlarni e’lon qilishga va’da berdi, shuningdek, ushbu nashr barcha masalalar hal qilinganining avtomatik tasdigʻi deb hisoblanmasligini ta’kidladi. Reliz Istiqbolli tadqiqotlar instituti (IAS) qoshidagi maslahat guruhi ishtirokida tayyorlandi.

Nashr ilmiy hamjamiyat bilan kelishmovchiliklarga sabab boʻldi. 3DNews Wired nashriga tayanib xabar berishicha, avgust oyida OpenAI vakillari bilan uchrashuvda 40 ga yaqin matematiklar repozitoriylar va ijtimoiy tarmoqlar bilan cheklanib qolmasdan, natijalarni usullarning tavsifi bilan toʻliq akademik maqolalar koʻrinishida rasmiylashtirishni tavsiya qilgan edi. Kompaniyada ma’lumotlarni oʻrganish uchun bir qator konferensiya va seminarlarni moliyalashtirish, shuningdek, xavfsizlik tekshiruvlari yakunlangach, tadqiqotchilarga modelning oʻzidan foydalanish imkoniyatini taqdim etish niyati borligi bildirildi.