Egy autodidakta klinikus és egy 16 órás mesterséges intelligencia foglalkozás megoldotta az alkalmazott matematika egyik nyitott problémáját
Röviden
Egy pekingi idegsebész használta GPT-56 egy 20 éves matematikai sejtés bizonyítására, ami változást jelez abban, hogy kik végezhetnek – és ellenőrizhetnek – kutatásokat.
Shanmu Jin, a pekingi Peking Union Medical College Hospital posztdoktori kutatója és idegsebész rezidens, bebizonyította Crouzeix sejtését – egy mátrixanalízisbeli problémát, amely több mint két évtizede megoldatlan maradt. A döntő érv nem egy matematikai tanszékről származik: egy 16 órás autonóm futás során került felszínre. GPT-5.6 Sol belül ChatGPT Munkamód, melyet egy gondosan megtervezett, Jin által tervezett prompt vezérel.
Jin egy nemlineáris úton jutott el a problémához. Geológiai alapképzésben részesült; később orvosi diplomát szerzett, és matematikai tudását önálló tanulmányok révén fejlesztette, kezdetben a transzkraniális ultrahanggal kapcsolatos kutatások motiválták. Crouzeix sejtése, amelyet 2004-ben fogalmaztak meg, egy mátrix spektrális normája és egy polinom maximuma közötti kapcsolattal foglalkozik a numerikus tartományán – a komplex sík egy kompakt konvex tartományán, amely a mátrix viselkedéséből többet ragad meg, mint pusztán a sajátértékeit. Feloldása közvetlenül alkalmazható a mátrixfüggvények elemzésében, iteratív megoldókban, mint például a GMRES, és racionális Krylov-módszerekben.
A modell interaktív utasításai helyett Jin egy kibővített autonóm munkamenetet futtatott le, egy, az egyikből adaptált promptarchitektúrát használva. OpenAI egy korábbi matematikai eredményhez, a Cycle Double Cover sejtéshez fejlesztették ki. A beállítás megtagadta a modell internet-hozzáférését. Versengő alágenseket alkalmazott, amelyek feladata a különböző bizonyítási stratégiák egymástól független kidolgozása és terheléstesztelésének elvégzése volt, explicit utasításokkal a korai konvergencia ellen, és azzal a követelménnyel, hogy a jelölt érveket csak konkrét ellenpéldákkal lehessen cáfolni. A modellt arra utasították, hogy addig folytassa, amíg egy teljes bizonyítás túléli a belső, kontradiktórius felülvizsgálatot. Az így létrejött előzetes nyomtatás, amelyet 2026. július 27-én tettek közzé, tartalmazza a teljes promptot, az egymást követő kéziratok tervezetét, egy Lean formalizálást és egy axióma-auditot.
Kortársak megerősítése és a kérdés, hogy ki tanul most matematikát
A bizonyítást Alex Townsend, a Cornell matematikusa, Anne Greenbaum numerikus elemző és maga Michel Crouzeix – a sejtés eredeti szerzője – átnézte és megerősítette. A hivatalos szakmai lektorálás folyamatban van. Nyolc nappal az első előzetes megjelenése után Emiel Lorist és Felix Schwenninger matematikusok közzétettek egy független, ötoldalas bizonyítást, amely egy másik módszert alkalmazott, a klasszikus kétrétegű potenciálelméletet a 2-dilatációk perturbációs lemmájával kombinálva. Jin üdvözölte a párhuzamos eredményt, mint saját munkájának kiegészítését.
Az epizód láthatóvá tesz egy olyan strukturális változást a matematikai kutatásban, amelyet nehéz figyelmen kívül hagyni. Amikor egy 2004 óta fennálló problémát egy autodidakta klinikus megold egy mesterséges intelligencia eszköz segítségével, az új eredmények előállításának akadályai jelentősen csökkennek – miközben az eredmények ellenőrzéséhez szükséges szakértelem ennek megfelelően koncentráltabbá és értékesebbé válik.
A mesterséges intelligencia területén az eset kézzelfoghatóan szemlélteti, hogy mit tudnak elérni a határnyelvi modellek, ha jól strukturált autonóm feladatokat és elegendő számítási időt kapnak. Az, hogy a matematikai közösség rendelkezik-e a szükséges infrastruktúrával a várható eredmények mennyiségének befogadásához, továbbra is nyitott kérdés.
Jogi nyilatkozat
Összhangban a A Trust Project irányelvei, kérjük, vegye figyelembe, hogy az ezen az oldalon közölt információk nem minősülnek jogi, adózási, befektetési, pénzügyi vagy bármilyen más formájú tanácsnak, és nem is értelmezhetők. Fontos, hogy csak annyit fektessen be, amennyit megengedhet magának, hogy elveszítsen, és kérjen független pénzügyi tanácsot, ha kétségei vannak. További információkért javasoljuk, hogy tekintse meg a szerződési feltételeket, valamint a kibocsátó vagy hirdető által biztosított súgó- és támogatási oldalakat. MetaversePost elkötelezett a pontos, elfogulatlan jelentéstétel mellett, de a piaci feltételek előzetes értesítés nélkül változhatnak.
A szerzőről
Alisa, a The MPost, kriptovalutákra, mesterséges intelligenciára, befektetésekre és a világ kiterjedt területére specializálódott Web3. Élénk szemmel figyeli a feltörekvő trendeket és technológiákat, ezért átfogó tájékoztatást nyújt, hogy tájékoztassa és bevonja olvasóit a digitális pénzügyek folyamatosan fejlődő világába.
További cikkek
Alisa, a The MPost, kriptovalutákra, mesterséges intelligenciára, befektetésekre és a világ kiterjedt területére specializálódott Web3. Élénk szemmel figyeli a feltörekvő trendeket és technológiákat, ezért átfogó tájékoztatást nyújt, hogy tájékoztassa és bevonja olvasóit a digitális pénzügyek folyamatosan fejlődő világába.
