Lu sur le web
26/05/2019 12h00, par clubic.com
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.
A lire aussi
Les dernières infos électronique
03/04/2024 07h59 : Comment maximiser la durée de vie des disques durs ?