dev.to #ai短讯
AI 解决了 Erdos 80 年前的数学难题
dev.to作者：Varma模型论文AI评分：90/100
OpenAI 推理模型推翻了存在 80 年的单位距离猜想。该猜想由 Paul Erdos 于 1946 年提出，预测二维平面中相距恰好为 1 单位的点对数量存在严格的次多项式上界。人类数学家因固有的对称性偏见未能证明或证伪。AI 通过打破对称性思维定势成功证伪了该猜想，证明了 AI 具备发现新知识的能力。
“AI 只是无法发现任何新事物的自动补全鹦鹉”这一论点遭受了沉重一击。
1946年，保罗·埃尔德什（Paul Erdos）提出了单位距离猜想，预测在二维平面中，恰好相距1个单位的点对数量存在严格的次多项式上界。
80年来，人类数学家试图利用对称网格和晶格来证明或反驳该猜想，但均告失败，因为人脑天生具有对称性偏见。
OpenAI 的一个推理模型通过发现一个基于高次代数数域的非对称反例，刚刚推翻了该猜想。普林斯顿大学的威尔·索温（Will Sawin）已在 arXiv 上将其形式化为 n^1.014。
为什么人类错过了八十年？因为这种点的构型看起来像破碎的玻璃。它没有任何视觉对称性。