Stephen Wolfram strávil čtyři desetiletí vytvářením softwaru, který automatizuje matematiku, a nyní zjišťuje, že se brání myšlence, že umělá inteligence dokončí práci. V dlouhém eseji nazvaném „Jaká je budoucnost čistého matematického výzkumu ve věku AI?“, zveřejněném na jeho blogu Writings a znovu rozdmýchané debatě na Hacker News tento víkend, fyzik a zakladatel Wolfram Research tvrdí, že výzvy k předání čisté matematiky AI spočívají podle jeho slov v „základních nedorozuměních“ a o tom, co AI dělá.
"Titulky neustále přicházejí: takový a takový systém umělé inteligence vyřešil takový a takový matematický problém," píše Wolfram v úvodu eseje. Co následuje po těchto titulcích, říká, je známý závěr – že lidští matematici už možná nejsou potřeba – a netrpělivost z jeho strany s argumenty, které ignorují historii jeho vlastního oboru. For more context on this story, see our ongoing AI trends.
Precedens Mathematica
Wolframův protiargument začíná osobní historií. Vzpomíná, že když byla v roce 1988 spuštěna Mathematica, hovořilo se podobně o tom, že matematika bude zautomatizována do zbytečnosti. Tak se to nehrálo. Software sice nahradil určité mechanické úlohy – „jestliže vypracování symbolických integrálů bylo tím, o čem si člověk myslí, že matematika skutečně spočívá, pak ano, Mathematica to v podstatě nahradila,“ píše – ale jádro čisté matematiky, část, která definuje disciplínu, zůstalo nedotčeno. Místo toho automatizace zvýšila úroveň, na kterou mohli matematickí praktici dosáhnout.
Na rozdílu záleží, protože podle Wolframa není aplikace matematické techniky to samé jako matematický výzkum. Výpočty, které kdysi spotřebovávaly kariéru, se staly jednořádkovým voláním a matematici postoupili na žebříčku abstrakce, spíše než aby přišli o práci.
K čemu je AI v matematice vlastně dobrá
Esej zdaleka neodmítá moderní AI. Wolfram to nazývá „nepochybně užitečným, někdy velmi užitečným“ a jeho největší přínos matematice označuje jako schopnost těžit nashromážděné znalosti v oboru. Tam, kde se výzkumník v 70. letech 20. století spoléhal na vyhledávání klíčových slov v literatuře, mohou moderní systémy vynořit spojení napříč skupinami práce, které si žádný člověk nedokázal představit.
"Lidé to běžně dělají také," píše o skládání výsledků do nových závěrů. "Ale mají tendenci přečíst jen stovky článků; AI jich přečetly miliony." Asymetrie dělá z umělé inteligence mocného spolupracovníka při hledání překvapivých kombinací známých výsledků.
Ale získávání a rekombinace, tvrdí, naráží na hranici. "Skvělá matematika je - více než cokoli jiného - definována otázkami, které klade." A otázky podle něj pocházejí z lidské představivosti. Umělá inteligence dokáže automatizovat to, co dříve museli matematici dělat sami; ještě nemůže rozhodnout, co stojí za to dělat.
Výpočet generuje teorémy, nikoli význam
Nejostřejší část eseje odlišuje moderní AI od surového počítání, což je rozdíl, který Wolfram rozvíjí od své práce na celulárních automatech v 80. letech. Čistý výpočet, poznamenává, může donekonečna generovat nové teorémy – nekonečnou posloupnost matematických faktů, kompletní s překvapením a originalitou, bez nutnosti umělé inteligence. Jeho vlastní koncept výpočetní neredukovatelnosti implikuje, že jednoduchá pravidla mohou produkovat výsledky, které žádná zkratka nemůže předvídat.
Přesto jsou teorémy vytvořené tímto způsobem, jak říká, pouze „výsledky získanými z výpočetního vesmíru“. To, co povyšuje výsledek do matematiky, je jeho místo ve struktuře, kterou lidé považují za smysluplnou – úsudek o důležitosti, který žádný generační proces neposkytuje.
Proč čistá matematika vůbec existuje
Základem argumentu je spíše pohled na matematiku jako na lidskou instituci než na hromadu pravdivých tvrzení. Od Platóna a Euklida dále, píše Wolfram, byla čistá matematika určujícím příkladem abstraktního myšlení, které buduje stále větší strukturu – „jedinou největší intelektuální stavbu, kterou naše civilizace postavila“. Jeho obrat v devatenáctém století směrem k abstrakci jej oddělil od každodenní intuice a jeho hodnota vždy závisela na tom, jak odborníci rozhodovali, které části prostoru nekonečných možností si zaslouží pozornost.
Wolframův vlastní výzkum tuto otázku obtáčí léta, od prostoru všech možných systémů axiomů přes omezující strukturu sítě teorémů až po roli, kterou lidé hrají při definování disciplíny. Nová esej aplikuje toto pozadí na současnost: AI dramaticky mění ekonomiku matematické práce, ale směřování podniku – co dokazovat, o co se starat, co se počítá spíše jako centrální než okrajové – zůstává lidským dědictvím.
Nic z toho nedělá Wolframa skeptika AI; jeho společnost zavádí strojové učení do celé své produktové řady. To z něj dělá přesného. Jeho závěrem není, že umělá inteligence nechá matematiku nedotčenou, ale že zajímavou budoucností je spolupráce – stroje manipulující s váhou, vyhledáváním a ověřováním, zatímco lidé budou mít otázky ve správě. Esej naznačuje, že pokud je matematická důležitost spíše věcí úsudku než výpočtu, popis práce matematika přežije přechod, i když se téměř vše ostatní ohledně zaměstnání změní.
---
Stay Ahead of AIGet the latest AI news, analysis, and breakthroughs — all in one place.
Read more AI news →
