Erdos problem solver experienced sleepless nights over math internal OpenAI model has solved
Summary
A post on X criticizes academia for underestimating AI advancements, pointing to OpenAI's model solving Erdős problems as evidence of major progress.
Similar Articles
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.
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)
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.
@wjmzbmr1: 1/ Today, an internal @OpenAI model has refuted Erdős’s unit distance conjecture — a research result that one could rec…
An internal OpenAI model has disproved Erdős's unit distance conjecture, solving a famous open problem in mathematics and demonstrating AI's potential to contribute to high-level research.