An OpenAI model has disproved a central conjecture in discrete geometry
中文摘要
OpenAI的模型解决了困扰80年的单位距离问题，推翻了离散几何的核心猜想，成为AI驱动数学研究的里程碑。
English Summary
An OpenAI model solved the 80-year-old unit distance problem, disproving a key discrete geometry conjecture and marking a milestone in AI-driven mathematics.
Original Excerpt
An OpenAI model solved the 80-year-old unit distance problem, disproving a major conjecture in discrete geometry and marking a milestone in AI-driven mathematics.