Codex / Claude 辅助微幅改进 OpenAI quasi-Riemann 零点自由半平面，并由 Lean 形式化

Baiying Liu 在 OpenAI 近期给出的 quasi-Riemann 7/8 zero-free half-plane 证明框架上重新优化参数 b 与 ℓ，将边界从 0.875 改进到 (1507−2√921)/1653 ≈ 0.874957069799。论文明确披露 OpenAI Codex（GPT-6.1 Sol Medium-Ultra）参与 drafting、source checking 与 improved-bound search，Claude Opus 5.5 Medium 参与 auditing；结果同时给出 Lean formalization。改进幅度很小，但它证明原始参数选择并非最优，也展示了 frontier-model result 发布后由人类 + AI 快速复核、局部优化并形式化的后续研究模式。