AxiomProver 完成素数间隔定理 BGP246 的 Lean 形式化
Zulfikar_Ramzan · x · 2026-08-18
Axiom（axiommathai）宣布：用 AxiomProver 完成了「BGP246 定理」的机器可检验形式化——即素数间小间隔的最佳已知界 246，这是数学界距离孪生素数猜想最近的结果。
成果不止验证一条定理：还交付了可复用组件与新的开源库 PrimeGapsLib，为社区提供了可检验、可继续构建的形式化基础设施。前MIT教授、Ripple CTO Zulfikar Ramzan 转发称赞，称这是 AI 辅助数学研究的 remarkable 时刻。
所属事件:AI 辅助证明素数间隙纪录，逼近孪生素数猜想(3 条相关)→
「研究」频道最新
- UCSD团队提出数据集水印法，仅凭API输出即可检测训练数据盗用 — yuxiangw_cs · 2026-10-16
- EmbodiedEvo 让 Agent 传承经验：登顶 RoboDojo 榜单 — Aiden_Tech_Ai · 2026-10-16
- 审稿人吐槽 CHI 论文 Discussion 普遍不引用文献 — IanArawjo · 2026-10-16
- 研究者驳「理解神经元即理解网络」：误差会复合放大 — StephenLCasper · 2026-10-16
- NVIDIA 发布 cuPotential，用 AI 智能体模拟半导体材料原子交互 — tomaszbednarz · 2026-10-16
- Agentic Search 只奖励最终答案，推理步骤是否忠实成疑 — burkov · 2026-10-16