【事件】【事件】OpenAI 通用推理模型自主构造了新的点集,证明平面单位距离对上界 u(n) ≥ n^(1+ε)(ε ≈ 0.402),推翻了 Paul Erdős 1946 年提出的猜想——该猜想认为 u(n) 仅略快于线性增长。证明引入代数数论的 Golod-Shafarevich 理论,已获普林斯顿数论学家独立验证。
【信号】【信号】AI 科学研究加速从「辅助验证」跨越到「原创发现」。@sama 表示此类突破将是「未来数年的常态」。菲尔兹奖得主 Gowers:「AI 在数学领域的里程碑。」反直觉风险:数学证明验证周期压缩,可能导致结果被过早引用而缺乏深度审查。