OAI researcher on Erdos problem: “This is the biggest deal in the history of AI so far. And it will look like a small deal at the end of the year.” (Buckle up)
Summary
An OpenAI researcher claims that their model's solution to an Erdős problem in discrete geometry is the biggest AI achievement to date, but predicts it will be overshadowed by end of year.
Similar Articles
Erdos problem solver experienced sleepless nights over math internal OpenAI model has solved
A post on X criticizes academia for underestimating AI advancements, pointing to OpenAI's model solving Erdős problems as evidence of major progress.
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.
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 claims it solved an 80-year-old math problem — for real this time
OpenAI claims its new reasoning model autonomously produced an original mathematical proof disproving an 80-year-old unsolved geometry conjecture by Paul Erdős, marking the first time AI has solved a prominent open problem central to a field of mathematics.
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.