The Decoder· Manuel Uth·· 3 hsélectionAI Score85
AlphaProof Nexus de Google DeepMind résout des dizaines de problèmes mathématiques ouverts et passe une évaluation par les pairs
Google Deepmind's AlphaProof Nexus solved dozens of open math problems and actually got peer reviewed
AI Introduction
Selon une nouvelle étude publiée dans Science, AlphaProof Nexus de Google DeepMind a résolu seul des dizaines de problèmes mathématiques ouverts.
Raison de la recommandation
L'article détaille les résultats mathématiques obtenus et le mécanisme de vérification Lean, utile pour situer les capacités de preuve des modèles.
Source :The Decoder · the-decoder.com