New York Times: Ak by umelá inteligencia dokázala spojiť intuíciu a logiku, nemala by hranice

V zbierke Gettyho múzea v Los Angeles sa nachádza portrét starogréckeho matematika Euklida zo 17. storočia: rozcuchaný, so špinavými rukami, v ktorých drží listy „elementov", svojho traktátu o geometrii.

Viac ako 2 000 rokov bol Euklidov text paradigmou matematickej argumentácie a uvažovania. „Euklides je známy tým, že začína ‚definíciami', ktoré sú takmer poetické," uviedol v e-maile Jeremy Avigad, logik z Carnegie Mellon University. „Na nich potom vybudoval vtedajšiu matematiku a dokazoval veci takým spôsobom, že každý nasledujúci krok ‚jasne vyplýval' z predchádzajúcich, pričom používal základné pojmy, definície a predchádzajúce tvrdenia." Dr. Avigad uviedol, že sa vyskytli sťažnosti, že niektoré Euklidove „jasné" kroky boli menej ako jasné, napriek tomu však systém fungoval.

V 20. storočí však matematici už neboli ochotní zakladať matematiku na tomto intuitívnom geometrickom základe. Namiesto toho vytvorili formálne systémy – presné symbolické reprezentácie, mechanické pravidlá. Táto formalizácia nakoniec umožnila preložiť matematiku do počítačového kódu. V roku 1976 sa veta o štyroch farbách, ktorá hovorí, že štyri farby stačia na vyplnenie mapy tak, aby žiadne dve susedné oblasti nemali rovnakú farbu, stala prvou významnou vetou dokázanou pomocou počítačovej hrubej sily.

Matematici teraz zápasia s najnovšou transformačnou silou: umelou inteligenciou.