@OpenAI: What happened when one of our models found a counterexample to an 80-year-old Erdős conjecture? Researchers @alexwei_, …
Summary
An OpenAI model found a counterexample to an 80-year-old Erdős conjecture, with researchers sharing the story on the OpenAI Podcast about how AI and mathematicians can collaborate on mathematical discoveries.
Similar Articles
@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.
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.
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.
How a reasoning model cracked an 80-year-old math problem — the OpenAI Podcast Ep. 20
The OpenAI reasoning model successfully constructed a counterexample, disproving the 80-year-old Erdős unit distance conjecture, demonstrating the capability of general-purpose models to solve open math problems.
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.