other
unit distance problem
otheractive
unit-distance-problem-42a7d0e6·1 events·first seen 27d agoAliases: unit distance problem
Co-occurring entities
More like this (12)
Recent events (1)
An OpenAI model has disproved a central conjecture in discrete geometry
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.