Harmincéves matematikai sejtést bizonyított egy kínai AI-val dolgozó csapat
A sanghaji labor szerint a Ghys-sejtés háromdimenziós esetét oldották meg; a bizonyítást egy pekingi csapat formálisan is ellenőrizte.
▶ 30 MÁSODPERCBEN
- MI TÖRTÉNT
- A Shanghai AI Laboratory bejelentése szerint kutatók a Shusheng-S2 modell segítségével bebizonyították a több mint harmincéves Ghys-sejtés háromdimenziós esetét.
- MIÉRT FONTOS
- Az eredmény a dinamikai rendszerek kutatásában fontos, és azt is próbára teszi, hogyan segítheti az AI az összetett matematikai bizonyítást.
- MI JÖN MOST
- A csapat újrahasználható matematikai ellenőrző modult készítene a módszerből, majd más tudományterületekre is kiterjesztené.
Egy 1995 óta nyitott matematikai probléma háromdimenziós esetére adott bizonyítást egy kutatócsoport a kínai Shusheng-S2 AI-modell segítségével – jelentette be a Shanghai AI Laboratory 2026. október 15-én. Az IT之家 és a 凤凰网科技 beszámolója szerint a Ghys-sejtés megoldását a Pekingi Egyetem kutatói formálisan is ellenőrizték. A közlés ember és gép együttműködéséről szól, nem a modell önálló teljesítményéről.
A szakértői ítélet is része volt a módszernek
A bizonyítást készítő csapatot Xu Disheng, a Greater Bay Area University professzora és a sanghaji labor vendégkutatója vezette. A munkához a labor tudományos feladatokra fejlesztett, többféle adattípust kezelő, vagyis multimodális Shusheng-S2 nagy modelljét használták. A megközelítés az általános és a szakterületi képességek összekapcsolására épült.
A labor leírásában a folyamat négy eleme a rendszeres feltárás, a szakértői mérlegelés, az eredmények felhalmozása és a visszajelzések alapján végzett javítás. A kutatói intuíciót tehát nem a gépi munka végén vetették be, hanem beépítették a megoldáskeresés körfolyamatába. Az intézmény szerint ez új kutatási munkamódszert igazol, és első alkalommal oldottak meg kínai tudósok kínai nagy modell segítségével világszínvonalú matematikai problémát.
Mit állít a Ghys-sejtés?
A bizonyítást Dong Bin professzor és Liu Ruochuan akadémikus pekingi egyetemi csapata a SHEAF keretrendszerrel formálisan ellenőrizte. Ez számítógéppel ellenőrizhető, pontos logikai szabályokra épülő vizsgálatot jelent. A tanulmány az arXiv előzetes kéziratokat közlő platformján, a formális ellenőrzés kódja pedig a GitHubon nyilvános; a beszámolók folyóirati szakértői bírálatról nem adnak tájékoztatást.
Versenyfeladatoktól az újrahasználható ellenőrzésig
A 凤凰网科技 egy korábbi eredményt is felidéz: 2025-ben a kínai matematikai társaság középiskolai versenybizottsága három hazai nagy modellt tesztelt a CMO keretében. A modellek az emberi versenyzőkkel azonos időkeretet kaptak, megoldásaikat hivatalos értékelők pontozták. A Shusheng-S1 102 ponttal első lett a modellek között, meghaladva az aranyéremhez szükséges 78 pontos határt. Ez külön versenyeredmény, nem a mostani bizonyítás ellenőrzése.
A következő cél a bizonyításhoz használt képességek újrahasználható matematikai ellenőrző modullá alakítása a Shusheng·Duanyan tudományos felfedezési platformon. A labor hasonló matematikai szerkezetű más tudományterületekre is kiterjesztené a következtetési képességet. Ezek egyelőre tervek: a közlés nem ad meg megvalósítási határidőt.
TECH-SZÓTÁR
- Multimodális modell
- Olyan AI-modell, amely többféle adattípus kezelésére képes.
- Formális ellenőrzés
- Egy levezetés helyességének számítógépes vizsgálata pontosan rögzített logikai szabályok alapján.
- Preprint
- Nyilvánosan közzétett tudományos kézirat, amelynek megjelenése önmagában nem jelent folyóirati szakértői jóváhagyást.
» Követett téma: AI · régió: KÍNA · kulcsszó: matematikai következtetés