Étiquette : mathématiques

L’intelligence artificielle et les outils de vérification formelle comme Lean pourraient transformer profondément les mathématiques, en permettant aux machines de vérifier et même d’aider à produire des théorèmes complexes.