AI posunula hranici Riemannovy hypotézy. Model bez matematického vzdělání vytvořil nový teorém

Autonomní proces: 650 nápadů, 60 agentů, 31 milionů tokenů

Celý úspěch stojí na pozoruhodném multiagentním workflow:

• Zaměstnanec Anthropicu bez vážnějšího matematického vzdělání model jednoduše požádal, ať se „opravdu pořádně pokusí“ hypotézu dokázat .
• Model pak přibližně 1,5 dne autonomně testoval zhruba 650 kandidátských přístupů napříč 60 koordinovanými podagenty .
• Celá operace spotřebovala 31 milionů výstupních tokenů ve dvou sezeních, provedla 2 400 shellových příkazů a prostudovala 54 článků z arXivu .
• Dva z 60 podagentů byli zodpovědní za klíčový matematický průlom .
• Vítězný přístup zkombinoval článek Enrica Bombieriho z roku 2000 s novějšími výsledky – kombinace, kterou žádný lidský výzkumník předtím nesestavil .

Ověření: lidští experti i formální dokazovač

Dva interní matematici Anthropicu – Levent Alpöge a Ralph Furmaniak – důkaz zkontrolovali a potvrdili . Následně byl argument formalizován v systému Lean, interaktivním dokazovači teorémů, čímž vznikl strojově ověřitelný certifikát správnosti . Tato dvojí validace (odborný lidský posudek + formální verifikace) je dnes považována za zlatý standard důkazů generovaných AI.

Širší kontext: rok 2026 jako zlom pro AI v matematice

Zlepšení Riemannova odhadu od Clauda není izolovanou událostí. Rok 2026 přinesl celou řadu AI průlomů:

• Květen 2026 – OpenAI oznámila, že její model autonomně vyvrátil Erdősovu hypotézu o jednotkových vzdálenostech, 80 let starý otevřený problém .
• Květen 2026 – AlphaProof Nexus od Google DeepMind vyřešil devět otevřených Erdősových problémů (některé nevyřešené 56 let) a dokázal 44 domněnek z Encyklopedie celočíselných posloupností .
• Červenec 2026 – Matematik Anthropicu Levent Alpöge použil model „Fable 5“ k nalezení protipříkladu k Jakobiánské hypotéze z roku 1939 .
• Srpen 2026 – Model Astra od OpenAI údajně vyřešil deset desítky let starých matematických problémů za zhruba 2 000 dolarů na výpočetní náklady .

Mnozí komentátoři poznamenali, že obor v polovině roku 2026 překročil práh: AI systémy přešly od řešení soutěžní matematiky ke generování publikovatelného výzkumu na úrovni otevřených problémů .

Debata o autorství, standardech a Leiden deklaraci

Rychlý nástup AI generované matematiky vyvolává intenzivní diskuse:

• V červnu 2026 zveřejnila skupina 16 matematiků Leidenskou deklaraci o umělé inteligenci a matematice, která doporučuje nové standardy pro strukturu důkazů, přiřazování autorství a lidský dohled nad výsledky AI .
• Klíčová napětí: Kdo dostane autorské uznání, když důkaz vytvoří AI? Může si obor udržet epistemickou důvěru, jsou-li důkazy příliš dlouhé nebo nové na to, aby je člověk bez formálních nástrojů plně zkontroloval?
• Někteří matematici varují, že důkazy asistované AI riskují narušení porozumění a vysvětlujícího vhledu – důkaz může být správný, ale neprůhledný . Jiní vidí formální verifikaci v Lean jako přísnější standard než tradiční peer review .

Co to znamená pro budoucnost vědeckého objevování

Výsledek Anthropicu posouvá diskusi několika konkrétními směry:

1. Měřítko autonomního zkoumání je klíčové. Testování 650 nápadů napříč 60 agenty ukazuje, že multiagentní architektury mohou provádět systematické prohledávání v měřítku, které žádná lidská výzkumná skupina nedokáže za stejný čas .

2. Náhodná syntéza je možná. Model bez matematického tréninku zkombinoval Bombieriho článek z roku 2000 s novějšími výsledky – kombinaci, kterou žádný člověk neviděl. To přímo odpovídá na otázku, zda LLM pouze interpolují, nebo mohou skutečně objevovat .

3. Formální verifikace řeší problém důvěry. Lean formalizace znamená, že výsledek není „černou skříňkou“. Je to prokazatelně správný teorém, který může každý matematik mechanicky zkontrolovat .

4. Cena a rychlost objevování se hroutí. Náklady 2 000 dolarů na výpočet pro výsledky OpenAI a 36hodinový obrat pro Riemannův odhad naznačují, že marginální náklady na publikovatelný matematický objev se blíží nule .

Stručně řečeno: Zlepšení Riemannova odhadu od Anthropicu je přelomovou ukázkou toho, že AI systémy nyní dokáží autonomně objevovat publikovatelné, formálně ověřitelné matematické výsledky, které posouvají 150 let starý otevřený problém. V kombinaci s řetězcem podobných průlomů z roku 2026 se diskuse přesouvá od otázky „zda může AI přispět k vědeckému objevování“ k tomu, „jak by měla vědecká komunita strukturovat pobídky, atribuci a verifikaci pro novou třídu spoluobjevitelů v podobě AI.“