AxiomProver 已形式化验证黎曼猜想新证明,纳入论文附录
burny_tech · x · 2026-09-04
- 数学界近期在黎曼猜想上取得重大进展:超过 67% 的 zeta 零点位于临界线上且为单零点。
- 数学家 Youness Lamzouri 为该结果找到了一个极为优雅的新证明。
- Axiom 团队的 AxiomProver 已经在新论文附录中完成了对该证明的形式化验证——「数学家:请形式化这篇漂亮的论文;AxiomProver:如你所愿」。
所属事件:黎曼假设新证明获 AxiomProver 数小时内 Lean 形式化(5 条相关)→
「研究」频道最新
- seqlet caller 升级后续：DeepLIFT 相关贡献者获致谢 — jmschreiber91 · 2026-10-21
- Center for AI Safety 发布《机器学习安全导论》课程大纲 — ArtificialOther · 2026-10-21
- seqlet 调用器提速 22 倍：16.7 万 loci 从 7.8 秒降到 0.35 秒 — jmschreiber91 · 2026-10-21
- X 热榜三条 AI 速览：Holon-S1 预测癌片基因活性、decision models 走红 — iScienceLuvr · 2026-10-21
- NEJM AI 研究:同一病例 LLM 开单费用最高达医生建议的 10 倍以上 — dvir_a · 2026-10-21
- Nature Genetics：核苷酸依赖性分析从基因组语言模型中挖出功能元件 — jmschreiber91 · 2026-10-21