Zatímco svět v neděli večer sledoval Světový pohár, Levent Alpöge si v klidu odpočinul od vřavy a na X zveřejnil bombu: použil model Anthropic Fable 5 k vyvrácení Jacobiho hypotézy.
Nejedná se o triviální událost. Jacobiho domněnka sužuje algebraickou geometrii téměř devět desetiletí. V roce 1998 byla zahrnuta do slavného seznamu nevyřešených problémů Stephena Smalea a zmátla ty nejbystřejší mysli v historii.
A tak ji frontální AI model jednoduše oprášil.
Fable 5 je nejnovější vlajkovou lodí Anthropic. Toto je veřejné „dvojče“ modelu „Claude Mythos Preview“. Anthropic tvrdí, že tato verze byla pro veřejnost příliš nebezpečná kvůli svým pokročilým schopnostem kybernetické bezpečnosti. Ale tady to bylo použito ke zničení základního kusu matematiky.
Alpöge je členem Harvard Society of Fellows. Jeho LinkedIn uvádí spolupráci s Anthropic. Přirozeně jsme se Anthropic zeptali, co se děje. Čekáme na odpověď.
Ale co to ve skutečnosti znamená? Je to obrovský skok pro umělou inteligenci, nebo jen chytrá kalkulačka nacházející jehlu v kupce sena?
Není to tak, jak si myslíš
Andrew Bloomberg, profesor s kombinovaným jmenováním z matematiky a informatiky na Kolumbijské univerzitě, ostře zareagoval.
„Nepřimělo mě to přehodnotit svá přesvědčení o tom, co umělá inteligence může a co ne,“ řekl Bloomberg Mashable.
Bloomberg je členem správní rady projektu First Proof Project. Tato iniciativa konkrétně testuje, zda jsou rozsáhlé jazykové modely schopny řešit výzkumné problémy v matematice. Proto má jeho názor váhu. Není přihlížejícím; zná toto území zevnitř.
Bloomberg tvrdil, že nalezení protipříkladu je přesně to, co byste očekávali od schopné AI. Pokud existuje zhuštěný protipříklad, který lidé přehlédli, protože ruční kontrola tisíců polynomů je únavná, pak jej stroj samozřejmě najde. Pro počítač je snadné je všechny zkontrolovat. Pro lidi je to těžké.
Na tomto rozlišení záleží.
Existuje obrovský rozdíl mezi poskytnutím jediného protipříkladu, který zničí hypotézu, a poskytnutím úplného konstruktivního důkazu, který tuto oblast posune vpřed.
Bloomberg použil silnou metaforu, aby vysvětlil, proč se výsledek zdál být zklamáním:
„Představte si, že Moshel sestoupil z hory s deskami a na nich bylo napsáno: „Rakovinu lze vyléčit. Máte zájem?”
Nepotřebujete jen odpověď. Musíte se z odpovědi něco naučit.
Jacobiho hypotézu považoval Smale za důležitou ne kvůli hypotéze samotné, ale protože její řešení by odhalilo hlubší struktury přírody. Jediný protipříklad nám o nich říká velmi málo. Jednoduše říká: “Ne, to nefunguje.”
Bloomberg to řekl na rovinu. Tento výsledek nám „neříká prakticky nic“. Toto je jen ukázka toho, že stroje dokážou věci kontrolovat rychleji než my.
V matematických průlomech umělé inteligence záleží na kontextu
Jacobiho domněnka není jediným velkým matematickým problémem, který AI nedávno vyřešila.
V květnu OpenAI oznámila, že její interní model vyvrátil Erdősovu hypotézu o jednotkové vzdálenosti**. Toto je ústřední problém diskrétní geometrie.
Bloomberg se ale domnívá, že Erdősův výsledek byl mnohem produktivnější. proč? Protože OpenAI nepřišlo jen s protipříkladem. Poskytli úplné vyvrácení.
“Tamní vyvrácení již přineslo některé zajímavé výsledky, protože odborníci v oboru rozluštili logiku,” řekl Bloomberg. “Použili to k dalším objevům.”
S protipříkladem k Jacobiho hypotéze zde může příběh skončit. Blumberg přiznává, že není odborníkem na algebraickou geometrii a nemůže říci, zda má Alpögeův protipříklad nějaký jedinečný strukturální rys, který podnítí nový výzkum. Ale na povrchu? Postrádá kvalitu „zajímavosti“, která žene vědecký pokrok kupředu.
To dokazuje, že umělá inteligence může dělat grunt. To ale nemusí nutně dokazovat, že je schopen tvrdé práce matematického osvícení.
Proč se to stále zdá významné
I když má Bloomberg pravdu, že matematické poznatky jsou jemné, samotná rychlost tohoto objevu je pozoruhodná.
Alpöge je spojeno s antropickým. Fable 5 je mocný nástroj. Problém je starý 90 let. Ke shodě těchto faktorů došlo v neděli večer, když většina z nás fandila fotbalovým týmům.
To zdůrazňuje posun v tom, jak se může vyvíjet matematický výzkum. Vstupujeme do éry, kdy AI nepomáhá jen s výpočty, ale může aktivně lovit rozpory v zažitých teoriích.
Jacobiho hypotéza nemusí změnit naše chápání struktury vesmíru. Ale mění způsob, jakým přemýšlíme o naší závislosti na výpočetním výkonu, abychom otestovali naše nejhlubší předpoklady.
Ziff Davis, mateřská společnost Mashable, zažaloval OpenAI v dubnu 2025. Žaloba tvrdí, že došlo k porušení autorských práv týkajících se tréninkových dat AI. Toto právní pozadí přidává další vrstvu složitosti do vztahu mezi těmito technologickými giganty a stále se překrývajícími matematickými komunitami.
Budeme i nadále sledovat. A budeme se ptát dál: je důležité jednoduše najít odpověď, nebo je důležitější pochopit, proč je odpověď pravdivá?
