Il Matematico Automatico (in inglese Automated Mathematician, abbreviato in AM) è stato uno dei primi sistemi di scoperta, ovvero intelligenze artificiali per la scoperta di concetti e leggi scientifiche, ad avere successo. Fu creato da Douglas Lenat tramite linguaggio di programmazione Lisp, e nel 1977 valse a Lenat il conferimento dell'IJCAI Computers and Thought Award.
Il Matematico Automatico funzionava tramite la generazione e la modifica di piccoli programmi in Lisp che erano poi interpretati come definizione di svariati concetti matematici; per esempio, un programma che testava l'uguaglianza tra le lunghezze di due liste era considerato rappresentare il concetto di uguaglianza numerica, mentre un programma che produceva una lista la cui lunghezza era il prodotto delle lunghezze di due altre liste era interpretato come rappresentazione del concetto di moltiplicazione. Il sistema possedeva euristiche elaborate per scegliere quali programmi estendere e modificare, basate sull'esperienza dei matematici al lavoro nella risoluzione di problemi.