里程碑：AI 辅助证明素数间隙新纪录，逼近孪生素数猜想
soumitrashukla9 · x · 2026-08-19
AxiomProver 完成了“BGP246 定理”的机器可检查形式化证明，这是目前关于循环小素数间隙的最佳已知界限，被视为数学界距离孪生素数猜想最近的一次突破。团队将该成果归功于 AI 辅助数学领域的进展。
所属事件:AI 辅助证明素数间隙纪录，逼近孪生素数猜想(3 条相关)→
「研究」频道最新
- Transformer 训练蝙蝠神经数据建成海马体"数字孪生",揭示未知群体活动结构 — patrickmineault · 2026-10-16
- RLM 发布一周年:递归语言模型让 GPT-5-mini 长上下文成绩翻倍且更省钱 — a1zhang · 2026-10-16
- MIT 博士 Sharut Gupta 入职 DeepMind,答辩 talk 被导师力荐 — phillip_isola · 2026-10-16
- 每图元仅 10 参数:36 个图元精准拟合 T-pose 人体 — letandrewcook · 2026-10-16
- 可解释性研究者泼冷水：模拟不了神经元就不算真正解释了它 — nabla_theta · 2026-10-16
- MLP-Splatting 论文开源:用光场原语替代高斯泼溅 — AjdDavison · 2026-10-16