#AI攻破80年数学难题# 1946年，数学家Erdős问了一个问题：
平面上放n个点，最多能有多少对点距离恰好为1？
听起来像小学题对吧？
但79年了，数学家们一直觉得方格阵列就是最优解。
今天OpenAI宣布：他们的通用推理模型（不是数学专用AI）自主推翻了这个猜想。
最离谱的是证明方法——
它把代数数论里的Golod-Shafarevich理论，用到了一个几何问题上。
可以称得上跨学科的"降维打击"，Sam Altman：感受很复杂。
发布于 四川