Yesterday, an internal model at OpenAI disproved the Erdős unit-distance conjecture. The conjecture...

An internal OpenAI model autonomously disproved Paul Erdős's unit distance conjecture, marking a milestone in AI-driven mathematical discovery.

OpenAI's reasoning model disproved Paul Erdős' 80-year-old planar unit distance conjecture, validated by Fields Medalist Tim Gowers and Princeton's Will Sawin.