OpenAI 内部模型自主反驳 Erdős planar unit-distance 长期猜想，并获外部数学家检查

OpenAI 于 5 月 20 日公布：一个内部 general-purpose reasoning model 自主找到 planar unit distance problem 的突破，构造出无限多个 n，使单位距离对数至少为 n^(1+δ)（某个固定 δ>0），从而反驳长期流行的 n^(1+o(1)) 上界猜想。证明把 Golod–Shafarevich 理论、unramified towers 与代数数论结构引入该几何问题；OpenAI 表示结果由外部数学家检查，并公开 proof 与 companion remarks。