ζ(5) 被证明是无理数,Lean 形式化验证数小时内完成
ctjlewis · x · 2026-09-24
Elliot Glazer 宣布 ζ(5) 实为无理数,这是 zeta 函数奇偶数值性质研究的重大进展。数学家 Moritz Firsching 随即在几小时内完成了该结果的 Lean 形式化验证并公开仓库。原推附有证明的相关链接,讨论仍在进行中,完整证明细节以原仓库为准。
所属事件:ζ(5) 无理性获证明，数小时内完成 Lean 形式化(4 条相关)→
「研究」频道最新
- 质疑「LLM 痛觉轴」:静态词向量也能复现同样结论 — wschroll · 2026-09-24
- 对比学习语言模型 CLM-8B:推理快至 9 倍,刷榜智能体编码基准 — ChengleiSi · 2026-09-24
- 腾讯 ARC 发布 GAE：几何原生潜空间，FVD 最高降 23% — CSProfKGD · 2026-09-24
- OpenRSI 团队阐述 RSI 理念:智能体扩展洞见生成是 ASI 关键拼图 — ChengleiSi · 2026-09-24
- OpenRSI-Index 扩张招募领域负责人与算力合作伙伴 — ChengleiSi · 2026-09-24
- 通往 RSI 的两步:优化单点研究 vs 改进整个研究系统 — ChengleiSi · 2026-09-24