Claude 将临界线上 ζ 函数零点的无条件下界提高到 67.25%。本文拆解结果边界、Lean 证明和完整验证链。
一套可落地的数学 Agent 工作流:用持久状态、敌意审计、盲重构和证据晋升,把开放探索转化为可信知识。
OpenAI 推理模型用代数数论工具推翻了一个从 1946 年延续至今的离散几何猜想。事情的经过、它为什么重要、以及它揭示了 AI 在数学发现中扮演什么角色。