GPT Astra 改进 Anthropic zeta 零点结果:覆盖率从 67.25% 提至 67.31%
dsanft · reddit · 2026-09-16
Reddit 用户用 GPT Astra Max(20x Codex 账号)尝试改进 Anthropic 上月发布的 zeta 零点认证结果(与黎曼猜想相关):
- Anthropic 原结果:67.25007% 的简单 zeta 零点位于临界线上
- Astra 经多轮迭代与 Tibo reset,提升至 67.31056%
- 作者沿用 Anthropic 的工具链,但需要人工引导,并搭建了专门的 CI/CD 与 commit gate 认证流程
- Lean 形式化证明与穷尽数值证书已开源在 GitHub(dbsanfte/RiemannGaussian)
作者称还在推进其他证明,包括一个文献中未见证明的窄零点自由区域,暂未公开。
「编程与Agent」频道最新
- 用 Lean 从零证明 Transformer 不变量，全部证明由 AI 完成 — srush_nlp · 2026-09-16
- Muse 用子智能体并行读书,一本书一条提示词变章节播客网站 — armand_ruiz · 2026-09-16
- Image-to-WebDev 榜更新：GPT-6 Astra 居首，GLM-5.3-Flash 性价比惊艳 — arena · 2026-09-16
- 输出概率而非文本的新模型：比 Fable 级模型快 25 倍、便宜 600 倍 — danshipper · 2026-09-16
- 两年用 ChatGPT 当职业教练，如今 agent 比我更懂我的工作 — danshipper · 2026-09-16
- 晒图对比：Periodic Harness 与原版 Claude Code 效果差距惊人 — zainhas · 2026-09-16