IA mathematicien

NewScientist fait un article sur Aaron Sloman, un professeur de philosophie et sciences cognitives a l'universite de Birmingham.
Celui-ci tente de creer un programme d'IA dont le but serait d'etre un bon mathematicien doue de creativite.
Pour y arriver, il mise sur les algorithmes evolutionnaires ( .. algos genetiques + .. quoi? .. ) et tente de comprendre comment les enfants en bas age acquierent leurs premieres notions de mathematiques.
Il espere qu'en fabricant une intelligence d'enfant capable d'evoluer, il obtiendra un mathematicien... facile a dire..

L'article mentionne aussi les travaux d'Alison Pease de l'universite d'Edinburgh qui travaille egalement sur des programmes mathematiciens dont HR.
Pour etre a peu pres complet, je me souviens d'une presentation de Marvin Minsky sur l'histoire de l'intelligence artificielle qui mentionnait un programme capable de resoudre des theoremes mathematiques et qui a rendu obsolete une branche des mathematiques.
Il ne manque plus que le lien vers la video.