证伪一个中心猜想：一个 OpenAI 模型解决了有 80 年历史的单位距离问题（unit distance problem），证伪了离散几何（discrete geometry）中的一个中心猜想，被视为 AI 驱动数学的里程碑
An OpenAI model has disproved a central conjecture in discrete geometry
精选评分 88
导读
OpenAI 发布一项数学结果：其一个模型解决了悬置 80 年的单位距离问题，由此证伪了离散几何里的一个中心猜想（central conjecture）。单位距离问题是该领域的基础问题之一，这次是 AI 在数学上给出的可核查的反例级成果，被称为 AI 驱动数学的里程碑。
推荐理由
证伪一个有 80 年历史的中心猜想是硬结果，不是演示；分量与 Navier–Stokes 那条同级，是本次铺批最重要的一条。
主体与标签
#论文/研究#推理
正文
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.