zeta(5) 或已被证明无理数,作者用 Astra 验证论证正确性
aran_nayebi · x · 2026-09-24
Elliot Glazer 转发称:Aabir Fauzan 很可能已证明 zeta(5) 是无理数,预印本发在 Zenodo 上(推测因未获 arXiv endorsement)。Glazer 表示自己让 Astra 研究了该论证,模型完全认可其正确性。属于 AI 辅助验证数学证明的案例。
所属事件:ζ(5) 无理性获证明，数小时内完成 Lean 形式化(4 条相关)→
「研究」频道最新
- 形式化验证让 AI 编码更快：Lean 证明成为 agent 优化护栏 — bigdata · 2026-11-11
- 教授用纯 NumPy 从零搭建交互式神经网络教学笔记本 — GeostatsGuy · 2026-11-11
- 新 benchmark Continual-ARC:主流 agent 都学不会经验,9B 模型微调可以 — Med1_Ai · 2026-11-11
- Science 子刊：好的对话呈现'粉噪'式的语义波动模式 — _akpiper · 2026-11-11
- 研究：近半数 STEM 博士论文用 AI 写，仅 4.7% 主动披露 — paulnovosad · 2026-11-11
- AlphaGenome 2 商业 API 上 Google Cloud 私测，权重承诺未来开源 — anshulkundaje · 2026-11-11