Retour en haut
Nous contacter Suivez-nous

Lu sur le web

Une IA créée par Google prouve plus de 1200 théorèmes mathématiques

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.

Lire l'actualité / En savoir plus 

A lire aussi

Actualité électronique

Suivez-nous !

©2001-2024 lelectronique.com par Tours'nCréa - Tous droits de reproduction et de représentation réservés

Partenaires : Choisir aspirateur | Jeremy Express Plomberie Paris