OpenAI announced in mid-May that an internal AI model disproved the Erdős unit distance conjecture, a famous problem in discrete geometry that had remained unsolved for 80 years. The result marks the …
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…
Anthropic's Claude Mythos has solved OpenAI's landmark Erdős unit-distance conjecture with what an engineer called a "cute, simple proof," marking another AI-driven breakthrough in combinatorial geome…
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…
A major unsolved geometry problem known as the "unit distance" conjecture, first posed by mathematician Paul Erdős in 1946, has been solved by an AI chatbot developed by OpenAI. The AI produced a nove…