Nevydaná výzkumná verze Anthropic's Claude zlepšila dlouhodobý matematický výsledek spojený s Riemannovou hypotézou a zvýšila známou spodní hranici pro zlomek odpovídajících nul ze 41,6 % na 67,2 %. Průlom, publikovaný nakladatelstvím Anthropic 10. srpna 2026, nevznikl jako cílený výzkumný projekt, ale jako nečekaný vedlejší produkt příležitostné výzvy: pořádně se zabodnout do jednoho z nejznámějších nevyřešených problémů celé matematiky. Chcete-li získat nejnovější informace o objevech řízených umělou inteligencí, sledujte AI Buzz Wire, kde najdete průběžné zpravodajství.

Riemannova hypotéza, kterou poprvé navrhl Bernhard Riemann v roce 1859, se týká distribuce prvočísel a nese odměnu jeden milion dolarů od Clay Mathematics Institute. To zůstává neprokázané. Zatímco Claude nevyřešil hypotézu samotnou, práce modelu na souvisejícím dílčím problému představuje skutečný pokrok v teorii čísel – takový, který lidští matematici potvrdili.

Jak výzva začala

Úsilí začalo, když Jarred Sumner, člen týmu Anthropic, který není matematik, pobízel Clauda, aby "skutečně bodl" do Riemannovy hypotézy a nechal všechna matematická rozhodnutí na modelu. Claudeův počáteční pokus zahrnoval generování a testování přibližně 650 nápadů, z nichž žádný nepřinesl výsledky. Poté, co Sumner povzbudil model, aby to zkusil znovu, strávil Claude zhruba den a půl koordinací přibližně 60 subagentů, kteří prozkoumali problém hlouběji.

Právě během tohoto druhého pokusu Claude objevil způsob, jak překonat předchozí nejmodernější spodní hranici. Model zjistil, že kombinace výsledků matematiků Baluyota, Goldstona, Suriajayi a Turnage-Butterbaugha s dřívější prací Bombieriho poskytla cestu k posunutí známého podílu nul splňujících hypotézu ze 41,6 % na 67,2 %.

Systém sebekontroly, sebepochybování

Co dělá výsledek obzvláště pozoruhodným, je to, jak důsledně Claude ověřoval své vlastní zjištění, než jej prezentoval. Model vyslal subagenty, aby přezkoumali důkazy, hledali protipříklady, stáhli 54 dokumentů z arXiv, aby potvrdili, že výsledek ještě nebyl zveřejněn, a nezávisle znovu potvrdili nález od začátku. Celé úsilí spotřebovalo 31 milionů výstupních tokenů během dvou relací v Claude Code.

Nejpozoruhodnější je, že Claude byl zpočátku skeptický k vlastnímu výsledku. Model se z tréninkových dat poučil o extrémní obtížnosti otevřených problémů v matematice a známých omezeních systémů umělé inteligence. Údajně trvalo povzbudivé podněty, než Claude uznal, že jeho nález je platný. Jak Anthropic poznamenal ve svém oznámení: "Možná Claude, stejně jako mnoho z nás, podceňuje rychlost pokroku AI."

Lidské ověření a formální ověření

Nález nespočíval jen na Claudově slovu. Dva matematici z Anthropic — Levent Alpöge a Ralph Furman — studovali Claudeovu práci a vytvořili neformální technickou poznámku pro odborníky. Alpöge se již dříve dostal do titulků, když použil Clauda k vyvrácení 87 let staré jakobijské domněnky, což je samostatný matematický průlom ohlášený dříve v srpnu.

Claude také vytvořil strojově zkontrolovaný formální důkaz svého výsledku pomocí Lean, asistenta důkazu, který ověřuje matematické argumenty pomocí softwaru. Formalizace vytvořená se členem týmu Antropic Ericem Easleym prochází standardním ověřovacím nástrojem zvaným komparátor.

Externí experti Brian Conrey a Dan Goldston, oba uznávaní odborníci ve studiu funkce Riemann zeta, prozkoumali dokument v krátké době a potvrdili přístup.

Co znamená výsledek

Riemannova zeta funkce popisuje distribuci prvočísel: každá nula funkce postupně přispívá k jemnějším detailům posloupnosti prvočísel. Riemannova hypotéza předpovídá, že všechny nuly určující prvočísla leží podél jediné svislé čáry v komplexní rovině. Dokazování tohoto se stalo jedním z nejdůslednějších dohadů v matematice, se stovkami výsledků, které na tom závisí jako na předpokladu.

Zatímco nikdo nedokázal ani nevyvrátil úplnou hypotézu, matematici udělali postupný pokrok kvantifikací minimálního podílu nul, které leží na přímce. Během desetiletí výzkumu se tato známá konstanta posunula na 41,6 %. Claudovo zlepšení na 67,2 % je největší jednorázový skok v tomto opatření za poslední roky.

Anthropic varoval, že techniky, které Claude použil, pravděpodobně nepovedou k úplnému důkazu Riemannovy hypotézy. Výsledek však ukazuje, že modely umělé inteligence mohou rozšířit dosah myšlenek matematiků novými a někdy překvapivými směry.

Vzorec matematických objevů umělé inteligence

Pokrok Riemann zeta následuje rostoucí seznam matematických objevů s pomocí AI. Již dříve v roce 2026 vyřešil model OpenAI s názvem Astra deset dlouho nevyřešených matematických problémů pomocí strojově kontrolovaných důkazů. Vlastní Claude Fable 5 od Anthropic vyvrátil jakobijské dohady týdny předtím. Tyto výsledky naznačují, že hraniční modely umělé inteligence se posouvají mimo rozpoznávání vzorů a generování textu do oblasti skutečného matematického výzkumu.

Claudův nález Riemann zeta se odlišuje v jednom ohledu: nebyl produktem řízeného výzkumného programu. Objevilo se to, když nematematik položil modelu AI nerozumnou otázku a model odpověděl něčím, co nikdo předtím nenašel.

Udržujte si náskok před AI

Nejnovější zprávy o AI, průlomy ve výzkumu a průmyslové analýzy najdete na AI Buzz Wire.

Přečtěte si další zprávy o AI