社区把 Quasi-黎曼零点自由区推进到 θ≤0.874810282，尚待 Lean 验证
IgorCarron · x · 2026-10-21
Rohan Arun 等人在 Quasi-RH（准黎曼猜想）爬坡项目上再进一步：在 ArviFoxy 已被 Lean 完整验证的两层仿射证明（θ≈0.874817065）基础上，增加第三、第四层仿射步骤，把无零点半平面推到 θ ≤ 437405141/500000000 ≈ 0.874810282，比原纪录低约 6.8×10⁻⁶。
- 四层结果的条件是五个结构假设（H1–H5）尚未在 Lean 中证明，算术部分已精确验证；三层版本给出 θ ≤ 0.874812431。
- 该项目基于 OpenAI 原始 7/8 预印本，采用类似排行榜的 PR 协作机制，贡献不需要 Lean 证明即可提交候选解。
- 作者称这种逐级爬山正是「自动研究者」（auto-researchers）的理想场景，十几位社区成员参与贡献。
「研究」频道最新
- 研究者喊话:别再用 PickScore 当奖励模型,评测论文会被拒读 — gowthami_s · 2026-10-21
- Sara Hooker 演讲：暴力扩展终结，自适应智能时代来临 — PyTorch · 2026-10-21
- Francis Bach 组新论文:最小二乘问题下 WSD 学习率调度的理论分析 — BachFrancis · 2026-10-21
- 设计抗蛇毒血清仅 64 小时，获批却要等 4-7 年 — DimitrisPapail · 2026-10-21
- ValsAI 发布 ClaimBench:1960 条财务声明实测 15 款决策模型 — denisyarats · 2026-10-21
- BrainLoRA 用单次因果前向预测脑活动，算力省 350 倍登顶 Algonauts — _akhaliq · 2026-10-21