主要证据
- Learning more about Claude's mathematical capabilitiesS2 · 官方机构来源 · 官方公告 · 2026-08-10
- Zeta23 Lean 4 formalizationS1 · 主要研究来源 · 形式化工件
Claude 改进与黎曼猜想相关的长期下界
Claude 协调数十个子 Agent、检索文献并进行数值检查，随后生成论文；Anthropic 数学家审核结果，Lean 形式化通过 comparator。
发生了什么？
Anthropic 报告一个未发布 Claude 研究模型把已知的“位于临界线上的黎曼 zeta 零点比例下界”从 41.6% 提升到 67.2%。
为什么重要？
这是自主数学探索产生意外可发表结果的代表案例，同时也清楚显示模型并未解决最初更困难的黎曼猜想。
重要性说明：AI 对解析数论中长期下界给出具体改进，属于历史级 AI4Math 里程碑，因为它贡献的是新的数学结果，而非仅展示基准能力；H1 不替代独立的 verification 状态。
历史脉络
证据与状态一览
- 重要性
- H1 · 历史里程碑
- 验证状态
- 已有独立佐证
- 证据等级
- E3 · 可检查工件
- AI 角色
- AI 自主主导
- 形式保障
- 已独立复现
贡献与验证
- 数学新颖性
- 新结果
- 接口
- 非形式化, 形式化, 符号, 混合
- AI 贡献
- Claude 通过多个子 Agent 生成并探索大量想法，找到核心论证并参与形式化流程。
- 人类贡献
- Anthropic 数学家审核结果，外部专家进行审阅，工作人员协助形式化与发布。
- 验证状态
- 已有独立佐证 · E3 · 可检查工件 · 已独立复现
- 最后审阅
- 2026-09-11
技术细节
- 系统
- claude-research, lean
- 机构
- anthropic
- 数学问题
- riemann-hypothesis-related-zero-density
- 方法
- multi-agent, literature-search, analytic-number-theory, formalization
全部来源与工件
- Learning more about Claude's mathematical capabilitiesS2 · 官方机构来源 · 官方公告 · 访问于 2026-09-10
- Zeta23 Lean 4 formalizationS1 · 主要研究来源 · 形式化工件 · 访问于 2026-09-10
- Independent Verification — More Than Two Thirds of the Zeros of the Riemann Zeta Function Lie on the Critical LineS3 · 独立学术来源 · 独立分析 · 访问于 2026-09-10
验证历史
- 2026-08-10 · 部分核验 · E3 · 可检查工件
Chronicle 依据所引 primary / official source 记录该事件；该状态不表示 Chronicle 已完成独立验证。
- 2026-08-11 · 部分核验 · E3 · 可检查工件
Riemann Labs 在其独立 CI 中重新构建公开 Lean 形式化，并报告 statement-equality 检查以及 Lean 默认内核与 nanoda 重放均通过。这支持将 formal assurance 记为 `independently_replayed`；更广泛的数学同行评审仍是另一层问题，Chronicle 目前不授予 `independently_verified` 状态。
- 2026-09-10 · 已有独立佐证 · E3 · 可检查工件
按 Chronicle 的事件级 verification 语义，Riemann Labs 的独立重建、statement comparison 与双内核重放已经对该事件的核心描述和公开形式化产物形成实质性独立佐证。该状态不表示 Chronicle 独立裁决底层研究主张的最终正确性、优先权或更广泛数学意义。
更正
当前没有记录的更正。