OpenAI oktyabr boshlarida bir necha yuzta matematik natijalar toʻplamini taqdim etdi va bu materialning «inson bilimining chegaralarini kengaytirishiga» yordam berishi mumkinligini taʼkidladi. Ushbu 722 maqola, asosan hali oshkor qilinmagan sunʼiy intellekt (SI) modeli tomonidan yaratilgan boʻlib, algebra, geometriya va nazariy kompyuter fanlari kabi sohalarni qamrab oluvchi 372 mavjud masalani yoritadi.
Baʼzi ushbu maqolalar keyinchalik olib tashlangan yoki oʻzgartirilgan boʻlsa-da, ularni eʼlon qilish hajmi va usuli — bu «ishlab chiqarish», «dump», «kattaroq bombardimon qilish» yoki «matematikalips» deb tasvirlangan — matematika dunyosida katta shovqinni keltirib chiqardi.
Koʻrib chiqilgan mavzular orasida Riemann gipotezasi va Birch-Swinnerton-Dyer taxminiga kabi eski va juda muhim muammolardagi sezilarli yutuqlarga ishora bor, ular ikkalasi ham Million dolli yoʻl qoʻygan va Millenium mukofotining Yetti muammosining bir qismidir.
OpenAI ushbu katta natijalar toʻplamini chiqarishini «matematikada yanada taraqqiyotni ragʻbatlantirish» maqsadida asoslaydi. Biroq, bu eʼlon qilingan usul ushbu maqsadning samaradorligi haqida savollarni keltirib chiqarmoqda. Bitta katta hamkasb maqolada topilgan maqola shunchalik chalkash ekanligini bildirdiki, u ixtisoslashgan jurnal muharriri tomonidan rad etilishi mumkin edi.
OpenAI ning oʻzi, yaʼni ChatGPT (ayniqsa GPT-5.6 Sol) konsultatsiya qilinganda shubha bildirgan boʻlib, eng diqqatga sazovor natijalardan kamida birini «jiddiy halusinatsiya... [uni] mutaxassislar tomonidan toʻliq auditdan oʻtkazilmasdan iqtibos keltirish, topshirish yoki eʼlon qilish kerak emas» deb baholadi. Bu baʼzi kashfiyotlarning innovatsion salohiyati mavjud boʻlishiga qaramay, kamida baʼzi maqolalarning tahrirlanishi mutaxassislarga ham tushunarli emasligini koʻrsatadi.
OpenAI ning sentyabrdagi oldingi bahsli nashridan diqqatni chalgʻitishga urinayotgani mumkin. U shu yerda Million dollarlik mukofotga ega boʻlgan Navier-Stokes muammosining bir holati uchun yechimni taqdim etgan edi. Matematiklar Tristan Buckmaster va Levent Alpöge OpenAI ni oʻz maʼlumotlari va gʻoyalaridan foydalanish bilan aybladilar, chunki ular yechimga erishish uchun hisoblash quvvatiga taxminan 15 million dollar sarflagan, garchi OpenAI bunday daʼvolarni inkor qilgan boʻlsa ham.
OpenAI uchun yana bir potentsial sabab — Umumiy Sunʼiy Intellekt (AGI) ga boʻlgan ortib borayotgan qiziqishdir. Bu gipotetik SI turi insonlardan deyarli barcha kognitiv funksiyalarda ustun kelishi mumkin. Toza va abstrakt matematika oʻz bayonotlarini tasdiqlash uchun juda murakkab argumentlarga tayanadi, shuning uchun OpenAI modellarining tadqiqot darajasidagi hisob-kitoblarni bajarish qobiliyati bu modellar AGI ning «Muqaddas Gʻorli» ga yaqinlashayotganligi haqidagi eʼtiqodni mustahkamlashi mumkin.
Bu tushuncha kompaniya rejalashtirilgan IPO dan oldin OpenAI ga foyda keltirishi mumkin, Anthropic bilan raqobatlashadi. Hisobotlar kompaniya bozorda 1,4 trillion dollargacha baholanishni maqsad qilganini koʻrsatadi, bu AQSh yalpi ichki mahsulotining taxminan 4% ga teng.
Matematikadan farqli oʻlaroq, bu yerda haqiqat ixtisoslashgan konsensus orqali qatʼiy koʻrib chiqilgandan soʻng aniqlanadi, matematik bayonotlar obʼektiv haqiqatga asoslangan boʻlib, aniq rost yoki yolgʻon boʻladi. Anʼanaviy ravishda, yangi ishlar uzoq muddatli tengdosh tekshiruvi jarayonidan oʻtadi.
OpenAI allaqachon oddiy xatolarga sabab boʻlgan uchta maqolani olib tashladi va natijalarni bekor qilgan noaniqliklarni tuzatdi, bu chop etishdan oldingi koʻrib chiqishdagi kamchiliklarni koʻrsatadi. Shu bilan birga, axionlardan matematikani quradigan Lean kabi dasturlar yordamida natijalarni «formalizatsiya qilish» harakati mavjud boʻlib, bu har bir qadamning mantiqiy tekshiruviga imkon beradi.
SI tizimlari «avtoformalizatsiyaga» qoʻllanilmoqda, natijalarni mashinalar tomonidan audit qilinadigan isbotlarga tarjima qiladi. Ishonchni oshirish uchun OpenAI 300 ta muhim natijani formalizatsiya qilganini taʼkidlaydi. Biroq, SI tomonidan yaratilgan formalizatsiyalardagi xato holatlari mavjud, masalan, Navier-Stokes holatida, bu esa matematika hamjamiyati bu formalizatsiyalarni qabul qilishiga shubha uygʻotadi.
OpenAI ning eʼloniga reaksiyalar polarizatsiyalangan boʻlib, «matematika tarixidagi eng muhim lahza» haqidagi fikrlardan tortib, materialni «bizning eshigimizga tashlangan ulkan najas toʻpi» deb taqqoslash kabi jiddiy tanqidlargacha farq qiladi. Muhim muammolardagi taraqqiyotga qiziqish mavjud boʻlsa-da, bu hajm va tezlikdagi kashfiyotlarning kelajakdagi tadqiqotlar uchun nimani anglatishi va SI tomonidan yaratilgan argumentlarni talqin qilish yukini kim zimmasiga olishi haqidagi xavotir bilan birga mavjud.
Ushbu maqolalar, SI yordamida amalga oshirilgan boshqa taraqqiyotlar bilan birga, matematika hamjamiyatini oʻz qadriyatlarini qayta baholashga majburlaydi, bu talabalar va boshlovchi tadqiqotchilar uchun muhim nuqta boʻlib, ular oʻz tadqiqotlari SI ning ambitsiyali foydalanuvchilari tomonidan oldindan bajarilishi mumkinligi bilan yuzlashadilar.
