OpenAI yangi GitHub resursida o'zining ichki modeli tomonidan yaratilgan matematika asarlarini va dalillarini taqdim etdi. Bu resursda modelning rivojlanish jarayonida ochiq tadqiqot muammolariga qanday javob berayotgani ko'rsatilgan.
OpenAI o'z modellarini rivojlantirish jarayonida ochiq tadqiqot muammolariga baho beradi. Bu baholarni kengaytirish natijasida yangi matematika asarlarini yaratish imkoniyati paydo bo'ldi. Bu asarlar turli darajadagi tekshirish bosqichlarida bo'lib, barchasida Lean formalizatsiyalari mavjud emas. OpenAI bu resursni Lean formalizatsiyalari bilan yangilab borishini aytdi.
Hozirgi katalogda 722 ta asar mavjud bo'lib, ular 372 oilaga bo'lingan. Har bir oilaga bog'liq maqolalar kiradi, ular asosan asosiy natijalar, qo'shimcha dalillar, oqibatlar yoki alternativ isbotlarni o'z ichiga oladi. Har bir oila matematika sohasiga qarab tasniflanadi.
Ko'pgina asarlar formalizatsiya qilindi, lekin barchasi ham emas. OpenAI bu asarlarni jamoaviy resurslarda ham joylashtirishni ko'rib chiqmoqda.
Asosiy natijalar o'zining ichki modelidan foydalanib olingan. Har bir natija uchun o'rtacha uch soat ChatGPT Pro hisoblash quvvati sarflangan. Tadqiqot jarayonida taxminan 4000 muammo ko'tarilgan. Natijalar oilalar va asarlar shaklida to'plangan va ma'lum bir ahamiyat darajasiga erishgan.
Bundan tashqari, Riemann zeta funksiyasining sifati bo'yicha ishlar va CM abelian varietalar uchun Hodge Conjecture isbotlari ushbu umumiy usuldan chetda qolgan. Shuningdek, Riemann zeta funksiyasining Re(s) > 11/12 sifati bo'yicha ishlar odamlar tomonidan o'qish uchun osonlashtirilgan.
OpenAI bu katalogning ommaviy chiqarilish tarixini saqlab qoladi. Tahrirlashlar va yangilanishlar yangi versiyalar sifatida yoziladi, avvalgi versiyalar esa mavjud bo'lib qoladi. Har bir asarni BibTeX blokidan havola qilish mumkin.
Asl manba: github.com
OpenAI yangi bir qator matematik muammolarning halini e'lon qildi. Bu muammolar 722 ta maqolada, 372 ta natijalar oilalarida taqdim etildi. Bu yutuqlar matematika jamiyatida turli munosabatlarni uyg'otdi.
OpenAI GitHub omborida 722 ta yangi matematika qo‘lyozmasi ochildi – sun'iy intellekt tadqiqotlari, algoritmik yondashuvlar va amaliy ilovalar haqida batafsil ma’lumot.
Musubi kompaniyasi PolicyLM-1.7B nomli yengil qaror modelini taqdim etdi, u kontentni real vaqtda 50 millisekunddan kam vaqtda tahlil qiladi.
Mirror Particle, odamlarning xatti-harakatlarini bashorat qilish uchun yangi usul ishlab chiqmoqda. Ushbu startap, katta til modellaridan farqli o'laroq, odamlarning xulq-atvorini simulyatsiya qilish uchun dunyo modelini qurmoqda.