OpenAI's internal reasoning model autonomously disproved the planar unit distance conjecture, a mathematical problem posed by Paul Erdős in 1946 that had remained unsolved for nearly 80 years. The AI …
OpenAI announced that an internal AI model produced a proof resolving the planar unit distance problem, a geometry conjecture posed by mathematician Paul Erdős in 1946. Mathematicians including Timoth…
OpenAI announced on May 20 that an internal general-purpose reasoning model produced a proof disproving Paul Erdos's planar unit distance conjecture, a problem first posed in 1946. External mathematic…
OpenAI announced on May 20 that an internal general-purpose reasoning model disproved the planar unit distance problem, a conjecture posed by mathematician Paul Erdős in 1946, by producing an infinite…
An unnamed internal OpenAI model disproved an 80-year-old geometry conjecture by mathematician Paul Erdős, marking the first verifiably new and non-trivial mathematical contribution autonomously produ…