Zatiaľ čo svet sledoval iné udalosti, na pozadí matematickej komunity sa dial niečo skutočne prelomové. Matematik Levent Alpöge, pôsobiaci v spoločnosti Anthropic, publikoval nenápadný príspevok na sociálnej sieti X. Oznámil v ňom, že sa mu podarilo nájsť protipríklad k Jacobiho domnienke, slávnemu a dlhodobo nevyriešenému problému z oblasti algebraickej geometrie. K tomuto úspechu pritom využil výkonný jazykový model Claude Fable 5.

Nejde o prvý prípad, kedy umelá inteligencia pomohla s matematickým dôkazom, no tento objav vyniká svojou eleganciou a extrémnou jednoduchosťou. Celý matematický svet bol roky v napätí, či sa podarí túto teóriu potvrdiť, alebo vyvrátiť. Výsledky experimentu, na ktoré upozornil portál Science Daily ukazujú, že AI dokáže byť nielen strojom na výpočty, ale aj nástrojom na hľadanie skrytých objektov a vzorcov, ktoré ľuďom doteraz unikali.

Jacobiho domnienka sa týka funkcií, ktoré môžeme chápať ako matematické „stroje“. Do nich vložíte čísla a po aplikovaní pravidiel získate iné čísla. V geometrickom kontexte tieto funkcie presúvajú body v priestore. Kľúčovou veličinou je tu takzvaný Jacobiho determinant. Ak je tento determinant nenulovou konštantou, funkcia by teoreticky mala byť reverzibilná – teda mala by existovať cesta, ako vrátiť body na pôvodné miesto.

História plná neúspešných pokusov

Dvojrozmernú verziu tejto domnienky sformuloval už v roku 1884 český matematik Ludwig Kraus. Neskôr, v roku 1939, ju nemecký matematik Ott-Heinrich Keller zovšeobecnil pre ľubovoľný počet rozmerov. Táto úloha bola taká lákavá, že sa stala súčasťou prestížnych zoznamov matematických problémov pre ďalšie storočie.

Počas desaťročí sme boli svedkami mnohých pokusov o dôkaz. Známi matematici ako Beniamino Segre či Wolfgang Gröbner publikovali práce, ktoré mali domnienku definitívne uzavrieť. V každom prípade sa však časom našli jemné chyby, ktoré argumentáciu znehodnotili. Domnienka tak zostávala otvorenou výzvou, ktorú nikto nedokázal potvrdiť ani vyvrátiť.

Prekvapivo jednoduchá odpoveď

To, čo robí objav modelu Claude Fable 5 takým šokujúcim, je samotná forma protipríkladu. Alpöge objavil funkciu v trojrozmernom priestore, ktorá má konštantný Jacobiho determinant (-2), no napriek tomu nie je reverzibilná. Matematicky vzaté, funkcia zlučuje dva vstupné body do jedného výstupného, čím sa stáva nezvratnou.

Vtip je v tom, že tento vzorec je natoľko úsporný, že by sa bez problémov zmestil do jediného príspevku na sociálnej sieti. Matematikom sa tak podarilo potvrdiť, že pre každú dimenziu vyššiu ako dva je Jacobiho domnienka v pôvodnej podobe neplatná. Dvojrozmerný prípad však naďalej zostáva otvorenou otázkou.

Tento úspech nie je izolovaným javom. AI modely čoraz častejšie prepájajú koncepty z rôznych matematických disciplín, čím dosahujú výsledky, ktoré by boli pre človeka v dohľadnej dobe nedosiahnuteľné. Podobne ako pri iných technologických skokoch, aj tu vidíme, že hranica medzi „strojovým výpočtom“ a „ľudskou intuíciou“ sa začína stierať.

AI ako partner pre matematikov

Práve pri tomto objave sa ukázalo, že hlavnou prekážkou nebol nedostatok dôvtipu matematikov, ale obrovský priestor možných riešení, v ktorom museli „loviť“. AI dokázala v tomto priestore navigovať s nevídanou efektivitou. Je to jasný signál, že umelá inteligencia sa stáva plnohodnotným partnerom vo výskume.

Čo to znamená pre budúcnosť matematiky? S určitosťou možno povedať, že rola vedca sa mení. Matematik budúcnosti už nebude len niekto, kto ručne vypisuje nekonečné rovnice na tabuľu, ale architekt, ktorý správne „promptuje“ a navádza digitálne mozgy k riešeniam, ktoré by sme sami hľadali storočia.

Tento konkrétny výsledok otvára dvere pre ďalšie objavovanie neočakávaných matematických objektov. Hoci detaily o tom, ako presne Alpöge model inštruoval, zostávajú zatiaľ internou záležitosťou, je jasné, že éra „AI-matematiky“ sa práve začala. Zostáva len otázkou času, kedy sa podobné prelomy stanú rutinou, nie senzáciou.

Čítajte viac z kategórie: Vesmír a veda