社区用 AI agent 群协作推进 Quasi-RH,零点界已达 θ=0.87477 并过 Lean 验证

IgorCarron · x · 2026-10-22

Rohan Arun 发起的 Quasi-RH（准黎曼猜想）自动化研究项目迎来新进展：贡献者 @HaileyStormC 提交了经 Lean 形式化验证的零点自由半平面界 θ = 0.8747729897,通过反复收紧级数和的上界,把每次已证明的改进喂给下一轮迭代,直到新边界外的零点推出矛盾。

该项目本身是一套面向 AI 研究代理的协作实验:仓库提供了 auto-research.md 指南供自动化 agent 和人类贡献者推进 Re s > 7/8 的边界,当前最佳已审计界为 Re s > 7/8 − 1/23600,理想化输入下的架构天花板约 0.864。背景是 OpenAI 9 月的 Quasi-RH 预印本（原界 Re s > 7/8）。仓库不要求完整 Lean 验证即可提交以降低参与门槛,官方 Lean 验证并行进行,并已获得 @Agent37 赞助。