En 2021, une IA a résolu un problème dans le domaine de la théorie des nSuds. À l'été 2024, AlphaProof, un modèle d'apprentissage par renforcement, a ...
Actualités similaires
Articles similaires à Mathématiques et IA : les théorèmes à l'heure de l'innovation algorithmique