Published 4 months ago • loading... • Updated 4 months ago
OpenAI Reportedly Cracks 80-Year-Old Math Conjecture
OpenAI said the model found an infinite family of point arrangements that beat the classic grid approach, and external mathematicians verified the proof.
OpenAI reported that its internal reasoning model has produced a proof challenging longstanding assumptions in mathematics.
For nearly 80 years, mathematicians believed the best solutions resembled square grids.
OpenAI claims its model has created a proof that disproves a famous conjecture posed by Paul Erdős in 1946.
Misha Rudnev remarked that this was a problem he didn’t expect to see solved in his lifetime.