The Decoder· Manuel Uth·· 3 hours agoFeaturedAI Score85
Google DeepMind's AlphaProof Nexus solved dozens of open math problems and actually got peer reviewed
Google Deepmind's AlphaProof Nexus solved dozens of open math problems and actually got peer reviewed
AI summary
Google DeepMind's AlphaProof Nexus solved dozens of open math problems on its own.
Why it matters
The peer-reviewed results and Lean-based verification loop show how formal proof checking is being folded into AI math work.
Source: The Decoder · the-decoder.com