Claude 将临界线上 ζ 函数零点的无条件下界提高到 67.25%。本文拆解结果边界、Lean 证明和完整验证链。
OpenAI 推理模型用代数数论工具推翻了一个从 1946 年延续至今的离散几何猜想。事情的经过、它为什么重要、以及它揭示了 AI 在数学发现中扮演什么角色。