读懂一篇数学论文

一片区域，
与一条线。

黎曼假设，
以及一个无零点区域。

01 / 先认识这张图

把函数放进
复平面。

级数定义适用于 Re(s) > 1

经过解析延拓，
研究临界带中的零点。

02 / 完整黎曼假设

所有非平凡零点，
在同一条线上。

关键词是“所有”。

图中展示前六个正虚部零点的数值近似。有限检验不构成证明。

03 / 本文给出的结论

边界推进到
八分之七。

右侧没有零点。
边界本身不包含在内。

对 ζ(s)，需单独排除 s = 1 的极点。论文明确写明：黎曼假设仍未解决。

04 / 原文第 5—7 页

估计，如何变成
无零点区域？

更精细的估计，
带来更宽的排除区域。

这里只呈现证明路线；完整论证及假设见原文。

05 / 回到最初的问题

一个闭带。
还不是一条线。

按论文结论 + 函数方程

黎曼假设仍要求 Re(s) = 1/2。

Lean 说明覆盖主结果；论文中的后续应用并未全部纳入形式化。