Filosofická esej, která tvrdí, že matematické objevy řízené umělou inteligencí nemusí snižovat hodnotu lidského matematického života, vzbudila širokou pozornost poté, co se objevila na blogu Terence Taa, matematika UCLA široce považovaného za jednoho z nejlepších žijících matematiků. „Egoless Mathematics in the AI ​​Era“, publikovaný 2. listopadu, je hostujícím příspěvkem počítačových vědců Karthik C. S., Amit Sahai a Jie Xue – s Tao poznamenal, že převedl text pro publikaci pomocí AI. Esej se rychle vyšplhala na Hacker News, kde čtenáři diskutovali o jejím ústředním tvrzení: že matematika byla krásná ještě předtím, než se kdokoli z nás narodil, a její hodnota nezávisí na tom, kdo tyto objevy učinil.

Dílo přichází ve chvíli, kdy se strojová pomoc v matematice přesunula z novosti do infrastruktury. Formální důkazy ověřené pomocí umělé inteligence, strojově generovaných dohadů a systémů umělé inteligence přispívajících k výsledkům na úrovni výzkumu přinutily pracující matematiky, aby se zeptali nejen na to, co stroje dokážou, ale také na to, co z povolání zbývá, pokud je odpověď „většina z toho“. Odpověď v eseji je neobvyklá mezi aktuálními zprávami o AI v této sezóně: ​​namísto obhajoby lidské důležitosti před stroji argumentuje pro úplné opuštění této soutěže.

Dva pohledy na matematiku, jeden tlakový bod

Autoři vycházejí z nejstaršího rozkolu ve filozofii matematiky: zda matematici vymýšlejí svůj předmět – zavádějí pojmy, volí axiomy, vytvářejí teorie – nebo objevují pravdy, které existují nezávisle na nich. Platónský pohled, jak píší, poskytuje přirozený popis této nezávislosti: "existovalo nekonečně mnoho prvočísel, než někdo dokázal tuto skutečnost." Matematická pravda nečeká na naše uznání, ani od ní nepřijímá svou autoritu.

Objevování, varují, není pasivita. Paleontolog hledající zkameněliny se musí rozhodnout, kde bude vykopávat, vyvinout techniky a rozpoznat význam neúplných pozůstatků. Podobně matematický objev může vyžadovat vynalezení celého jazyka a rámce, díky kterému se dříve neviditelná struktura stane viditelnou. Pravdy nás předcházejí; cesty k nim jsou až dolů lidské.

Z tohoto základu esej buduje svůj tlakový bod: správné odvození není totéž jako pochopení jeho významu. Axiomatický systém umožňuje neomezeně mnoho dedukcí, ale schopnost je produkovat neposkytuje hodnotné směry zkoumání. "Matematické výroky mohou být formálně správné, aniž by byly poučné," píší autoři. "Můžeme zavést nespočet definic a dokázat o nich nespočet tvrzení. Co dělá jednu definici osvětlující?" Je to přesně ta otázka, která se objeví vždy, když systém AI zaplaví formální úložiště platnými, ale nemotivovanými výsledky.

Past určování hodnoty strojem

Nejostřejší argument eseje je zaměřen na krok obvyklý v současném diskurzu o AI: ochrana lidské hodnoty ústupem k tomu, co stroje ještě neumí. „Odpovědí nemůže být jednoduše hledat útočiště ve výrazně lidských schopnostech, jako je kreativita, intuice nebo vkus,“ argumentují autoři. "Pokud si těchto schopností vážíme především proto, že nám dávají výhodu nad stroji, zůstáváme uvězněni ve stejném pojetí intelektuální hodnoty. Proč by hodnota našeho úsilí měla záviset na tom, že jsme v tom lepší než někdo nebo něco jiného?"

Rozšiřují kritiku na motivační strukturu samotného akademického života. Autoři připouštějí, že publikace, citace a ocenění jsou užitečnými ukazateli, ale stávají se patologickými, když definují hodnotu díla. Měřeno tímto způsobem se matematici stávají souborem produktivních schopností a matematika se stává jejich výstupem – rámcem, ve kterém stroj, který překonává člověka, prostě vítězí. Esej navrhuje alternativu, kterou uvádí ve svém názvu: matematiku bez ega, praxi, ve které hodnota plyne z kontaktu s pravdou spíše než z prvenství při jejím vytváření.

Podle tohoto názoru se objevy vytvořené umělou inteligencí nestávají příležitostí pro smutek ani pro stav úzkosti. "Pravda se stala přístupnou; její hodnota není snižována absencí našeho autorství," píší autoři. Esej dokonce nabízejí jako mírovou smlouvu mezi těmito dvěma tábory, která nyní rozděluje mnoho matematických oddělení – těch, kteří jsou nadšeni nástroji umělé inteligence, a těch, kteří se z principu zdržují – tím, že naznačují, že obě mohou odrážet stejný základní závazek k matematice samotné.

Ramanujanův myšlenkový experiment k uzavření

Esej uzavírá myšlenkový experiment čerpaný z matematické historie. Ramanujan údajně řekl: „Rovnice pro mě nemá žádný význam, pokud nevyjadřuje myšlenku na Boha“ – text, který autoři citují z biografie Roberta Kanigela z roku 1991 „Muž, který znal nekonečno“ (zveřejněno v roce 1991, citováno v jejich příspěvku z vydání z roku 1992). Kdyby byl dnes naživu a byl svědkem pokroků AI v matematice, znepokojilo by ho, co by to mohlo znamenat pro jeho záměr jako matematika?

Autoři jsou upřímní o svém vlastním postavení. „My, autoři této eseje, jsme ještě zdaleka nedosáhli takové bezohlednosti,“ přiznávají a popisují ideál eseje jako ideál, o který chtějí usilovat. A předpokládají zřejmou námitku – že to všechno zní jako žádat matematiky, aby se stali svatými. „Pokud nás žádá, abychom rostli ve ctnosti a vzdali se připoutanosti k vlastní důležitosti, není tento dojem daleko od pravdy,“ píší s tím, že radost z porozumění je trvalejší než uspokojení z umístění nad soupeři.

Zda tento argument přesvědčí pracující matematiky, je samostatná otázka – vlákna komentářů k eseji ukazují spoustu skeptiků, kteří si myslí, že ekonomie akademické kariéry dělá z filozofie luxus. Ale jako dokument okamžiku zachycuje něco skutečného: obory, které jsou nejblíže pokroku AI, jsou ty, které jsou nejvíce nuceny formulovat, proč na jejich práci záleží, a jeden z nejsledovanějších hlasů matematiky nyní propůjčil svou platformu odpovědi, která ani jednou nezmiňuje měřítka, produktivitu nebo národní konkurenci.

---

Stay Ahead of AI

Zí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 →