OpenAI 模型证伪了离散几何中的一个核心猜想

一个通用推理模型自主证伪了 Erdős 于 1946 年提出的平面单位距离猜想：它构造出无穷多个点集，使单位距离对数量达到 n^{1+δ}（δ>0），实现了对长期占优的「方形网格」构造的多项式级改进。证明已由外部数学家核验，并首次展示了 AI 自主解决数学子领域核心公开问题。