AI brief
Google DeepMind's AlphaProof Nexus solved dozens of open math problems, including nine Erdős problems, two of which had been unsolved for 56 years, according to a study in Science.
Why it matters: The work was peer reviewed, in contrast to OpenAI drawing a boycott for posting AI proofs on GitHub without peer review.
Written by AI from The Decoder's published text.
Background
From our own funding, model and news trackers, not from the source.
OpenAI
- Latest funding
- $30B · 31 Oct 2026
- Newest model on the API
- GPT-6.1 Terra Pro · 26 Oct 2026 · $1 in / $5 out per million tokens
Google
- Newest model on the API
- Gemini 4 Argon · 13 Oct 2026 · $2 in / $10 out per million tokens
- Last 30 days
- 156 news stories
Source
“Google Deepmind's AlphaProof Nexus solved dozens of open math problems, including nine Erdős problems two of which were unsolved for 56 years, per a study in Science.”
Reporting from a publisher outside the organisation being covered.
Read original story ↗