zeta(5) 或已被证明无理数,作者用 Astra 验证论证正确性
aran_nayebi · x · 2026-09-24
Elliot Glazer 转发称:Aabir Fauzan 很可能已证明 zeta(5) 是无理数,预印本发在 Zenodo 上(推测因未获 arXiv endorsement)。Glazer 表示自己让 Astra 研究了该论证,模型完全认可其正确性。属于 AI 辅助验证数学证明的案例。
「研究」频道最新
- Claude 首个成果出炉:Anthropic 揭秘新分子生物学实验室运作模式 — AnthropicAI · 2026-09-24
- Anthropic:Claude 在噬菌体 DNA 中发现未知酶系统,结构神似 CRISPR — AnthropicAI · 2026-09-24
- 医疗AI模型xvr登Nature:数秒完成X光与CT/MRI配准 — DrDatta_AIIMS · 2026-09-24
- OpenRSI 发布 v0.1:用千卡集群和 60 小时 agent 轨迹评测递归自我改进 — RulinShao · 2026-09-24
- Anthropic 湿实验室首个成果:近千个 Claude 自主体 21 小时发现新酶系统 — Polymarket · 2026-09-24
- softmax 不是你想要的概率：两篇 LLM 输出校准论文受关注 — joecole · 2026-09-24