O'z-o'zini o'rgatgan klinisyen va 16 soatlik AI sessiyasi amaliy matematikaning ochiq masalalaridan birini yechdi
Qisqacha
Pekin neyroxirurgidan foydalanilgan GPT-520 yillik matematik taxminni isbotlash uchun .6, bu kim tadqiqot olib borishi va tasdiqlashi mumkinligidagi o'zgarishni ko'rsatadi.
Pekindagi Pekin Union Tibbiyot Kolleji Kasalxonasida postdoktoral tadqiqotchi va neyroxirurgiya rezidenti Shanmu Jin Kruzeyksning taxminini isbotladi — bu matritsa tahlilida yigirma yildan ortiq vaqt davomida ochiq qolib kelgan muammo. Hal qiluvchi argument matematika bo'limidan kelib chiqmadi: u 16 soatlik avtonom ish jarayonida paydo bo'ldi. GPT-5Ichkarida .6 Sol ChatGPT Jinning o'zi tomonidan puxta ishlab chiqilgan ko'rsatma asosida boshqariladigan ish rejimi.
Jin muammoga chiziqli bo'lmagan yo'l orqali erishdi. Uning bakalavr darajasi geologiya bo'yicha edi; keyinchalik u tibbiyot darajasini oldi va matematik bilimlarini dastlab transkranial ultratovush tadqiqotlari asosida mustaqil o'qish orqali rivojlantirdi. 2004-yilda shakllantirilgan Kruzeixning taxmini matritsaning spektral normasi va polinomning uning sonli diapazonidagi maksimal qiymati o'rtasidagi bog'liqlikka taalluqlidir - bu murakkab tekislikning ixcham qavariq mintaqasi bo'lib, u matritsaning o'ziga xos qiymatlaridan ko'ra ko'proq xatti-harakatlarini aks ettiradi. Uning yechimi matritsa funktsiyalarini tahlil qilishda, GMRES kabi iterativ yechuvchilarda va ratsional Krilov usullarida bevosita qo'llaniladi.
Modelni interaktiv ravishda so'rash o'rniga, Jin bitta so'rov arxitekturasidan foydalanib kengaytirilgan avtonom sessiyani ishga tushirdi OpenAI oldingi matematik natija, Cycle Double Cover gipotezasi uchun ishlab chiqilgan edi. O'rnatish modelga internetga kirishni taqiqladi. U turli xil isbotlash strategiyalarini mustaqil ravishda ishlab chiqish va stress-testdan o'tkazish vazifasi yuklatilgan raqobatdosh subagentlarni joylashtirdi, bunda muddatidan oldin yaqinlashishga qarshi aniq ko'rsatmalar va nomzod argumentlarini faqat aniq qarshi misollar orqali soxtalashtirish talabi qo'yildi. Modelga to'liq isbot ichki qarama-qarshilik ko'rib chiqilishidan omon qolguncha davom etish buyurildi. Olingan preprint, 2026-yil 27-iyulda chop etilgan bo'lib, to'liq ko'rsatma, ketma-ket qoralama qo'lyozmalar, Lean rasmiylashtirish va aksioma auditini o'z ichiga oladi.
Tengdoshlarning tasdiqlanishi va hozirda kim matematika bilan shug'ullanadi degan savol
Isbot Kornell matematiki Aleks Townsend, raqamli tahlilchi Anne Greenbaum va taxminning asl muallifi Mishel Crouzeixning o'zi tomonidan ko'rib chiqildi va tasdiqlandi. Rasmiy ekspertlar tomonidan ko'rib chiqish davom etmoqda. Dastlabki bosma nashr paydo bo'lganidan sakkiz kun o'tgach, matematiklar Emiel Lorist va Feliks Shvenninger klassik ikki qavatli potensial nazariyasini 2-kengaytma uchun perturbatsiya lemmasi bilan birlashtirgan boshqa usuldan foydalangan holda besh sahifali mustaqil isbotni joylashtirdilar. Jin parallel natijani o'z ishiga qo'shimcha sifatida qabul qildi.
Ushbu epizod matematik tadqiqotlarda e'tiborsiz qoldirish qiyin bo'lgan tarkibiy o'zgarishni ko'rsatadi. 2004-yildan beri ochiq bo'lgan muammo iste'molchi sun'iy intellekt vositasidan foydalangan holda mustaqil ravishda o'qitilgan klinisyen tomonidan hal qilinganda, yangi natijalarni ishlab chiqarishdagi to'siqlar sezilarli darajada kamayadi - shu bilan birga, ushbu natijalarni tekshirish uchun zarur bo'lgan tajriba mos ravishda ko'proq konsentratsiyalangan va qimmatliroq bo'ladi.
Sun'iy intellekt sohasi uchun bu holat yaxshi tuzilgan avtonom vazifalar va yetarli hisoblash vaqti berilganda chegara tillari modellari nimalarga erishishi mumkinligini aniq namoyish etadi. Matematik hamjamiyatda natijalar hajmini o'zlashtirish uchun infratuzilma mavjudmi yoki yo'qmi, ochiq savol bo'lib qolmoqda.
Masʼuliyatdan voz kechish
Bunga javoban Ishonch loyihasi bo'yicha ko'rsatmalar, iltimos, ushbu sahifada taqdim etilgan ma'lumotlar yuridik, soliq, investitsiya, moliyaviy yoki boshqa har qanday maslahat shakli sifatida talqin qilinmasligi va talqin qilinmasligini unutmang. Faqat yo'qotishingiz mumkin bo'lgan narsaga investitsiya qilish va agar shubhangiz bo'lsa, mustaqil moliyaviy maslahat olish muhimdir. Qo'shimcha ma'lumot olish uchun biz shartlar va emitent yoki reklama beruvchi tomonidan taqdim etilgan yordam va qo'llab-quvvatlash sahifalariga murojaat qilishni tavsiya qilamiz. MetaversePost to'g'ri, xolis hisobot berish majburiyatini oladi, lekin bozor sharoitlari ogohlantirilmasdan o'zgarishi mumkin.
Muallif haqida
Alisa, ixtisoslashgan jurnalist MPost, kripto, AI, investitsiyalar va keng ko'lamli sohalarga ixtisoslashgan Web3. Rivojlanayotgan tendentsiyalar va texnologiyalarni diqqat bilan kuzatib, u o'quvchilarni raqamli moliyaning doimiy rivojlanayotgan manzarasi haqida xabardor qilish va jalb qilish uchun keng qamrovli yoritishni taqdim etadi.
Boshqa maqolalar
Alisa, ixtisoslashgan jurnalist MPost, kripto, AI, investitsiyalar va keng ko'lamli sohalarga ixtisoslashgan Web3. Rivojlanayotgan tendentsiyalar va texnologiyalarni diqqat bilan kuzatib, u o'quvchilarni raqamli moliyaning doimiy rivojlanayotgan manzarasi haqida xabardor qilish va jalb qilish uchun keng qamrovli yoritishni taqdim etadi.
