Automated Mathematician programot Doug Lenat fejlesztette ki 1982-ben. A program szabályok formájában megfogalmazott felfedező heurisztikákat használt fel arra, hogy elemi matematikai koncepciókat és sejtéseket keressen. A program nem használt bizonyítást, csak sejtéseket fogalmazott meg. Újra felfedezte többek között a Goldback-sejtést és az egyértelmű prímtényezőkre bontást is.