Google Deepmind's AlphaProof Nexus solves decades-old math problems for a few hundred dollars

En 3 lignesAlphaProof Nexus de Google DeepMind a résolu autonomement neuf problèmes ouverts d'Erdős, dont deux non résolus depuis 56 ans, pour quelques centaines de dollars par problème. Le système utilise le compilateur Lean pour vérifier automatiquement chaque étape de preuve, avec un taux de succès de 2,5%.

Résumé généré par Claude — vérifié par l'humain