AIThe Decoderabout 2 hours ago
Deepmind AlphaProof Nexus Solves Math Problems
1 min read
Google Deepmind's AlphaProof Nexus solved nine of 353 open Erdős problems, two unsolved for 56 years. The system also proved 44 conjectures from the OEIS database. Built around Gemini 3.1 Pro and Lean, the AI passed peer review in Science, contrasting with OpenAI's recent unreviewed GitHub dump.
Level
Hype check
Tap to vote and see what everyone thinks.
In this storyGoogle
