Amikor az Egyetemista Múlt felül az Expert-eken

Van egy döbbenetes sztori a matematikából.

Évtizedek óta gondolták a szakértők, hogy egy híres sejtés – ami a matematikai függvények megfordíthatóságáról szól – valószínűleg igaz. Csak éppen senki sem tudta bebizonyítani.

Aztán valaki AI-t használt, hogy keressen egy ellenpéldát. És talált egyet. Olyat, ami szó szerint elfér egy tweetben.

Nekem ez a történet egyszerűen fasczináló.

Mi a jacobi-sejtés?

Próbáljuk meg érthetően.

Képzeld el, hogy van egy függvényed. Ez olyan, mint egy gép: bedobod a számokat, és más számok jönnek ki. A jacobi-sejtés arról szól, hogy vissza lehet-e mindig fordítani ezt a gépet. Létezik-e olyan függvény, ami visszacsinálja, amit az első csinált.

Képzeld el úgy, mint egy térképet. Ha a függvényed elmozdítja a pontokat a térben, a sejtés azt állítja: amíg a függvény nem "gyűri össze" a teret valahogy, mindig kell lennie egy megfordító függvénynek.

Logikusnak hangzik, ugye?

A probléma csak az, hogy ezt senki sem tudta mindig bizonyítani. Eddig.

A fordulat: Egyszerűbb, mint bárki gondolta

A legdurvább az egészben: az ellenpélda, amit találtak, apró. Nyugodtan mondhatjuk, hogy kínos, milyen kicsi. Elfér egyetlen közösségi média posztban.

A lényeg ugyanis az, hogy ilyen ellenpéldát találni nagyon nehéz. Olyan függvényt kell konstruálni, ami egyszerre nem gyűri össze a teret ÉS mégsem fordítható vissza. Ez ellentmondásnak tűnik, de valahogy mégis lehetséges bizonyos dimenziókban.

És itt jön a poén: a szakértők úgy gondolták, hogy vagy nem is létezik ilyen példa, vagy borzasztóan bonyolult lesz. Ehelyett a Claude egy olyan rövid, elegáns képletet talált, hogy évekkel ezelőtt egy Math Stack Exchange felhasználó már megjósolta: "egy okos egyetemista simán leírhatna egy képletet", ami megdönti az egészet.

Nos, az a felhasználó igazat mondott. A képlet olyan rövid, hogy más matematikusok szinte azonnal ellenőrizték, ahogy Alpöge megosztotta.

Miért érdekeljen ez téged?

Tudom, mit gondolsz: "Jó, valami matek dolog, ami valószínűleg nem érint semmit az életemben. Miért kéne törődnöm vele?"

Jogos. De a történet valójában nem a matematikáról szól.

Azt mutatja, hogy az AI egyre inkább partnerké válik az emberi felfedezésben. Nem csak egy eszköz, ami szűk feladatokat hajt végre. Hanem valami, ami tényleg segít új módon gondolkodni. Az, hogy egy pár hete megjelent AI-modell segíthetett megoldani egy csaknem 90 éves problémát? Hát, ez figyelemre méltó.

És ez egyre gyakoribb minta: az AI valódi hozzájárulásokat tesz olyan területeken, amikről azt gondoltuk, hogy immunisak az automatizációra. Matematikusok, fizikusok, programozók – ezeket a szakmákat senki sem gondolta úgy, hogy az AI "felforgatja" majd őket. De itt tartunk.

A jacobi-sejtés eredeti, kétdimenziós változata egyébként még mindig nincs megoldva – 1884-ből származik. Szóval van még hova fejlődni. De három és magasabb dimenziókra? Az ügy le van zárva.

A nagy kép

A legérdekesebb az, amit ez a történet elmond nekünk a matematikai intuícióról.

Évtizedekig a szakértők úgy gondolták, a jacobi-sejtés valószínűleg igaz. Karriereket építettek erre a meggyőződésre. És most egy gyors keresés az AI-val megmutatta, hogy az intuíció tévedett – legalábbis a magasabb dimenziókban.

Van itt valami tanulság arról, hogyan tévedhetnek még a zseniális emberek is, amikor rossz irányba néznek. Néha talán csak egy friss szemléletre van szükség – vagy egy friss neurális hálózatra –, hogy észrevegyük, ami mindig is ott volt.

Bármit is gondolsz az AI-ról, abban szerintem egyetérthetünk: furcsa és izgalmas idők ezek.

Forrás: ScienceDaily