Özünütəlimli Klinik Həkim və 16 Saatlıq Süni İntellekt Sessiyası Tətbiqi Riyaziyyatın Açıq Məsələlərindən Birini Həll Etdi
Qısaca
Pekin neyrocərrahından istifadə olunub GPT-520 illik riyazi fərziyyəni sübut etmək üçün .6, tədqiqatı kimin yarada və təsdiqləyə biləcəyində bir dəyişikliyə işarə edir.
Pekindəki Pekin Birlik Tibb Kolleci Xəstəxanasında postdoktorantura tədqiqatçısı və neyrocərrahiyyə rezidenti olan Şanmu Jin, matris analizində iyirmi ildən çoxdur açıq qalan bir problem olan Kruzeykin fərziyyəsini sübut etdi. Həlledici arqument riyaziyyat şöbəsindən çıxmadı: o, 16 saatlıq avtonom tədqiqat zamanı ortaya çıxdı. GPT-5İçəridə .6 Sol ChatGPT Jinin özü tərəfindən hazırlanmış diqqətlə hazırlanmış bir əmrlə idarə olunan iş rejimi.
Jin problemə qeyri-xətti yolla çatdı. Onun bakalavr təhsili geologiya sahəsində idi; daha sonra tibb dərəcəsi aldı və riyazi biliklərini əvvəlcə transkranial ultrasəs tədqiqatları ilə motivasiya edilən öz-özünə təhsil yolu ilə qurdu. 2004-cü ildə formalaşdırılmış Crouzeix-in fərziyyəsi, matrisin spektral norması ilə polinomun ədədi diapazonundakı maksimumu arasındakı əlaqəni - matrisin davranışını yalnız öz dəyərlərindən daha çox əks etdirən kompleks müstəvinin kompakt qabarıq bölgəsini - əhatə edir. Onun həlli matris funksiyalarının təhlilində, GMRES kimi təkrarlanan həlledicilərdə və rasional Krılov metodlarında birbaşa tətbiqlərə malikdir.
Modeli interaktiv şəkildə işə salmaq əvəzinə, Jin, birindən uyğunlaşdırılmış bir işə salma arxitekturasından istifadə edərək genişləndirilmiş muxtar bir sessiya işlətdi. OpenAI əvvəlki riyazi nəticə olan Cycle Double Cover fərziyyəsi üçün inkişaf etdirmişdi. Quraşdırma modelin internetə çıxışını qadağan etdi. O, müxtəlif sübut strategiyalarını müstəqil şəkildə inkişaf etdirmək və stress testi aparmaq vəzifəsi daşıyan rəqib altagentləri yerləşdirdi, vaxtından əvvəl yaxınlaşmaya qarşı açıq təlimatlar və namizəd arqumentlərini yalnız konkret əks nümunələr vasitəsilə saxtalaşdırmaq tələbi ilə. Modelə tam sübut daxili rəqabət baxışından keçənə qədər davam etmək tapşırıldı. Nəticədə 27 iyul 2026-cı ildə dərc edilmiş preprint tam sorğunu, ardıcıl qaralama əlyazmalarını, Lean rəsmiləşdirməsini və aksioma auditini əhatə edir.
Həmyaşıdların Təsdiqi və İndi Kim Riyaziyyatla Məşğul Olur Sualı
Sübut, Kornell riyaziyyatçısı Aleks Taunsend, ədədi analitik Ann Qrinbaum və fərziyyənin orijinal müəllifi Mişel Kruzeysin özü tərəfindən nəzərdən keçirildi və təsdiqləndi. Rəsmi həmyaşıd rəyi davam edir. İlkin çap materialının dərc olunmasından səkkiz gün sonra riyaziyyatçılar Emiel Lorist və Feliks Şvenninqer klassik ikiqat təbəqəli potensial nəzəriyyəsini 2-genişləndirmələr üçün pozğunluq lemması ilə birləşdirən fərqli bir metoddan istifadə edərək beş səhifəlik müstəqil bir sübut dərc etdilər. Jin paralel nəticəni öz işinə əlavə olaraq alqışladı.
Bu epizod riyazi tədqiqatlarda gözardı edilməsi çətin olan struktur dəyişikliyini göz qabağında qoyur. 2004-cü ildən bəri açıq olan bir problem istehlakçı süni intellekt alətindən istifadə edərək öz-özünə təhsil alan bir klinisyen tərəfindən həll edildikdə, yeni nəticələr əldə etmək üçün maneələr əhəmiyyətli dərəcədə azalır - bu nəticələri yoxlamaq üçün tələb olunan təcrübə isə müvafiq olaraq daha cəmləşir və daha dəyərli olur.
Süni intellekt sahəsi üçün bu iş, yaxşı strukturlaşdırılmış muxtar tapşırıqlar və kifayət qədər hesablama vaxtı verildikdə sərhəd dil modellərinin nələrə nail ola biləcəyinin konkret nümayişini təqdim edir. Riyazi icmanın bundan sonra yarana biləcək nəticələrin həcmini mənimsəmək üçün infrastruktura malik olub-olmadığı açıq sual olaraq qalır.
Məsuliyyətdən imtina
uyğun olaraq Güvən Layihəsi qaydaları, lütfən nəzərə alın ki, bu səhifədə təqdim olunan məlumat hüquqi, vergi, investisiya, maliyyə və ya hər hansı digər məsləhət forması kimi təfsir edilməməlidir və təfsir edilməməlidir. Yalnız itirə biləcəyiniz şeyə investisiya qoymaq və hər hansı bir şübhəniz varsa, müstəqil maliyyə məsləhətləri axtarmaq vacibdir. Əlavə məlumat üçün biz emitent və ya reklamçı tərəfindən təmin edilən şərtlər və şərtlərə, həmçinin yardım və dəstək səhifələrinə müraciət etməyi təklif edirik. MetaversePost dəqiq, qərəzsiz hesabat verməyə sadiqdir, lakin bazar şərtləri xəbərdarlıq edilmədən dəyişdirilə bilər.
Müəllif haqqında
Alisa, xüsusi jurnalist MPost, kriptovalyuta, süni intellekt, investisiyalar və geniş sahələrdə ixtisaslaşıb Web3. Yaranan tendensiyaları və texnologiyaları diqqətlə izləyərək, o, oxucuları məlumatlandırmaq və rəqəmsal maliyyənin daim inkişaf edən mənzərəsinə cəlb etmək üçün hərtərəfli əhatə dairəsi təqdim edir.
Ətraflı məqalələr
Alisa, xüsusi jurnalist MPost, kriptovalyuta, süni intellekt, investisiyalar və geniş sahələrdə ixtisaslaşıb Web3. Yaranan tendensiyaları və texnologiyaları diqqətlə izləyərək, o, oxucuları məlumatlandırmaq və rəqəmsal maliyyənin daim inkişaf edən mənzərəsinə cəlb etmək üçün hərtərəfli əhatə dairəsi təqdim edir.
