Gemini 3.1 Pro

Benefit

+4.13

Harm

0.00

Net Good

4.13

Verified benefit

0.00

History

Cumulative score

Benefit
Harm
Net

Domains

Mathematics4.13

Release

Status released. First dated 21 May 2026.

Event timeline

Benefit21 May 2026

AlphaProof Nexus produces Lean proofs for nine Erdős instances and 44 OEIS conjectures

A 21 May 2026 DeepMind preprint reports formal proofs for nine of 353 Erdős problem instances and 44 of 492 OEIS conjectures, plus research collaborations. Its Gemini-led agents publish Lean artifacts; independent records distinguish full, partial, and variant results.

MathematicsprovisionalTier 3 Major+4.13