An OpenAI model solved a famous math problem that stumped humans for 80 years

In mid-May, OpenAI announced that an internal AI model had disproved the Erdős unit distance conjecture, a famous problem in ...
eWeek

OpenAI’s Model Solves 80-Year-Old Math Problem

OpenAI says an AI reasoning model disproved an 80-year-old Erdős geometry conjecture, raising new questions about AI’s role ...

OpenAI claims it solved an 80-year-old math problem — for real this time

OpenAI claims its reasoning model disproved a geometry conjecture unsolved since 1946 — and this time, the mathematicians who ...

An OpenAI Model ‘Disproved’ a Famous Math Conjecture. This Mathematician Couldn’t Leave It Alone

Mathematician Will Sawin discusses his experience reviewing and refining a mathematical proof devised by OpenAI's internal ...
insider.si.edu

Model for Descriptive Geometry by A. Jullien - Representation of a Point

CC0 Usage Conditions ApplyClick for more information. IIIF provides researchers rich metadata and media viewing options for comparison of works across cultural heritage collections. Visit the IIIF ...