Po většinu minulého století se praxe matematiky změnila pozoruhodně málo. Matematik si všimne vzoru, napíše domněnku, stráví měsíce nebo roky sestavováním důkazu a ostatní matematici to ověří. Nyní, podle podrobné zprávy Benjamina Skuse v IEEE Spectrum, začíná umělá inteligence obcházet tento pomalý, deliberativní proces a nutí pole čelit tomu, co to vlastně znamená být matematikem.
Dílo zveřejněné 25. června 2026 sleduje, jak rychle se velké jazykové modely vyvinuly z toho, co kritici kdysi považovali za stochastické papoušky, do skutečných motorů matematického uvažování a co tento posun znamená pro lidi, kteří tuto práci vždy dělali. For more context on this story, see our ongoing more AI stories.
Rychle rostoucí stopa umělé inteligence v matematice
Výpočty zrychlovaly matematiku po celá desetiletí. Zlom nastal zhruba před 50 lety, kdy byl počítač použit k prokázání teorému o čtyřech barvách, který se ptá, zda lze jakoukoli mapu vybarvit maximálně čtyřmi barvami, aby žádné sousední oblasti nesdílely barvu. Odpověď byla ano, ale důkaz byl kontroverzní, protože se spoléhal na kontrolu 1936 případů, které žádný člověk nemohl reálně ověřit ručně.
Dokonce i během této výpočetní éry zůstal lidský matematik ústřední, navrhoval dohady, vymýšlel strategie a ověřoval výsledky. AI nyní toto uspořádání přímo zpochybňuje. Loni v létě dosáhly systémy od Google DeepMind a OpenAI úrovně odpovídající matematicky nejnadanějším studentům středních škol na světě a dosáhly zlaté medaile na Mezinárodní matematické olympiádě (IMO), každoroční soutěži, kde soutěžící musí vyřešit šest notoricky známých obtížných problémů.
Milníky se stále zrychlovaly. Dříve v roce 2026 experimentální systém Google DeepMind Aletheia autonomně vytvořil publikovatelné výsledky výzkumu na úrovni PhD. Ačkoli je práce sama o sobě matematicky nejasná, počítá strukturní konstanty v aritmetické geometrii, význam spočívá ve složitém uvažování, které je nutné k vyřešení dříve nevyřešeného problému. Nedávno nový univerzální systém umělé inteligence od OpenAI vyvrátil důležitou domněnku v kombinatorické geometrii, výsledek, který špičkoví matematici oslavovali jako milník v oboru a který by si zasloužil publikaci ve velkém časopise.
Důkazní asistenti a formální překážka
Druhý posun nastal ve spojení velkých jazykových modelů s asistenty důkazů. Systémy jako Isabelle, Lean a Rocq jsou specializované programovací jazyky, které krok za krokem kontrolují matematické důkazy a ověřují jejich logickou správnost. Již více než deset let je úzkým hrdlem formalizace, pracný proces ručního překládání vět a důkazů do strojově čitelného kódu.
LLM začínají odstraňovat toto úzké hrdlo automatizací překladu neformálních důkazů do formálního kódu, který mohou asistenti důkazů ověřit. V únoru společnost AI Math, Inc. použila svého uvažovacího agenta jménem Gauss k formalizaci práce, která v roce 2022 vynesla Marynu Viazovskou od EPFL Fieldsovu medaili. Gauss nejprve pomohl lidským matematikům dokončit formalizaci Viazovska řešení 8-dimenzionálního problému s balením koulí během několika dní, pak autonomně zkomplikoval dva týdny.
Takové úspěchy naznačují, že umělá inteligence již zvládá úkoly, které byly dlouho považovány za jedinečně lidské, a že velká část každodenní práce matematiků může být brzy férovou hrou pro automatizaci.
Matematici diskutují o tom, zda se stanou ‚kněžími věštců‘
Ve zprávě z 12. Heidelbergského fóra laureátů v září 2025 Skuse popisuje hmatatelný neklid v publiku, když řečníci popsali budoucnost, ve které nadlidské systémy umělé inteligence vytvářejí dohady, hledají prostory pro řešení, dokazují teorémy, ověřují důkazy a zobecňují výsledky bez lidského přičinění.
Yang-Hui He z Londýnského institutu pro matematické vědy památně varoval, že se lidští matematici mohou stát "kněžími věštců." Jessica Randall, matematička z Google Developer Groups, uvedla, že cítí, jak mezi mladými výzkumníky narůstá kolektivní existenciální děs. „Určitě jsme si začali uvědomovat, že AI má potenciál nás nahradit,“ řekla IEEE Spectrum.
Ne všichni jsou znepokojeni. Někteří etablovaní matematici prostě chtějí odpovědi na největší otevřené otázky, jako je šest zbývajících problémů tisíciletí, bez ohledu na to, kdo nebo co je produkuje. "Mnoho matematiků je pragmatických a chtějí jen porozumět," poznamenal Jeremy Avigad z Carnegie Mellon University. "Prodali by svou duši za vyřešení problému."
Tři konkurenční vize budoucnosti
Zpráva IEEE Spectrum identifikuje tři široké vize toho, jak by matematika a umělá inteligence mohly koexistovat.
První je pohled zaměřený na člověka, který upřednostňuje lidské porozumění a zachází s AI jako s nástrojem, podobně jako s kalkulačkou. Fields Medalist a matematik z Princetonu Akshay Venkatesh tvrdí, že matematika je v jádru způsob, jak dosáhnout dohody. "Někdy si myslím, že když používáme čísla, nejde ani tak o to, že popisujeme jevy, které jsou skutečně numerické, ale o to, že se všichni můžeme přesně shodnout na tom, co čísla znamenají," řekl.
Druhý zdůrazňuje neredukovatelně lidskou zkušenost boje. Maia Fraserová z Ottawské univerzity tvrdí, že AI důkaz tvrdohlavého dohadu je užitečný pouze tehdy, je-li lidem srozumitelný. "To, že prohlášení může být prokázáno AI, je už užitečná informace," připustila. "Ale pak je stále otevřený problém přijít s elegantním, krásným lidským důkazem."
Třetí, a možná nejambicióznější, pochází od Terence Tao z UCLA, který poprvé soutěžil v matematické olympiádě ve věku 10 let a nyní je jedním z nejvíce vyznamenaných matematiků na světě. Tao vidí AI jako katalyzátor toho, co nazývá "velká matematika," budoucnost rozsáhlé, decentralizované spolupráce mezi lidmi a stroji, ve které jsou složité problémy rozděleny na kousky, přičemž lidé si nárokují kreativní práci a AI se stará o technickou práci.
Disciplína, která se ptá, proč existuje
Co dělá tento okamžik neobvyklým, je to, že debata již není hypotetická. Systémy umělé inteligence již vydělávají zlaté medaile IMO, produkují publikovatelný výzkum, vyvracejí dohady a formalizují důkazy, které získaly Fieldsovu medaili, v řádu dnů, nikoli let.
Pro studenty jako Trill White z australské Deakin University, kteří se zúčastnili fóra v Heidelbergu, byla realizace těžká. "To je zničující," vzpomněl si White. "Čím budou muset lidé přispívat k matematice? Stane se z ní něco, čemu nikdo nerozumí?"
Odpověď ještě není vyřešena. Jak ale Skuseho zpravodajství objasňuje, matematika, jedna z nejstarších intelektuálních disciplín lidstva, nyní čelí stejné otázce, která přetváří téměř každou oblast, které se umělá inteligence dotýká: když může stroj dělat práci, k čemu ta práce vlastně je?
Zdroj: Benjamin Skuse, „Co to znamená být matematikem, když AI dělá matematiku“, IEEE Spectrum, 25. června 2026.---
Stay Ahead of AIGet the latest AI news, analysis, and breakthroughs — all in one place.
Read more AI news →
