OpenAI披露，一款内部推理模型在离散几何中取得突破，推翻了Erdős于1946年提出的“平面单位距离问题”里的长期主流猜想。这个问题问的是：平面上放置n个点，最多能有多少对点之间距离正好等于1？过去几十年，数学家普遍认为方格构造基本接近最优，但AI找到了表现更好的无限构造族。外部数学家已检查该证明，图灵奖得主Tim Gowers称其为“AI数学的里程碑”。
#海外编译精选# http://t.cn/AX6ZGbSx