Terence Tao, matematik UCLA široce považovaný za nejvlivnější žijící osobnost v oboru, publikoval esej, v níž tvrdí, že umělá inteligence tlačí matematiku do období turbulencí srovnatelných se základní krizí, která tuto disciplínu přetvořila před stoletím. Článek „Matematika ve věku umělé inteligence“ vyšel na arXiv 17. srpna a je založen na veřejné přednášce Tao na Mezinárodním kongresu matematiků v roce 2026.
Esej se rychle stala jedním z nejdiskutovanějších vědeckých textů týdne mezi výzkumníky a inženýry a přitáhla velké publikum na fórech, jako je Hacker News. Pro obor, který strávil poslední tři roky debatami o tom, zda umělá inteligence může skutečně dělat matematiku na úrovni výzkumu, Taoův argument zcela mění otázku.
Krize hodnot, ne pravda
Taovo historické rámování je záměrné. Zhruba mezi lety 1900 a 1930 byla matematika otřesena Russellovým paradoxem v roce 1901 a Gödelovými teorémy neúplnosti v roce 1931 – objevy, které přinutily matematiky opustit neformální předpoklady a postavit explicitní, rigorózní základy, na kterých předmět dodnes spočívá. Tyto turbulence, tvrdí, nakonec učinily matematiku silnější.
Paralela, kterou uvádí, je přesná: to, co se nyní stresově testuje, není matematický rámec pro pravdu, ale jeho „z velké části implicitní rámec matematických hodnot a praktik“ – to, co komunita považuje za přínos, co odměňuje, co považuje za pochopené a kdo nebo co považuje za odvedené práce. Stejně jako poslední krize donutila implicitní, aby se stalo explicitním, Tao tvrdí, že tato donutí matematiky kodifikovat cíle, které nikdy nemusely být zapsány.
Přeskočení debaty o schopnostech
Nejvýraznější strukturální volbou eseje je, že se odmítá hádat o tom, zda umělá inteligence umí matematiku. Místo toho Tao podmiňuje hypotézu, že dorazí nástroje umělé inteligence schopné matematických úloh na úrovni výzkumu, a zachází se vším po proudu od tohoto předpokladu jako se skutečným problémem. Říká tomu „Otázka odpovědi komunity“: jak by měla reagovat matematická komunita, ne zda jsou schopnosti skutečné.
Je to záměrně ortogonální pohyb. Debaty o schopnostech modelu jsou podle Taoa neřešitelné jak abstraktně, tak i mimo mísu. Naléhavé otázky – k čemu je matematika a čeho si její praktici skutečně cení – by vyžadovaly odpovědi, i kdyby se pokrok AI zítra zastavil.
Důkaz nedostatku, důkaz hojnosti a Goodhartův zákon
Ústředním bodem eseje je případová studie o řešení problémů, součásti matematické praxe, která je automatizací přímo ohrožena. Tao zkoumá, co se stane, když pole přejde z ekonomiky nedostatku důkazů – kde jsou ověřené, originální důkazy vzácné a vzácné – k ekonomice s nadbytkem důkazů, kde jsou strojově generované argumenty levné a hojné.
Jeho seznam klíčových slov signalizuje půdu, kterou pokrývá: formalizace, asistenti důkazů, peer review, Goodhartův zákon. Tato poslední položka – zásada, že opatření přestává být dobrým opatřením, jakmile se stane cílem – se neustále opakuje. Počty publikací, výsledky soutěží a původ teorémů, to vše sloužilo jako zástupné znaky matematického příspěvku. Ve světě, kde umělá inteligence může tyto proxy nafouknout ve velkém, bude komunita muset odměňovat to, čeho si skutečně cení, spíše než to, co byla historicky schopna počítat.
Esej končí doporučeními a průzkumem nově vznikajících pracovních postupů – včetně formálních důkazních prostředí typu, který Tao sám prosazoval v experimentech s formálně ověřenou matematikou podporovanou umělou inteligencí – spolu s upřímným uznáním, že odpověď komunity se bude vyvíjet spolu s technologií.
Proč má esej o matematice význam mimo matematiku
Tao je neobvyklá postava: Fields Medalist, který strávil roky přímou prací s důkazními asistenty a nástroji AI, místo aby je na dálku komentoval. Tato praktická angažovanost dává eseji váhu nad rámec čisté matematiky, protože téměř každá výzkumná disciplína čelí stejné inverzi, kterou popisuje. Vzájemné hodnocení, autorství, zásluhy a definice příspěvku jsou pod stejným tlakem ve fyzice, biologii a informatice – v oborech, kterým matematika postrádá stoletý náskok v objasňování jejich základů.
Dosavadní příjem naznačuje, že argument přistál. Diskusní vlákna se soustředila na Taoovo rámování „od nedostatku k hojnosti“ jako na užitečnou čočku pro akademickou obec jako celek, se zvláštním zřetelem k jeho názoru, že krizi hodnot, na rozdíl od krize základů, nemůže vyřešit malá skupina logiků. Bude to muset vypracovat celá komunita – časopisy, náborové komise, grantové orgány a matematici, jejichž kariéry jsou postaveny na implicitních normách, které jsou nyní pod tlakem.
Taův závěr je v konečném důsledku spíše konstruktivní než znepokojený. Základní krize vytvořila důvěryhodný rámec, který přežil století testování. Důkladné a poctivé prozkoumání toho, čeho si matematika skutečně cení, tvrdí, by mohlo tuto disciplínu zanechat silnější a odolnější než dříve – za předpokladu, že komunita udělá práci na tom, aby svá nepsaná pravidla jasně vyjádřila dříve, než se pro ni okolnosti rozhodnou.
---
Stay Ahead of AIZískejte nejnovější zprávy, analýzy a průlomové informace o umělé inteligenci – vše na jednom místě.
Přečtěte si další zprávy o AI →
