ζ(5) 被证明是无理数,Lean 形式化验证数小时内完成
ctjlewis · x · 2026-09-24
Elliot Glazer 宣布 ζ(5) 实为无理数,这是 zeta 函数奇偶数值性质研究的重大进展。数学家 Moritz Firsching 随即在几小时内完成了该结果的 Lean 形式化验证并公开仓库。原推附有证明的相关链接,讨论仍在进行中,完整证明细节以原仓库为准。
所属事件:ζ(5) 无理性获证明，数小时内完成 Lean 形式化(4 条相关)→
「研究」频道最新
- CoRL 联合主席忆 2021 展区仅三张桌，对比 2026 规模感概行业巨变 — Ed__Johns · 2026-11-12
- 预训练原子模型筛选 1620 种组合，为单原子金属找稳定衬底 — bravo_abad · 2026-11-12
- Claude Fable 5.2 机器人实验被拿去吊打李飞飞 World Labs?作者称搞错了研究问题 — dotey · 2026-11-12
- Claude 数周产出 239 个形式化证明,验证 123 个开源库无崩溃 — kieranklaassen · 2026-11-12
- SynthICL：纯合成数据训练，单演示泛化 16 项真实操作任务 — Ed__Johns · 2026-11-12
- AI Agent 不跑模型直接改权重,1024 个数字让 MATH-500 从 7.4% 升至 37.4% — VictorSanh · 2026-11-12