Google DeepMind's Al agent autonomously solved 9 of 353 open Erdos problems in mathematics, at a cost of a few hundred dollars per problem.
Summary
Google DeepMind's AI agent autonomously solved 9 of 353 open Erdős problems in mathematics at a cost of a few hundred dollars per problem.
Similar Articles
@FinanceYF5: Google DeepMind releases AlphaProof Nexus paper: AI agent autonomously solves 9 Erdős problems among 353 open math problems, including two unsolved for 56 years, and proves 44 OEIS conjectures. Each problem costs only a few hundred dollars in reasoning.
Google DeepMind releases AlphaProof Nexus paper. The AI agent autonomously solved 9 Erdős problems among 353 open math problems (including two unsolved for 56 years) and proved 44 OEIS conjectures. The reasoning cost per problem is only a few hundred dollars.
Google DeepMind's AlphaProof Nexus solves decades-old math problems for a few hundred dollars (7 minute read)
Google DeepMind's AlphaProof Nexus combines LLM-driven proof generation with machine verification using Lean, solving nine out of 353 open Erdős problems, two of which had been open for 56 years, at a cost of only a few hundred dollars per problem.
Why the Legendary Erdős Problems Are Falling to AI
OpenAI's AI models have solved multiple famous Erdős problems, including the unit distance conjecture, prompting mathematicians to reconsider how AI is transforming mathematical research.
OpenAI general purpose model had a breakthrough on famous 80 year old Erdos problem. “This marks the first time AI has autonomously solved a prominent open problem central to a field of mathematics”
OpenAI's general-purpose reasoning model autonomously solved the planar unit distance problem, a famous open problem in mathematics posed by Paul Erdős in 1946, marking the first time AI has independently solved a prominent open problem in a field of mathematics.
AI solves 80-year-old math conjecture for under $1000
GPT-next solved the 80-year-old Erdős unit distance problem for under $1,000, marking a shift from AI as tool to AI as independent discoverer. The article also covers infrastructure growth, labor impacts, and governance debates triggered by this milestone.