DeepMind's AlphaProof Nexus cracks decades-old math puzzles for cheap
Google DeepMind just introduced AlphaProof Nexus, an AI agent that solved nine open Erdős math problems and 44 OEIS conjectures. The system pairs an LLM with the Lean proof assistant to automatically generate and verify proofs, running at a cost of just a few hundred dollars per problem. Why it matters: AI is moving past standard contest benchmarks into genuine mathematical discovery, though problems demanding brand-new mathematical constructions remain out of reach.