Google DeepMind a annoncé qu’AlphaProof Nexus a résolu neuf problèmes ouverts de mathématiques, dont deux restaient non élucidés depuis 56 ans. Le système, qui utilise le compilateur Lean pour vérifier chaque étape de preuve de manière autonome, a accompli ces prouesses pour un coût d’inférence de quelques centaines de dollars par problème.
Cette approche diffère de celle d’OpenAI, qui privilégie le langage naturel. Bien qu’impressionnante, la réussite globale d’AlphaProof Nexus se situe à 2,5 %, soulignant la complexité intrinsèque de la recherche mathématique.
Ces avancées ouvrent des perspectives sur l’utilisation de l’IA pour explorer des domaines scientifiques jusqu’alors inaccessibles.
Source : The Decoder