Une IA créée par Google prouve plus de 1200 théorèmes mathématiques, par Sylvain Nawrocki (clubic.com)
Une IA créée par Google prouve plus de 1200 théorèmes mathématiques
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 r...
#Recherches - technologies et entreprises en action, #Comprendre les enjeux des nouvelles technologies