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.
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.
An OpenAI model solved a famous math problem that stumped humans for 80 years
OpenAI's AI model disproved the Erdős unit distance conjecture, a famous problem in discrete geometry that had stumped mathematicians for 80 years, marking a milestone in AI mathematics.