OpenAI's Reasoning Model Cracks an 80-Year-Old Geometry Conjecture

An OpenAI model has reportedly overturned the planar unit distance conjecture — a problem posed by Paul Erdős in 1946 — marking a new frontier for AI in rigorous mathematical proof.

OpenAI announced that one of its reasoning models has overturned the planar unit distance conjecture, a problem in combinatorial geometry first posed by the legendary mathematician Paul Erdős in 1946. As @paramiao described it, this marks "AI for Science's entry into the deep waters of rigorous mathematical proofs," and @MoClaw_AI highlighted it as one of the day's top stories.

Unlock the full briefing

Get every story in today's briefing, the full archive, and the daily AI intelligence brief.

All stories today

Full archive

Daily brief

Cancel anytime. Payments powered by Stripe.