AI za víkend vyvrátila matematickou domněnku, kterou lidé nezdolali od roku 1939

Tohle stojí za zastavení, i když se vám do matematiky nechce. Matematik Levent Alpöge oznámil krátkou zprávou na síti X, že takzvaná Jacobiho domněnka je chybná. Formuloval ji německý matematik v roce 1939 a přes osmdesát let jí nikdo nepřišel na kloub. Skončila dokonce na seznamu klíčových matematických výzev pro 21. století.

Alpöge u toho měl parťáka, AI model, se kterým na řešení pracoval přes víkend. Poslední kroky prý dolaďoval během finále fotbalového mistrovství světa. Výsledek se vešel na jeden řádek, vzorec o pár stovkách znaků, který si po něm mohl každý ověřit tužkou na papíře. Žádná tisková konference, jen tweet, který za pár hodin obletěl obor.

Zajímavé je, že nejde o ojedinělý úlet. V květnu jiný model vyvrátil osmdesát let starou Erdősovu domněnku a tým z Google DeepMind pak s vlastním modelem zavřel dalších devět otevřených problémů téhož matematika. Během pár měsíců padlo víc věcí, které odolávaly desítky let.

Mezi matematiky panuje směs nadšení a neklidu. Jeden z nich mluví o velmi rychlé a znepokojivé změně hlavně pro mladé vědce. Jiný to bere s humorem a říká, že z matematiků se pomalu stávají pastýři, kteří jen koukají, jak AI zavírá problém za problémem.

Ještě loni uměly tyhle nástroje hlavně přepisovat a shrnovat cizí text. Teď posouvají obor, kde se sto let nikdo nehnul. Kdo dnes odhaduje, co zvládne znalostní práce za rok, klidně může střílet vedle.