AM (Automated Mathematician)

Kapcsolódó fogalmak: 
felfedező rendszerek
Kapcsolódó fogalmak: 
Goldbach-sejtés
Rövid szöveges bemutatás: 
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.