unit-distance-problem-42a7d0e6·1 events·first seen Aliases: unit distance problem
An OpenAI model has disproved a major conjecture in discrete geometry by solving the 80-year-old unit distance problem. This represents a milestone in AI-driven mathematical reasoning, demonstrating that frontier AI systems can produce novel, verifiable mathematical results rather than merely verifying or assisting with known proofs. The announcement comes from OpenAI's official blog, indicating a significant capability demonstration.