AlphaProof Nexus résout des problèmes mathématiques vieux de 56 ans
AlphaProof Nexus, un système combinant LLM et vérification automatique, a résolu 9 problèmes mathématiques ouverts d'Erdős et 44 conjectures de l'OEIS. Le coût d'inférence était de quelques centaines de dollars par problème. Le système utilise quatre agents avec des capacités croissantes, le plus simple (Agent A) étant également efficace.
« AlphaProof Nexus combines LLM-driven proof generation with machine verification to crack open math research problems that have stumped mathematicians for decades. » — The Decoder
Que faut-il retenir ?
- AlphaProof Nexus a résolu 9 des 353 problèmes ouverts d'Erdős tentés, dont deux vieux de 56 ans.
- Le système a prouvé 44 des 492 conjectures ouvertes de l'OEIS.
- Le coût d'inférence était de quelques centaines de dollars par problème.
- L'Agent (A), le plus simple, a également résolu les 9 problèmes d'Erdős, bien que plus cher pour les plus difficiles.
Pourquoi cette nouvelle compte-t-elle ?
Cette avancée montre comment l'IA peut résoudre des problèmes mathématiques complexes à faible coût, ouvrant de nouvelles possibilités pour la recherche. Les professionnels peuvent utiliser ces outils pour explorer des conjectures non résolues et gagner du temps. La combinaison de LLM et de vérification automatique réduit les erreurs et améliore la fiabilité.
9 problèmes ouverts d'Erdős résolus sur 353 tentés
Public concerné : développeurs, entreprises
Comment AlphaProof Nexus résout-il des problèmes mathématiques complexes ?
AlphaProof Nexus combine des LLM pour générer des preuves et une vérification automatique via le compilateur Lean. Les erreurs sont réinjectées pour améliorer les tentatives suivantes, ce qui permet de résoudre des problèmes complexes à faible coût.
Commentaires (0)
💡 Aucun lien externe ni code HTML accepté. Soyez respectueux. Les commentaires sont modérés avant publication.
Aucun commentaire pour le moment. Soyez le premier !