Google’s Gemini agents find new proofs for five unsolved math problems

Google’s Gemini-powered math agents have found proofs for five math problems, using a team of AI agents whose work gets graded by unforgiving automated checkers. The best-documented version of this approach is a framework DeepMind calls AlphaProof Nexus. It runs multiple independent prover subagents in multi-turn reasoning loops, powered by Gemini 3.1 Pro. The agents don’t fire off one answer and walk away. They reason, revise, and try again over several rounds until a proof either checks out or doesn’t. The numbers behind the headline AlphaProof Nexus resolved 9 out of 353 previously unsolved Erdős problems. Two of those nine had stumped mathematicians for 56 years. The same framework proved 44 out of 492 conjectures listed in the Online Encyclopedia of Integer Sequences, known as OEIS. DeepMind’s results came at a computational cost of only a few hundred dollars per problem. A detailed arXiv paper describing the work was posted around mid-2026. Domain experts reviewed the results and confirmed the proofs, along with the faithful formalization of the original conjectures. Formalization means translating a human-written math problem into precise machine-checkable language, and a sl...