Fetching from the wire…
01
02
03
04
05
06
07
08
Research2026-05-25 · source-backed
Google DeepMind's AlphaProof Nexus, published as arXiv 2605.22763v1, fused Gemini 3.1 Pro with the Lean formal proof assistant to solve 9 of 353 open Erdős problems and prove 44 of 492 open OEIS conjectures. Two problems had been open for 56 years. Machine-checkable formal proofs, a few hundred dollars per problem. The most credible demonstration of AI doing genuine mathematical research.
Each link below shares sources, entities, or timing with this story.
Terence Tao uses Lean / Shared entities / Same source domain / Shared topic / What happened next
Linked by a graph relationship (Terence Tao uses Lean); both cover Lean, Machine; reported by the same outlet (reddit.com).
Gemini built by Google / Shared entities / What happened next
Linked by a graph relationship (Gemini built by Google); both cover Gemini, Google DeepMind; picks up the Gemini thread on 2026-06-26.
Codex competes with Gemini / Shared entity: Gemini / Shared topic / What happened next / Tension
Linked by a graph relationship (Codex competes with Gemini); both cover Gemini; overlapping topics (each, gemini).
Google DeepMind released AlphaEvolve / Shared entities / Earlier coverage
Linked by a graph relationship (Google DeepMind released AlphaEvolve); both cover Gemini, Google DeepMind; earlier Gemini coverage from 2026-05-10.
Gemini built by Google / Shared entity: Gemini / Shared topic / What happened next
Linked by a graph relationship (Gemini built by Google); both cover Gemini; overlapping topics (been, gemini).
AlphaProof Nexus built by DeepMind / Shared entity: Gemini / Shared topic / What happened next
Linked by a graph relationship (AlphaProof Nexus built by DeepMind); both cover Gemini; overlapping topics (deepmind, gemini).
Terence Tao uses Lean / Shared entity: Google DeepMind / Shared topic / What happened next
Linked by a graph relationship (Terence Tao uses Lean); both cover Google DeepMind; overlapping topics (conjectur, deepmind, problem).
Gemini built by Google / Shared entity: Gemini / Same source domain / Earlier coverage
Linked by a graph relationship (Gemini built by Google); both cover Gemini; reported by the same outlet (reddit.com).