Claude 将临界线上 ζ 函数零点的无条件下界提高到 67.25%。本文拆解结果边界、Lean 证明和完整验证链。
Claude raised the lower bound for zeta zeros on the critical line to 67.25%. Here is what the result and its Lean proof establish.