Key Takeaways OpenAI solved Paul Erdős’ 1946 puzzle with n^(1+δ) unit-distance constructions. Princeton verified the result, giving AI a 2026 credibility boost in mathematics. Tim Gowers says the advance could influence cryptography and proofs beyond geometry. An 80-year-old geometry riddle finally budged when an OpenAI system stitched together an unlikely construction that beat long-standing expectations. …
Continue reading “An AI Cracks an 80-Year-Old Geometry Puzzle. What Do Mathematicians Make of It?”
