OpenAI 2026-yil 6-oktabrda «Sharing AI progress in mathematics» sarlavhali rasmiy xabarida ichki frontier modeli tomonidan yaratilgan keng koʻlamli matematik natijalarni ochiq eʻlon qildi. Kompaniya eʻloniga koʻra, natijalar github.com/openai/math manzildagi GitHub repozitoriyasida Apache-2.0 litsenziyasi ostida nashr qilindi. Xabar ham, repozitoriy ham bir kunda — 2026-yil 6-oktabrda — ommaga ochildi. «Sharing AI progress in mathematics» — OpenAI blogidagi xabarning nomi; nashr shu nom ostida eʻlon qilindi.
Nashr tarkibi va miqyosi
Repozitoriy 372 ta natija oilasiga guruhlangan 722 ta matematik qoʻlyozmani oʻz ichiga oladi. 722 ta qoʻlyozma 372 ta oilaga birlashtirilgan; nashr aynan shu tuzilmada taqdim etildi. Repozitoriy ommaviy, unga qoʻyilgan litsenziya — Apache-2.0. Nashr qilingan barcha materiallar shu litsenziya ostida ochiq muomalada. Nashr 2026-yil 6-oktabrda eʻlon qilindi va shu sanada repozitoriy ommaga ochildi. Qoʻlyozmalar soni — 722 ta, oilalar soni — 372 ta: bu ikki raqam nashrning asosiy miqdoriy koʻrsatkichlari. Apache-2.0 — nashrga qoʻyilgan litsenziya nomi; repozitoriy manzili — github.com/openai/math. Qoʻlyozmalar matematik natijalarni oʻz ichiga oladi; ular ichki frontier modelining baholash jarayonidagi faoliyati mahsuli. 4 000 — taxminiy son: manbada «roughly 4,000» deyilgan.
Model va baholash jarayoni
Qoʻlyozmalarning barchasi OpenAIʻning hozircha eʻlon qilinmagan ichki frontier modeli yordamida yaratilgan. Baholash jarayonida model taxminan 4 000 ta ochiq matematik muammo boʻyicha sinovdan oʻtkazilgan. GitHub repozitoriyasidagi maʻlumotlarga koʻra, oʻrtacha har bir natija ChatGPT Proʻning taxminan 3 soatlik fikrlash hisob-kitobiga toʻgʻri keladi. Modelning oʻzi nashr qilinmagan — ochiq muomalaga faqat uning yaratgan natijalari chiqarildi. Baholashda qatnashgan muammolar soni va har bir natijaga sarflangan oʻrtacha hisob-kitob nashrning miqyosini tavsiflaydi. Taxminan 4 000 ta ochiq muammo — baholash koʻlamining koʻrsatkichi. Har bir natijaga oʻrtacha 3 soatlik ChatGPT Pro fikrlash hisobi sarflangani esa alohida natijaning hisoblash narxini belgilaydi. Ichki frontier model «eʻlon qilinmagan» deb tavsiflangan: kompaniya model haqida alohida eʻlon bermagan, faqat uning yaratgan natijalarini nashr qilgan.
Lean tilidagi rasmiylashtirish
372 ta natija oilasining 235 tasida Lean tilida rasmiylashtirilgan isbotlar mavjud. Qolgan 137 ta oilada hozircha bunday rasmiylashtirish yoʻq. Rasmiylashtirilgan va rasmiylashtirilmagan oilalar nisbati nashrning hozirgi holatini koʻrsatadi: isbotlarning bir qismi rasmiylashtirilgan, bir qismi esa hali rasmiylashtirilmagan. 235 ta oila — 372 oilaning yarmidan koʻpi. Qolgan oilalarda rasmiylashtirish hozircha yoʻq: OpenAI bu holatni ochiq qayd etdi.
Ogohlantirishlar va chegaralar
OpenAI rasmiylashtirilmagan natijalarda kamchiliklar boʻlishi mumkinligini ochiq tan oldi va ular bilan ishlashda ehtiyotkorlik zarurligini qayd etdi. Kompaniya, shuningdek, nashr etilgan natijalarning hech biri hozircha ilmiy jurnallardagi hakamlik koʻrigidan oʻtmaganini maʻlum qildi. Modelning oʻzi nashr qilinmagani alohida qayd etildi: kompaniya natijalarni ochiq chiqardi, lekin ularni yaratgan ichki frontier modelini eʻlon qilmadi. Hakamlik koʻrigidan oʻtmaganlik haqidagi qayd natijalarning ilmiy tasdiqlash bosqichidan hali oʻtmaganini anglatadi. Ogohlantirishlarning barchasi nashrning oʻzida — kompaniyaning rasmiy xabarida bayon etilgan.
235 of the 372 result families include Lean formalizations; OpenAI cautions that unformalized results may contain issues and notes that none of the results are peer reviewed yet and the model itself is not released.
— OpenAI, github.com/openai/math
Maslahat guruhi va ochiq xat konteksti
Bu nashr OpenAI Matematika va sunʻiy intellekt boʻyicha mustaqil Maslahat guruhi (Advisory Group on Mathematics and AI) tuzganidan keyin eʻlon qilindi. Guruh Institute for Advanced Study (IAS) huzurida faoliyat yuritadi. Guruh mustaqil deb tavsiflangan. 2026-yil 21-sentabr — TechCrunch xabari sanasi; 2026-yil 6-oktabr — OpenAI nashri sanasi. TechCrunchʻning 2026-yil 21-sentabrdagi xabariga koʻra, guruh tuzilgani haqidagi eʻlon 25 nafar Fields medali sohibi sunʻiy intellekt kompaniyalarining mashhur ochiq muammolarni yechish boʻyicha poygasi yuzasidan ochiq xat imzolaganidan keyin berilgan. Xat 2026-yil 21-sentabrdagi TechCrunch xabarida tilga olingan; oʻsha xabarda Maslahat guruhi tuzilgani ham eʻlon qilingan.
Voqealar ketma-ketligi
2026-yil 21-sentabrda Maslahat guruhi tuzilgani eʻlon qilindi. Oradan 15 kun oʻtib — 2026-yil 6-oktabrda — 722 ta qoʻlyozmadan iborat nashr chiqdi. Ikkala voqea ham 2026-yil kuzida, bir-biridan ikki haftalik masofada roʻy berdi. 15 kunlik oraliq ikki voqeani bir kontekstga bogʻlaydi: avval Maslahat guruhi tuzilgani eʻlon qilindi, keyin nashr chiqdi.
