AI 辅助证明素数间隙纪录，逼近孪生素数猜想

Axiom 团队宣布使用 AxiomProver 完成了"BGP246 定理"的机器可检查 Lean 形式化证明。该定理是目前关于素数间循环出现小间隙的最佳已知界限（246），被视为数学界距离孪生素数猜想最近的一次突破。团队将成果归功于 AI 辅助证明技术，展示了 AI 在数论难题研究中的新进展。

2026-08-18 ~ 2026-08-19 · 3 条相关

• AxiomProver 完成素数间隔定理 BGP246 的 Lean 形式化 — Zulfikar_Ramzan · 2026-08-18
• 里程碑：AI 辅助证明素数间隙新纪录，逼近孪生素数猜想 — soumitrashukla9 · 2026-08-19

另有 1 条近重复转述:Dr_Singularity