How DeepMind’s AI Solved Nine Erdős Problems for Only a Few Hundred Dollars Each
DeepMind’s AlphaProof Nexus framework enabled an AI agent to automatically prove and verify nine long‑standing Erdős conjectures at a cost of only a few hundred dollars per problem, using a simple “think‑try” loop and a more advanced multi‑agent evolution architecture, and demonstrating a shift toward leveraging raw large‑model reasoning for formal mathematics.
