AI CRACKS MATH’S UNSOLVABLE PROBLEMS
Last week marked a watershed moment in AI mathematics. OpenAI announced on May 20, 2026, that its AI had disproved an 80-year-old Erdős conjecture — the first time AI autonomously cracked a prominent unsolved problem. Days later, Google DeepMind delivered a stunning counterpunch: its AlphaProof Nexus system had solved nine open Erdős problems, including two











