社区用 AI 智能体群协作推进 Quasi-RH，零点自由半平面界达到 θ=0.8747729897 并通过 Lean 验证

Quasi-RH 自动化研究项目将零点自由半平面界推进至 θ=0.8747729897，相关改进已通过 Lean 形式化验证。项目通过反复收紧级数上界并交给下一轮智能体迭代，当前最佳已审计界为 Re s > 7/8 − 1/23600；仓库还提供 auto-research.md 指南，并行开展官方 Lean 验证。