Det begyndte i 1958. Her forudsagde AI-pionererne Herbert Simon og Allen Newell, at kunstig intelligens ville være i stand til at finde og bevise en rigtig matematisk sætning, inden der var gået ti år. Simon og Newells spådom var ikke grebet ud af ingenting, for de havde skabt et system, der på egen hånd kunne bevise simple matematiske sætninger. Så mon ikke man kunne få rigtig matematik ud af det, hvis man bare gjorde systemet hurtigere og større?

Det kunne man ikke, viste det sig. Rigtig matematik er noget helt andet end de simple legetøjseksempler, systemet havde arbejdet med, og kunstige intelligens har lige siden haft forbavsende svært ved at skabe ny matematik. Man kunne tro, at den strenge logik, man finder i matematiske beviser, ville gøre det let for en computer at lave dem på egen hånd, men nej. I sammenligning med menneskelige matematikere er computere stadig på begynderniveau, formentlig fordi mennesker kan kombinere logisk tænkning med andre kognitive teknikker, som computere ikke har adgang til.