La plateforme AlphaProof Nexus de Google DeepMind résout 9 problèmes d’Erdős le 26 mai, le plus ancien restant non résolu depuis 56 ans

D’après xinzhiyuan, Google DeepMind a publié AlphaProof Nexus le 26 mai, un agent de mathématiques basé sur l’IA qui a résolu neuf problèmes ouverts de longue date d’Erdős, dont le plus ancien restait sans solution depuis 56 ans. Le coût par solution n’était que de plusieurs centaines de dollars.

Chaque preuve a été vérifiée formellement par le compilateur Lean, éliminant tout risque d’erreur. DeepMind a également fait état de percées en géométrie algébrique, en optimisation convexe, en théorie des graphes et en optique quantique.