@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.
OpenAI claims a general-purpose reasoning model found a counterexample to Erdos's unit-distance bound [D]
OpenAI claims its general-purpose reasoning model discovered a counterexample to the conjectured upper bound in Erdős's planar unit-distance problem, producing a proof reviewed by mathematicians.