Un groupe de chercheurs de Google a développé un programme d’Intelligence Artificielle chargé de prouver des théorèmes mathématiques. Certains mathématiciens y voient déjà l’avenir de la recherche. [Lire plus…]
Short link : https://lmc.today/igiq