In May 2026, the mathematical community witnessed multiple major breakthroughs achieved by AI. Following OpenAI's refutation of Erdős' 80-year-old conjecture, Google DeepMind introduced a new AI mathematical agent, AlphaProof Nexus, which successfully solved 9 longstanding open Erdős problems that had remained unsolved for decades. The oldest of these problems had persisted for 56 years, with each solution costing only a few hundred dollars in computational resources. The proof processes were formally verified by the Lean compiler to ensure accuracy. Additionally, the agent made substantial progress across various mathematical branches, including the OEIS conjecture, algebraic geometry, convex optimization, graph theory, and quantum optics.