Claude AI téměř zdvojnásobil dolní odhad Riemannovy funkce zéta: Co se stalo a co to znamená

Jak experiment probíhal

Jarred Sumner, zaměstnanec Anthropicu bez matematického vzdělání, požádal model Claude, aby se „opravdu pořádně pustil“ do Riemannovy hypotézy, a veškeré matematické rozhodování přenechal modelu .

• První sezení: Claude vygeneroval a vyzkoušel 650 nápadů, z nichž žádný nefungoval. Sumner ho povzbuzoval, aby pokračoval .
• Druhé sezení (36 hodin): Claude koordinoval přibližně 60 podřízených agentů, provedl 2 400 příkazů v shellu, napsal stovky Python skriptů a provedl tisíce numerických kontrol proti známým nulovým bodům. Podřízení agenti také navzájem kontrolovali svou práci .
• Role člověka: Vstup od Sumnera spočíval téměř výhradně v povzbuzení – variace na „pokračuj“ a „věř si“ – což modelu pomohlo překonat prvotní skepsi, že by mohl dosáhnout smysluplného pokroku .
• Výstup: 31 milionů tokenů napříč dvěma sezeními . Claude dobrovolně sepsal své nálezy do podoby odborného článku a doporučil jejich ověření lidskými experty .

Techniky, které Claude zkombinoval

Claude propojil dva nezávislé směry výzkumu, které dosud nebyly zkombinovány:

• Nedávné práce (2023–2025) od Baluyota, Goldstona, Suriajayi a Turnage-Butterbaugha – série článků, které odstranily předpoklad Riemannovy hypotézy z Montgomeryho metod párových korelací, což umožnilo používat tyto nástroje bezpodmínečně .
• Článek Bombieriho z roku 2000 – poskytl doplňkové techniky analytické teorie čísel .

Klíčovým vhledem modelu Claude bylo, že celý prostor funkcí pojal s kvadratickou formou indukovanou Weilem, přičemž zohlednil kladně a záporně definitní podprostory dohromady (z nulových bodů na přímce a mimo ni) a umožnil, aby kvadratická forma byla nediagonální. To mu umožnilo zapsat rankovou nerovnost využívající informace prvního a druhého momentu, což vedlo k novému odhadu .

Průlom spočíval ve spojení dvou existujících článků napříč podobory, nikoli v objevení zcela nové matematiky .

Ověření a upozornění

• Interní validace: Matematici Anthropicu Levent Alpöge a Ralph Furman prostudovali a potvrdili Claudeův článek .
• Externí expertní posouzení: Brian Conrey a Dan Goldston, dva přední odborníci v oboru, výsledek na krátkou výzvu prozkoumali a validovali .
• Formální důkaz: Claude ve spolupráci se zaměstnancem Ericem Easleym vytvořil formalizaci v systému Lean, která prochází standardním validačním nástrojem Lean .
• Upozornění od Anthropicu: „Neočekáváme, že techniky, které Claude použil, povedou k důkazu Riemannovy hypotézy“ – tento přístup představuje smysluplné, ale ohraničené zlepšení, nikoli cestu k úplnému důkazu .