Google Deepmind's AlphaProof Nexus solved dozens of open math problems and actually got peer reviewed
DeepMind's AlphaProof Nexus, built on Gemini 3.1 Pro, solved long-open math problems in a peer-reviewed Science study.
66
AI model
AlphaProof
- Mentions · 7d0
- Mentions · 30d1
- All mentions1
- First seenOct 12, 2026
- Last mentioned18d ago
Timeline
1 articles · newest firstAppears with
- Gemini 3.1 Proai model · 1
- AlphaProof Nexusai model · 1
- Leanproduct · 1
- OpenAIorganization · 1
- Google DeepMindorganization · 1
Entities are extracted by the model from each article. First seen , last mentioned . Watching keeps it in this browser only (no account); the watchlist page and dashboard alerts use it.