Egy orvos ChatGPT segítségével oldott meg egy 22 éves matematikai problémát

Látványos áttörést ért el egy pekingi idegsebész rezidens, Shanmu Jin, aki a ChatGPT segítségével oldotta meg a Crouzeix-sejtést, egy 2004 óta megoldatlan matematikai problémát. A tudományos közösséget meglepő eset során Jin egy 16 órás, teljesen autonóm munkamenet alatt vette igénybe a GPT-5.6 Sol modell képességeit, amely egy különleges, egymást ellenőrző alágensekből álló rendszert használt a komplex mátrixprobléma bizonyítására. Bár a munka hivatalos szakmai lektorálása még folyamatban van, a matematikus szakma élvonala, köztük Alex Townsend és Anne Greenbaum is elismeréssel szóltak az eredményről, ami alapjaiban kérdőjelezi meg a tudományos kutatás eddigi határait.

A siker hátterében egy szokatlan szakmai karrier áll: Shanmu Jin eredetileg idegsebészként dolgozik, és autodidakta módon mélyedt el a felsőfokú matematikában, hogy tudását agyi ultrahangos kutatásokban kamatoztathassa. A megoldáshoz vezető út azonban rendhagyó volt, mivel az AI-munkamenet során az algoritmus internet-hozzáférés nélkül, saját belső logikai struktúráira támaszkodva dolgozott. A módszertan alapja az az innovatív megközelítés, amely során több AI-alágens egymástól függetlenül vizsgálta és értékelte a bizonyítás egyes lépéseit, így szűrve ki a hibákat. Ez a folyamat a meglévő matematikai promptok szisztematikus fejlesztéséből építkezett, bizonyítva, hogy a megfelelő eszköztárral és elméleti háttérrel a technológia képes áttörni az emberi korlátokat.

Ez a mérföldkő nemcsak Jin számára jelentős, hanem ráirányítja a figyelmet a matematika területén zajló, úgynevezett AI-nyárra is. Az eset rávilágít arra, hogy a tudományos áttörések immár nem kizárólag a hivatásos akadémikusok kiváltságai, ami komoly szakmai vitákat gerjeszt a matematikusok körében. Sokan fájdalmasnak érezhetik, hogy egy évtizedek óta megoldatlan rejtélyt egy külsős, technológiai segítséget használó szakember oldott meg, ám a változás elkerülhetetlen. A szerepkörök átalakulása elindult: mivel a bizonyítások generálása lassan bárki számára elérhetővé válik, aki rendelkezik a megfelelő AI-előfizetéssel, a hangsúly a nyers számítási teljesítményről a hitelesítésre és a kritikus gondolkodásra helyeződik át.

A jövőben a matematikusok legfontosabb feladata nem feltétlenül az új bizonyítások megírása, hanem az AI által generált megoldások szigorú, szakértői ellenőrzése és interpretálása lesz. A hitelesítés képessége így a legkeresettebb készséggé válik a tudományos világban. Shanmu Jin sikere tehát nem a matematikusok végét jelzi, hanem a tudományos munka demokratizálódásának és gyorsulásának kezdetét, ahol az emberi szakértelem és az LLM modellek hatékony együttműködése nyithatja meg a kaput a korábban elérhetetlennek hitt problémák megoldása előtt.