Commentaires : 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 recherche.

Il n’y a pas un algorithme qui rendrait le monde plus juste et équitable ?

Pourvu que ce ne soit pas le mien, j’ai toujours envie de recevoir mon courrier.

1 J'aime

En 2030, cette IA sera la présidente du monde, elle sera considérée comme une oracle !

J’allais le dire et une IA qui permettrait de vivre heureux qu 'il faut formaliser
ou Sigma des bonheurs individuel est le plus grand
Parce que le problème dans leur équation c’est qu’ils ont pas la bonne question, eux ils cherchent “Comment rendre Google plus riche et plus puissant ?”