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.
Subscribe to unlock all stories
Get full access to The Singularity Ledger, archive included.
Cancel anytime. Payments powered by Stripe.