OpenAI 的一个内部推理模型给出了 Erdős 1946 年单位距离猜想的反例,这是 AI 系统首次自主解决一个知名开放数学问题。近 80 年来,数学家一直认为方格在放置 n 个点以最大化单位距离点对时基本最优。新的构造使用带 3-幂 Galois 群的 totally real number fields 的无限 unramified tower,生成的 n 点集合拥有超过 n^(1.014) 个单位距离。9 位外部数学家准备了一篇人类验证过的伴随论文,其中包括 Noga Alon、Tim Gowers 和 Melanie Matchett Wood。