Průlomové objevy AI v čisté matematice: Dva milníky roku 2026

V roce 2026 umělá inteligence překročila historický práh v čisté matematice. Poprvé v historii dokázaly systémy AI nezávisle přinést zásadní výsledky u otevřených problémů, které se lidským matematikům vzpíraly po celá desetiletí. Dva objevy vyčnívají nad ostatní: květnové vyvrácení Erdősovy domněnky o jednotkové vzdálenosti od OpenAI a červencový protipříklad k Jacobiho domněnce od Anthropicu. Nejedná se o drobné krůčky – jsou to paradigmatické posuny, které signalizují novou éru spolupráce člověka a AI v matematickém výzkumu.

Dva zásadní objevy

OpenAI vyvrací Erdősovu domněnku o jednotkové vzdálenosti (květen 2026)

Dne 20. května 2026 OpenAI oznámila, že jeden z jejích interních modelů pro obecné uvažování vytvořil protipříklad k Erdősově domněnce o jednotkové vzdálenosti, problému, který Paul Erdős položil v roce 1946 . Domněnka se týkala maximálního počtu dvojic bodů, které mohou být od sebe vzdáleny přesně jednu jednotku mezi n body v rovině. Po 80 let se matematici domnívali, že nejlepší možné uspořádání vypadá zhruba jako čtvercová mřížka .

Model OpenAI ukázal, že tato představa je mylná. Vygeneroval nekonečnou rodinu bodových konstrukcí, které dosahují polynomického zlepšení oproti mřížce – což dokazuje, že pro nekonečně mnoho n roste počet dvojic o jednotkové vzdálenosti rychleji než n^(1+δ) pro nějaké pevné δ > 0 . Důkaz čerpal ze sofistikované algebraické teorie čísel, včetně Golod-Šafarevičovy teorie a nekonečných třídových věží – nástrojů, které dosud nikdo s tímto geometrickým problémem nespojil .

Výsledek byl ověřen skupinou externích matematiků, včetně Thomase Blooma – stejného výzkumníka, který dříve veřejně odhalil nepravdivé tvrzení OpenAI . Lidsky zpracovaný doprovodný článek byl publikován na arXivu . Princetonský matematik Will Sawin rychle zpřesnil konstantu a ukázal, že exponent může být alespoň n^1,014 . Polní medailista Tim Gowers byl jedním z devíti externích matematiků, kteří důkaz ověřili .

Claude Fable 5 od Anthropicu nachází protipříklad k Jacobiho domněnce (červenec 2026)

Dne 19. července 2026 oznámil matematik Levent Alpöge, výzkumník ve společnosti Anthropic, na síti X, že pomocí modelu Claude Fable 5 od Anthropicu našel protipříklad k Jacobiho domněnce – 87 let starému otevřenému problému v algebraické geometrii, který poprvé formuloval Ott-Heinrich Keller v roce 1939 . Tato domněnka, která se umístila na 16. místě v seznamu problémů pro příští století, který v roce 1998 sestavil polní medailista Stephen Smale, tvrdila, že polynomické zobrazení z C^n do C^n s nenulovým konstantním Jacobiho determinantem musí být globálně invertibilní .

Protipříkladem je pozoruhodně stručné 216znakové polynomické zobrazení z C³ do C³ s Jacobiho determinantem identicky rovným -2, které přesto posílá tři různé vstupní trojice na stejný výstup, čímž vyvrací globální invertibilitu . Během několika hodin od Alpögeho příspěvku matematici po celém světě nezávisle ověřili výsledek a formální ověření v dokazovacím asistentovi Lean bylo dokončeno za méně než 24 hodin .

Významní matematici včetně Terence Taoa a Timothy Gowerse výsledek ocenili . Tao publikoval geometrickou analýzu protipříkladu a ověření bylo široce potvrzeno v celé matematické komunitě . Dvojrozměrná verze domněnky zůstává otevřená .

Co tyto výsledky znamenají pro budoucnost matematiky

AI nyní dokáže generovat skutečně nové důkazy

Oba průlomy zahrnují hluboké koncepční skoky, nikoli jen výpočetní asistenci. Vyvrácení domněnky o jednotkové vzdálenosti vyžadovalo, aby AI propojila algebraickou teorii čísel s kombinatorickou geometrií – spojení, které žádný lidský matematik neučinil . Jacobiho protipříklad vyžadoval konstrukci jemného polynomického zobrazení se specifickými algebraickými vlastnostmi .

Model partnerství člověka a AI se ukazuje jako silný

Tyto výsledky ukazují na budoucnost, v níž AI vystupuje jako kreativní spolupracovník spíše než náhrada. V případě Jacobiho domněnky zkušený matematik řídil AI a rozpoznal význam jejího výstupu . V případě OpenAI pracoval model autonomněji, ale stále vyžadoval lidské ověření . Tento model partnerství umožňuje AI prozkoumávat obrovské vyhledávací prostory, které lidé nemohou efektivně procházet, zatímco lidé poskytují intuici, úsudek a ověření.

Tempo se rychle zrychluje

OpenAI později v srpnu 2026 oznámila, že stejná třída interních modelů pro uvažování přinesla pokroky u 10 zásadních problémů v matematice a teoretické informatice, zahrnujících vícerozměrnou geometrii, teorii kódování, teorii grup, operátorové algebry, kvantovou složitost, mřížkovou kryptografii a extremální kombinatoriku . Pozorovatelé hovoří o „novém zlatém věku“ matematiky poháněné AI .

Důležité výhrady přetrvávají

Jacobiho protipříklad platí pouze v dimenzi 3 a vyšší – původní domněnka zůstává otevřená v dimenzi 2 . Některé výsledky dosud neprošly úplným peer review prostřednictvím tradičních kanálů a ne všechna tvrzení jsou plně publikována . Celkový směr je však jasný: AI překročila práh z matematického asistenta na matematického objevitele a její role ve výzkumu se bude pravděpodobně rychle rozšiřovat.

Širší kontext

Těmto průlomům z roku 2026 předcházel rychlý pokrok matematických schopností AI. V červenci 2025 modely AI poprvé vyřešily pět ze šesti problémů na Mezinárodní matematické olympiádě . Začátkem roku 2026 modely dosahovaly zlaté medaile na IMO . Nyní AI přináší výsledky na výzkumné frontě – řeší problémy, které definovaly celé kariéry.

Jak poznamenal matematik Terence Tao, Jacobiho výsledek představuje milník ve spolupráci člověka a AI . Model nepracoval sám, ale partnerství přineslo výsledek, kterého by ani člověk, ani stroj nemohli dosáhnout samostatně. Tento model – lidská intuice vedená průzkumem AI, ověřená formálními dokazovacími asistenty – může definovat budoucnost matematického objevování.