Když student porazí experty
Tohle je příběh, který mě fakt baví.
Desítky let matematici věřili, že jedna slavná domněnka o obracení matematických funkcí je nejspíš pravdivá. Jen ji nedokázali potvrdit. Pak někdo použil umělou inteligenci k hledání protipříkladu — a našel ho. Tak malý, že by se vešel do jednoho tweetu.
Co je vlastně Jacobiho domněnka?
Pojďme si to rozebrat lidsky, protože Wikipedia mi z toho třeští hlava.
Představte si funkci jako takový stroj — nasypete tam čísla a vylezou jiná čísla podle nějakého pravidla. Jacobiho domněnka se ptá: dá se ten stroj vždycky vrátit zpátky? Existuje jiná funkce, která zruší, co ta první udělala?
Jako kdyby funkce posouvala body v prostoru. Domněnka říká, že pokud funkce prostor nijak nepřekroutí (matematici to měří pomocí takzvaného Jacobiho determinantu), měla by existovat zpětná funkce, která vše vrátí na místo.
Zní to rozumně, ne?
Problém je, že nikdo nikdy nedokázal, že to platí vždycky. A teď, díky AI, víme, že ve třetí dimenzi a výš to prostě neplatí.
Pointa: Jednodušší, než kdo čekal
Tady přichází to nejzajímavější. Protipříklad, který Levent Alpöge z Anthropicu našel pomocí Claude Fable 5? Je úžasně malý. Trapně malý.
Abyste našli protipříklad této domněnky, musíte sestrojit velmi specifický typ funkce — takový, který neohýbá prostor, ale zároveň se nedá reversovat. Ty požadavky zní protichůdně, ale v určitých dimenzích spolu koexistovat můžou.
A tady přichází ta pikantnost: experti si mysleli, že takové příklady buď neexistují, nebo budou nesmírně složité. Místo toho Claude našel něco tak krátkého a elegantního, že jeden uživatel Math Stack Exchange kdysi napsal, že „chytrý student by mohl jednoduše napsat vzorec", který by celou věc rozbil.
No a on měl pravdu. Vzorec je tak krátký, že ho další matematici ověřili prakticky okamžitě poté, co ho Alpöge zveřejnil.
Proč by vás to mělo zajímat?
Chápu, co si říkáte: „Skvělý, další matematická věc, co se mě netýká."
Férová námitka. Ale tenhle příběh není o matematice. Je o tom, co představuje.
Žijeme v době, kdy se AI stává skutečným partnerem v lidské kreativitě a objevování. Ne jen nástrojem na úzké úkoly, ale něčím, co nám pomáhá myslet úplně novými způsoby. Fakt, že AI model vydaný teprve před pár týdny pomohl vyřešit problém, který je skoro 90 let starý? To je pozoruhodné.
A sledujeme tu vzorec, který vidíme čím dál častěji: AI dělá skutečné přínosy v oborech, které měly být automatizaci odolné. Matematici, fyzici, programátoři — to nejsou profese, které by lidi čekali jako první na ráně. A přesto jsme tady.
Mimochodem, původní verze domněnky ze dvou dimenzí (z roku 1884!) pořád není vyřešená. Takže práce ještě zbývá. Ale pro dimenze tři a výš? Hotovo.
Co z toho plyne
Co mě fascinuje nejvíc, je to, co nám to říká o matematické intuici. Desítky let experti věřili, že Jacobiho domněnka je nejspíš pravdivá. Budovali na tom kariéry. A teď rychlé hledání AI ukázalo, že ta intuice byla špatně — aspoň pro vyšší dimenze.
Je v tom lekce o tom, jak i brilliantní lidi můžou přehlédnout něco zřejmého, když se divají špatným směrem. Někdy prostě potřebujete čerstvý pohled — nebo čerstvou neuronovou síť — která ukáže, co máme přímo před očima.
Ať si o AI myslíte cokoli, myslím, že se shodneme na tom, že žijeme v divných a vzrušujících časech.
Zdroj: ScienceDaily