Důkaz vytvořený umělou inteligencí a oznámený začátkem tohoto měsíce jako součást série 377 matematických výsledků odvozených z umělé inteligence vítězí nad lidskými experty, kteří strávili poslední dva týdny jeho rozebíráním. Quanta Magazine psal 19. října, že teoretici čísel nyní rozbalili důkaz kvazi-Riemannovy hypotézy vytvořený AI – slabší verzi Riemannovy hypotézy, pravděpodobně největší otevřenou otázku v matematice – a jejich verdikt je neobvykle důrazný.
Jared Duker Lichtman ze Stanfordské univerzity to nazval „dosud nejvýznamnějším úspěchem v oblasti umělé inteligence, s velkým náskokem“. Maksym Radziwiłł z New York University, jehož vlastní práce podporuje části důkazu, popsal důsledky jako „ohromující“. For more context on this story, see our ongoing more AI stories.
Co tvrdí hypotéza Quasi-Riemann
Riemannova hypotéza je otevřená již více než 160 let. Týká se Riemannovy zeta funkce a umístění jejích netriviálních nul a úzce souvisí s tím, jak jsou prvočísla distribuována mezi celá čísla. Protože prvočísla jsou stavebními kameny aritmetiky, důkaz by přetvořil obrovské oblasti teorie čísel.
Hypotéza je jedním ze sedmi problémů tisíciletí pojmenovaných Clay Mathematics Institute a byl to jediný problém přenesený ze slavného seznamu 23 problémů Davida Hilberta oznámeného o století dříve.
Technická kostra, jak Quanta uvádí, byla zmapována krok za krokem po generace. Riemann v roce 1859 ukázal, že netriviální nuly funkce zeta určují, jak se prvočísla ztenčují podél číselné osy, a dokázal, že mohou sedět pouze ve svislém pruhu, kde skutečná část vstupu leží mezi nulou a jedničkou. V roce 1896 dva matematici nezávisle na sobě ukázali, že na pravém okraji proužku neleží žádné nuly — což je výsledek dostatečně silný, aby dokázal větu o prvočíslech. Samotná hypotéza říká, že všechny netriviální nuly sedí přesně na středové čáře proužku, kde se skutečná část rovná jedné polovině. Triviální nuly na záporných sudých celých číslech jsou již plně pochopeny. Více než 160 let úsilí zúžilo a prozkoumalo tento pás, aniž by kdy zapíchlo nuly.
Kvazi-Riemannova hypotéza nebo kvazi-RH je přísně slabší tvrzení. Přesto jeho důsledky sahají téměř tak daleko. "V jistém smyslu drtivá většina důsledků RH již vyplývá z kvazi-RH," řekl Radziwiłł Quantě.
Od oznámení k ověření
Výsledek se poprvé objevil 6. října, kdy OpenAI oznámila 377 matematických výsledků odvozených pomocí jejích systémů AI. Mezi profesionálními matematiky se oznámení zpočátku setkalo s mírnou skepsí – systémy umělé inteligence již dříve produkovaly tvrzené důkazy, které se pod odborným dohledem zhroutily, a ověřování bylo již dlouhou dobu překážkou oddělující matematiku generovanou umělou inteligencí od akceptované matematiky.
Podle zprávy společnosti Quanta je tento důkaz jiný: na rozdíl od jiných nedávných důkazů AI byl tento rozbalen lidskými experty. Teoretici čísel, včetně Radziwiłła, Alexandra Dunna z Georgia Institute of Technology a dalších, od oznámení pracovali na tomto argumentu, kontrolovali jeho kroky a zařazovali jej do existujících znalostí.
Kontroly obstály. "Důkazem je překvapivá syntéza dobře známých myšlenek," řekl Dunn, který spolu s Radziwiłłem propagoval techniky, na kterých výsledek částečně spoléhá.
Staré nápady, skrytá spojení
Možná nejnápadnějším aspektem důkazu, řekli matematici Quantovi, je to, co nevyžadoval. Na rozdíl od očekávání, že urovnání i oslabené formy Riemannovy hypotézy by vyžadovalo zásadně nové stroje, důkaz vytvořený AI nezavedl žádné nové koncepty. Místo toho odhalila skrytá spojení mezi zavedenými, kombinovala techniky způsobem, který žádný člověk nesestavil.
Tento vzorec – novinka díky neočekávané syntéze spíše než prostřednictvím nové teorie – se objevuje jako podpis matematického objevu podporovaného umělou inteligencí a vede výzkumníky k tomu, aby přehodnotili, kde se strojový příspěvek k matematice s největší pravděpodobností objeví jako první.
Proč je to důležité pro výzkum AI
Ověřený výsledek je milníkem pro umělou inteligenci v matematice, obor, který se rapidně zrychlil s tím, jak se zlepšily modely uvažování. Oznámení OpenAI ze 6. října, o kterém jsme informovali, když Institut pro pokročilá studia vznesl otázky ohledně skupiny výsledků, bylo dosud největším samostatným tvrzením matematiky odvozené od umělé inteligence. Důkaz kvazi-RH je prvním výsledkem z této šarže, který byl podrobně přečten odborníkem, a přežil.
Pro laboratoře umělé inteligence epizoda demonstruje pracovní postup, který se může stát standardním: modely produkují kandidátské nátisky ve velkém měřítku a lidští experti třídí, ověřují a absorbují výsledky, na kterých záleží. Pro matematiky je bezprostřední důsledek užší, ale reálný – soubor důsledků Riemannovy hypotézy, které již nepotřebují k platnosti úplný dohad.
Quanta poznamenává, že matematici teprve začínají pracovat na tom, co důkaz pro tuto oblast znamená. Jak uvedl Radziwiłł, důsledky jsou „ohromující“ – přídavné jméno, které se zřídka připojuje k výsledku, který se zastaví před úplnou hypotézou.
Epizoda také nastavuje měřítko pro budoucí nároky. Jakákoli laboratoř AI oznamující matematické průlomy bude nyní měřena proti kvazi-RH: tvrzenému výsledku, který byl zkontrolován, ověřen a přijat těmi nejlepšími odborníky, kteří mají nejlepší pozici k jeho vyvrácení.
Nic z toho neřeší samotnou Riemannovu hypotézu. Úplný dohad zůstává otevřený a kvazi-RH je přísně slabší. Ale poprvé systém umělé inteligence přinesl na hranici analytické teorie čísel důkaz, který přední specialisté v této oblasti rozbalili a schválili – skutečnost, která může o budoucnosti matematického výzkumu vypovídat tolik jako samotná věta.
Tento článek je založen na zprávách Quanta Magazine, publikovaných 19. října 2026.
---
Stay Ahead of AIGet the latest AI news, analysis, and breakthroughs — all in one place.
Read more AI news →
