OpenAI: AI model disproves 80-year-old conjecture in discrete geometry
OpenAI announced that its AI model solved the open unit distance problem — a central conjecture in discrete geometry posed over 80 years ago. The company describes the result as a milestone in AI-driven mathematics, because the model did not merely verify an existing thesis but disproved it by constructing an original counterexample.