⌘ K
… 读取采集状态 同步中...
雷
原文
新智元· 新智元·· 2026-08-22精选AI 评分84

Axiom Math AxiomProver 完成246素数间隔定理形式化验证

25岁广州女孩用AI验成了!两大菲尔兹奖得主心血,无误

AI 导读

Axiom Math 宣布其多智能体系统 AxiomProver 完成了246定理(无穷多对素数间隔不超过246)的形式化验证。该系统由4个模块组成,将132页证明转化为 Lean 4 代码,仅依赖 Bombieri-Vinogradov 定理和带误差项素数定理两个外部定理,GitHub 仓库已开源。

推荐理由

AI系统首次通过形式化方法独立验证246定理的证明逻辑,展示了验证型AI在关键科学问题中的可靠性。

本文当前提供导读和图片预览,完整图文请查看原文。

来源:新智元 · mp.weixin.qq.com