张益唐 · 素数的间隙
张益唐（1955— ），生于上海。二〇一三年四月，五十八岁的大学讲师把一篇论文投给《数学年刊》；三个星期后，论文通过审稿——这在以审稿周期漫长著称的刊物上极其罕见。论文说的是一件朴素的事：相邻素数的间隔，会无穷多次落在一个固定的范围之内。悬置了一百多年的孪生素数猜想，第一次被推进到「有界」这一步。
他做了三件事。第一件是一条猜想：孪生素数猜想——相差 2 的素数对有没有无穷多对，从哈代与李特尔伍德的时代问起，至今没有答案。第二件是一把筛子：现代筛法——从埃拉托色尼两千年前那套「划去倍数」的老手艺出发，长成的一门估计术；它不能精确数出素数，却能给出足够紧的上下界。第三件是一个上限：有界间隔定理——相邻素数的间隔无穷多次小于七千万；此后全球同行的接力，把七千万一路压到 246。
明线四样：一列素数（整数的原子）、一列间隔（相邻素数之间的空当）、一把筛子（估计素数分布的器械）、一个上限（间隔的固定界）。
暗线一句：不赶路的散步——不追赶时间的人，反而走到了最远处。他成名极晚：博士毕业找不到教职，做过与数学无关的零工；五十岁上下还是一名以教课为业的讲师。可他从不赶进度：一道题想几年，一篇论文守十几年。散步是这一册暗线的落点——他把问题带在身上慢慢走。
五幕：第一幕讲从上海到北京（p.6—p.12）；第二幕讲漂泊与书桌（p.13—p.19）；第三幕讲筛子与破局（p.20—p.26）；第四幕讲从七千万到 246（p.27—p.33）；第五幕讲签名与余波（p.34—p.40）。
三层读法照旧：故事层无需预备知识；数学层只用加减乘除、平方与一个对数的大致概念（p.7—p.9、p.14—p.16、p.21—p.23、p.28—p.30、p.35—p.37），每一步都从头算起；注疏层给出原始论文、版本与研究文献，逐页可查。
一九五五年，他生在上海。童年赶上动荡的年代：父母常年不在身边，他跟着外婆长大；城市与家庭的安顿都谈不上，能抓在手里的只有书。少年时代他跟着父母的调动转学多处，课堂时断时续，功课多半靠自己啃——一本一本借来的数学书，就是他的自习室。
他十几岁时最着迷的题目是素数。这些只能被 1 和自身整除的数，从 2、3、5、7 起步，越往后走越稀疏；稀疏归稀疏，却从来走不完。越稀越走不完——这个反直觉的事实让他着迷：一个数列，散得像夜里剩下的星，凭什么敢说无穷。中学时代他从书里读到一条说法：素数虽然无章可循，整体的稀疏程度却有一条精确的规律。这条说法他记了半生，本册 p.14 把它算出来。
一九七八年，恢复高考的第二年，他考入北京大学数学系。那一级的学生年龄悬殊、经历各异，读书的劲头却是一致的。他一头扎进解析数论——用微积分的工具研究素数分布的学问；本科读完接着读硕士，师从潘承彪教授。潘家兄弟（潘承洞、潘承彪）正是哥德巴赫猜想与素数分布这条线上国内的主力；硕士论文做的方向，就是他后来守了一辈子的素数。
一九八五年，他赴美国普渡大学读博士。出国前谁也想不到，这一去就是一场漫长的漂流：博士论文做得不顺，毕业时连一封推荐信都没有拿到。这段故事第二幕细讲。此刻先把眼光放回少年时代：一个跟着外婆长大的孩子，在时断时续的课堂之外，自己把数学一条一条啃了下来——慢，但每一步都踩实。
下一页看他一生待过的三间屋子：普渡、快餐店、新罕布什尔。
他的青年与中年可以按三间屋子来分。普渡给了他一场硬仗（博士论文与雅可比猜想，打得艰难，代价惨重）；快餐店与漂泊给了他一副平常心（做过记账与杂工，最落魄的几年也没有放下素数）；新罕布什尔给了他一张安静的书桌——一坐就是十四年。
普渡那几年值得单说。一九八五年入学后，他选了代数里一个著名的难题——雅可比猜想——做博士论文；论文涉及一条关键引理，而这条引理与前人已发表的结果有冲突，他坚持按自己的判断重做，与导师的关系就此闹僵。一九九一年论文通过，学位到手，推荐信却没有着落——没有推荐信的数学博士，在求职市场上寸步难行。此后几年，他做过连锁快餐店的记账员，打过各种零工；同学里有人劝他改行，他没有改。
一九九九年，转机以最朴素的方式到来。经北大校友引荐，新罕布什尔大学给了他一个讲师职位。讲师不是研究岗：一门一门地教课，薪水不高，合同一年一签，没有终身教职，也没有申请经费的资格。可这间屋子足够安静——白天教微积分，晚上把数论文献摊在桌上。他没有课题编号，没有考核指标，只有一道从少年时代带出来的题目：素数的间隔。
三间屋子对照着看，正好是三种「守」。普渡守住的是判断（论文的取舍他没有让步）；漂泊守住的是书（再难也没有离开数学）；新罕布什尔守住的是题（十四年守一道百年猜想的一个侧面）。二〇一三年之后荣誉接踵：奥斯特洛夫斯基奖、麦克阿瑟奖、科尔数论奖、朔克奖；二〇一五年秋他受聘加州大学圣塔芭芭拉分校正教授。这一册的故事，大多发生在第三间屋子里。
下一页把这一册要讲的三样东西摆出来：一列素数、一列间隔、一把筛子。
这本册子要处理三样东西。三样都朴素：一列数、一列空当、一件旧工具。可它们各自牵出这门学问的三个层次：对象、问题与器械。
第一样是一列素数。素数是整数的原子：大于 1、不能写成两个更小数乘积的数。乘法世界里的一切整数都由它们拼装而成；它们的分布看起来杂乱无章，整体却有一条精确的稀疏律——素数定理。这条定律是第二幕的数学主线，也是全册一切估计的地基。
第二样是一列间隔。相邻两个素数之间的空当：2 到 3 空一档，3 到 5 空两档，7 到 11 空四档。间隔忽大忽小；孪生素数猜想问的是：空当恒取最小值 2 的情形，是否无穷多次出现。一百多年无人推进。张益唐先退一步问：空当能不能无穷多次落在一个固定的范围之内。他的答案：能——七千万以内。这个「退一步」的问题就是本册的主定理。
第三样是一把筛子。埃拉托色尼的老手艺：把 2 的倍数划掉、3 的倍数划掉，剩下的就是素数。现代筛法把这手艺反向使用：不数剩下的，先估划掉的误差——数不清素数，就给出素数在某一段「应当有多少」的可靠范围。张益唐的功夫，全在把这把筛子的误差磨到别人磨不到的精度。筛子是第三幕的主题。
三样东西有一个共同点。它们都从「数不清，就先估」下手：估密度、估空当、估误差。估计听着退让，其实是数论最锋利的进攻——下一幕从上海的一间自习室讲起。
一九五五年，他生在上海。童年家庭聚少离多：父母在外地工作，他跟着外婆长大。时代动荡，学校时上时停，功课没人盯着，全凭自己。这段经历在他身上留下一个持久的印记：读书这件事，从来不是被安排的，而是自己找的——没人催的课，反而上得最久。
少年时代他跟父母辗转多处。课堂的断层用书来补：借来的、翻旧的数学书，一本一本啃。他后来说过，自己天资并不出众，速度也慢——这句话在他成名后被反复引用，但放在少年时代看更有分量：一个靠自己啃书的孩子，学到的东西不是「听过」，而是「啃过」；啃过的东西不会忘。
数学在他心里扎根，靠的是一个问不倒的问题。素数：2、3、5、7、11……只能被 1 和自身整除的数。它们越走越稀——从 1 到 100 有 25 个，越往后密度越低；可无论走到多远，它们从不缺席。越稀越走不完，凭什么。十几岁的他向书本要答案；书本给了他一层一层的答案，每一层底下又藏着一个更深的问题。这一问，他跟了一辈子。
一九七八年，北京大学向他敞开。恢复高考的第二年，二十三岁的他考入数学系；同学里年龄比他大得多的不在少数——被耽误的岁月没有磨掉任何人的劲头。在北大，他找到了自己的行当：解析数论——素数分布的学问。硕士师从潘承彪；一九八五年，他带着这个行当登上去美国的飞机。第一幕的后四页，把他此后要用的三件底牌一样样摆出来。
整数的乘法有一套「化学」。6 可以拆成 2×3，12 可以拆成 2×2×3——拆来拆去，最后剩下的都是素数：大于 1、不能写成两个更小数乘积的数。2、3、5、7、11、13……它们是整数的原子；算术基本定理说：每个大于 1 的整数，拆成素数乘积的方式唯一（次序不计）。验算一例：30＝2×3×5，三枚原子，拆法仅此一种。
原子是数出来的。1 到 20 里的素数：2、3、5、7、11、13、17、19——8 个；1 到 100 里 25 个；1 到 1000 里 168 个。数目在涨，涨得越来越慢：从 20 到 100 八十个数只添了 17 个素数。素数越走越稀，可它们从不缺席——这件小事本身就是一条深刻的定理（下一页给出证明）。
「素数看脸」是最容易掉进去的错觉。它不认大小规律：2017 是素数，2019 不是（3 的倍数），2027 又是。肉眼找不到通项公式，几百年的寻找一无所获。可「局部无规律」不等于「整体无规律」：素数的稀疏程度有精确的账——这是 p.14 的素数定理。数论的第一课就在这个反差里：单看一颗星没规律，满天星有银河。
为什么非跟素数较劲。因为乘法世界的一切都由它们定：分数能不能约简、方程有没有整数解、密码学为什么可靠，追到底都是素数的分布。间隔问题——相邻素数离得多近——是整个版图上最硬的一块。先把素数的「无穷」敲实，再看「稀疏」的账。
素数：大于 1、无更小因数（除 1 与自身）的整数
算术基本定理：30＝2×3×5，素因子分解唯一（次序不计）
π(20)＝8、π(100)＝25、π(1000)＝168（π(x)＝不超过 x 的素数个数）
素数无穷多（证明见 p.9）
把素数摆上数轴，看它们之间的空当。2 到 3 隔 1，3 到 5 隔 2，7 到 11 隔 4，89 到 97 隔 8——1 到 100 里最大的一档。把相邻间隔排成数列：1、2、2、4、2、4、2、4、6、2、6、4、2、4、6、6、2、6、4、2……忽长忽短，毫无节奏。间隔问题问的全部东西，都藏在这列没有节奏的数里。
最引人注目的是「1」之外的偶数间隔 2。相差 2 的素数对：3 与 5、5 与 7、11 与 13、17 与 19、29 与 31、41 与 43、59 与 61、71 与 73——1 到 100 里恰有 8 对。这叫孪生素数。把它们越数越远：101 与 103、107 与 109；几十万位的大数里也能成对。孪生素数猜想由此立起：相差 2 的素数对有无穷多对。一百多年，它始终是数论最著名的一扇未开的门。
间隔的另一个极端也有名有姓。想要多大的间隔都造得出来：随便取一个大数 N，把 N＋2、N＋3、……、N＋N 排成一排，其中必有连续 N−1 个合数（这一排里总有 2 的倍数、3 的倍数……）。间隔没有上界——素数与素数之间，想隔多远就隔多远。一端「想隔多远就隔多远」，另一端「想不想总挤在 2 以内」——间隔问题的全部张力就在这两端之间。
还有一个容易忽略的观察。间隔 2 之外，间隔 4（如 7 与 11 之间隔着 9）、间隔 6（23 与 29）也大量出现。事实上 1 到 100 里，间隔 2 出现 8 次、间隔 4 出现 7 次、间隔 6 出现 7 次——三种小间隔平分秋色。多小的间隔都挤不完，这正是 p.16 随机模型要解释的现象，也是张益唐定理的出发点：与其问间隔恰为 2，先问间隔能不能被一个固定的数框住。
间隔数列（1—100 开头）：1、2、2、4、2、4、2、4、6、2、6、4……
孪生素数对（1—100）：8 对（3—5 起至 71—73）
间隔无上界：连续 N−1 个合数可造（N＋2 至 N＋N 中必含 2 与 3 的倍数等）
1—100 内间隔统计：隔 2 共 8 次、隔 4 共 7 次、隔 6 共 7 次
素数无穷多，证明短得可以背。反证：假设素数只有有限个，全部列出，相乘再加 1——这个数除以任何已列素数都余 1，所以它的素因子不在名单里；名单漏了素数，矛盾。两千多年前欧几里得写下这十行，从此「素数走不完」成为定论。注意证明给的不是「有多少」，只是「不完」——从「不完」到「有多稀」，人类又走了两千年。
稀疏的账，先立一块路牌。希尔伯特在一九〇〇年的著名讲演里，把素数的种种问题编入第八问题；其中一条正是孪生素数猜想。哈代与李特尔伍德在一九二三年给出猜想定量的形状：不超过 x 的孪生素数对，数目大约是 2C2x/(ln x)2——其中 C2≈0.6602 是一个只与素数分布有关的常数。这条预测至今未被证明，但每一次大规模验算都站在它一边。
拿 x＝1000000 验一验。ln 1000000≈13.82，平方约 190.87；预测值 2×0.6602×1000000/190.87≈6918 对。实测：一百万以内的孪生素数对共 8169 对。同一量级，粗预测偏低约一成半——这不算失误：哈代—李特尔伍德公式后面还该添精细修正项，修正后与实测的偏差压到百分之几以内。一条无法证明的猜想，就这样靠「预测—实测」的对照养着信誉。
对这一册真正要紧的，是把问题排成阶梯。孪生素数猜想：间隔恰为 2，无穷多次——未知。弱一步：间隔不超过某个固定值，无穷多次——二〇一三年之前同样未知，连这一步都没人走到。张益唐的贡献正是这弱一步：他把这级台阶踏上了。踏上的工具，是第二幕要请出的素数定理与第三幕的那把筛子。
欧几里得证明：设素数全列出，乘积加 1 产生新素因子 ⇒ 无穷
哈代—李特尔伍德预测：孪生素数对数 ≈ 2C2x/(ln x)2，C2≈0.6602
验算 x＝106：2×0.6602×106/190.87≈6918 对；实测 8169 对
问题阶梯：间隔＝2（未知）⇒ 间隔≤定值（2013 年前未知）
回到少年时代的那间自习室。没有老师盯着，没有进度表，没有考试逼近——一个孩子自己翻书、自己验算、自己在一道题前坐一整天。后来的一切，都是这间自习室的延长线：北大的课堂是它，普渡的图书馆是它，快餐店打烊后的深夜是它，新罕布什尔十四年的书桌是它。这间自习室最要紧的品质只有一条：不赶。
不赶，是他与多数天才故事的分岔。竞赛出身的数学家比比皆是，少年成名的名单很长；他两样都不占。他做题的方式是「跟」：一道题跟几个月，一条思路守十几年。慢不是他的短板，而是他的方法——快出来的理解浮在符号上，跟出来的理解长进骨头里。本册暗线「不赶路的散步」从这间自习室起步，后面每一幕都会再走一段。
这跟第一幕的数学严丝合缝。素数无穷的证明十行，他却需要把「稀疏」二字啃成半生的功课：欧几里得的证明立在「不完」上，间隔问题却要问「多近」——从十行证明到间隔的账，隔着一整个解析数论。少年时代那个「越稀越走不完」的疑问，1978 年在北大得到了正式的名分与器械。第二幕看他带着这套器械走进人生最不顺的一段路。
记一条与暗线相配的事实。他成名后多次说过，自己不擅长与人竞争节奏；而数学史给他的回应是：这门学问里最硬的几块基石，恰恰是那些不赶路的人铺的。第七辑走到这一册，暗线换了新主角：不是涂画，不是签名，是时间本身站到了不赶路的一边。
第一幕给了两件底牌：一列无章可循却整体有序的素数，一列忽长忽短的间隔。现在看它们怎样合流。对象一侧：素数无穷（欧几里得），稀疏有账（素数定理预告）。问题一侧：孪生素数猜想立卡（哈代—李特尔伍德给出定量形状），间隔的另一极端无上界。两线合流处站着一个人人回避的问题——间隔的「下端」有没有底。
少年之问恰好问在下端。「越稀越走不完」是上端的事：素数整体越来越稀。可局部呢——紧挨着的两颗星会不会永远成对出现。少年时代他被「无穷」勾住；成年后真正的问题换成了「多近」：无穷多对的前提之下，最近能近到什么程度。把无穷与多近两个词摆在一起，问题的全部难度就露了出来：前者已证两千年，后者一百多年纹丝不动。
把难度说得更清楚一点。间隔问题难在「同时约束无穷多对素数」：有限的验算无论多大规模都够不着「无穷多次」。要越这道墙，必须借一件能对「所有素数整体」说话的器械——素数定理是第一件（第二幕），筛法是第二件（第三幕）。少年之问要走到答案，缺的从来不是好奇，是器械。
第二幕的议程由此排定。先把素数定理的账算清（密度、平均间隔、随机模型），再看他人生最灰暗的几年怎样与这几页纸相遇。器械是公共的，用法是个人的。
第一幕讲完，把要点收一收。一条成长线：上海随外婆长大，自学啃书，1978 年入北大，师从潘承彪，1985 年赴美。一门功课：素数——整数的原子（分解唯一，30＝2×3×5）；越稀越走不完（欧几里得十行证明）；间隔忽长忽短，孪生素数 1 到 100 恰 8 对。
三件事值得记住。第一，局部无规律、整体有账：单颗星看不出名堂，满天星有银河——数论的全部信心建立在这个反差上。第二，问题的阶梯：间隔恰为 2 是最陡一级，间隔不超过固定值是低一级的台阶——2013 年之前连低台阶都无人踏过。第三，器械先于答案：无穷的问题要靠对整体说话的工具，好奇心只是入场券。
还有一个方法论的收获。哈代—李特尔伍德预测（106 处约 6918 对，实测 8169 对）示范了数论的活法：证明不到的地方，用「预测—验算」养着信誉，等器械成熟。猜想不是空想，是带着数据站岗的假设。
最后记一个人物细节。他说自己不是快脑子——这句话与第一幕全部数学放在一起才有分量：欧几里得的十行证明两千年无人不知，从「不完」推到「多近」却要一个人守十几年。慢不是没走到，是每一步都算数。
下一幕走进第二间屋子：漂泊的岁月与一张讲师的书桌。先看他人生最灰暗的一段路。
一九九一年，三十六岁的他拿到了博士学位。论文与雅可比猜想相关——代数里一个悬了几十年的难题；为了一条关键引理，他与导师的判断顶了牛，坚持按自己的路子重做。论文过了，学位到手；可导师之间那道裂缝没有合上，推荐信没有着落。美国的数学就业市场信的就是推荐信：没有信的博士，投出去的申请石沉大海。
此后几年，他的履历是数学史上最难看的一段。没有教职，没有研究岗，他打过各种零工：在连锁快餐店记账，在汽车旅馆帮工，做过会计。最窘迫的时候，住处与三餐都要精打细算。中文媒体后来反复渲染这段「落魄」；他自己说得平静：那几年过得艰难，但读书没有停——图书馆是唯一不需要花钱的去处。
书读的是数论。放着代数的博士训练不用，他回到了硕士时代的本行：素数分布。这不是怀旧的浪漫，而是冷静的选择：代数的问题没有器械寸步难行，而素数的间隔问题，他判断「器械即将成熟」——九十年代末，筛法技术恰好走到临界点。一个没有职位的人，凭着一副久经磨砺的眼光，认出了整个领域即将拐弯的地方。
一九九九年，转机来了。经北大校友引荐，新罕布什尔大学聘他为讲师。这一聘就是十四年：教课、批卷、答疑，课外的每一分钟都归素数。第二幕接下来的三页，把他在那些夜晚反复摩挲的三页纸写出来：素数定理、平均间隔、随机模型。人生最灰暗的岁月里，数学是唯一亮着的一盏灯。
数不清，就估密度。高斯少年时代凭一张素数表猜出：不超过 x 的素数个数大约是 x/ln x——这就是素数定理的形状，其中 ln 是自然对数。一百多年后（1896 年），阿达马与瓦莱—普桑各自独立证明它。定理说的是「平均而言」：单看某一段素数忽多忽少，放大到足够大的范围，密度向 1/ln x 收拢。
拿两处实测对一对表。x＝100：100/ln 100≈100/4.605≈21.7，实测 25 个——偏差一成多，小样本的正常现象。x＝1000000：1000000/13.8155≈72382，实测 78498 个——偏差不到百分之九，且越往大走相对偏差越小。定理的信誉就是这样一笔一笔验出来的。
定理还有一个方便的反读法。密度是 1/ln x，倒数就是平均间隔：在 x 附近，相邻素数的平均空当约 ln x。x＝100 附近平均间隔约 4.6；x＝1000000 附近约 13.8。素数越走越稀，这句话现在有了刻度：每前进一段，平均空当缓慢变宽，宽的速度是对数的速度——极慢的稀释。
为什么素数定理是全册的地基。间隔问题的每一句陈述都要与「平均间隔」对照才有意义：说间隔「小」，是比平均小；说间隔「有界」，是把这个随 x 增长的平均量压成一个常数。没有素数定理提供的标尺，「小」与「有界」都无从谈起。下一页把平均间隔的账算细。
素数定理：π(x)≈x/ln x（1896 年证明）
验算：π(100)＝25 对 21.7；π(106)＝78498 对 72382
反读：平均间隔 ≈ ln x（x＝106 附近 ≈13.8）
第 n 个素数 ≈ n·ln n（由定理推得）
「平均间隔约 ln x」值得把账算细。在 x 附近取长为 L 的一段（L 远大于 ln x），素数定理说这段里约有 L/ln x 个素数；L 长的路面上撒了 L/ln x 个点，平均每 ln x 一个——平均间隔就是密度的倒数。这一步没有任何高深器械，只是「路长除以点数」。
平均是平滑的，个体是狂野的。两件事同时成立：其一，平均间隔随 x 缓慢增长（对数速度）；其二，具体到某一档间隔，可以远小于平均，也可以远大于平均——最大间隔没有上界（p.8 的构造）。间隔问题真正问的是「狂野的一端有多狂」：小的那端能不能被一个常数框住。平均量 ln x 是一切表述的参照系。
把参照系立成记号。相邻素数间隔记 dn＝pn+1−pn。孪生素数猜想问：dn＝2 无穷多次成立。有一个聪明的相对化：不管间隔本身多大，只问它与平均间隔之比——dn/ln pn 有没有无穷多次任意小。这个比值若能任意小，说明素数有时挤得远比「平均」密——离有界只差临门一脚。
临门一脚在哪。相对比值任意小，只说「挤得比平均密」，间隔仍可能慢慢变大（比平均慢地变大）。要从「相对任意小」跨到「绝对有界」，需要把估计的精度再抬一级。这一级抬在哪里、为什么全世界抬不动，第三幕细讲。先看一件怪事：这一级的差距，居然能用掷硬币来照亮。
平均间隔＝密度的倒数＝ln x（长路段平均意义）
间隔记号：dn＝pn+1−pn
相对化：问 dn/ln pn 是否无穷多次任意小
相对小 ≠ 绝对有界：从前者到后者差一级精度
素数没有公式，可以造一个「假素数」的宇宙来对照。克拉默的模型（1936 年）：想象一条长长的数轴，在每个整数 n 上掷一枚硬币——正面朝上的概率取 1/ln n，正面朝上就标成「素数」。这个宇宙里的「素数」纯靠运气，平均密度却与真素数一致。模型的意义：凡是真素数表上观察到的规律，若在随机宇宙里也自然出现，就有理由相信它出自概率机制而非深藏的秘密。
随机宇宙里，孪生素数自动出现。两个相邻奇数 n 与 n＋2 同时掷出正面的概率约 1/ln2 n；把这个概率从 3 起一路加总，级数像 ∑1/ln2 n 一样发散（与 x/ln2 x 同阶）。也就是说：随机机制天然预言孪生素数无穷多对——而且数目正是 哈代—李特尔伍德预测的量级（差一个常数修正）。猜想于是有了第二重身份：它就是「素数表现得像随机」这条信念的直接推论。
模型还预言了另一极端。随机宇宙里最长的一段连空（无「素数」区），长度大约 (ln x)2——克拉默猜想。真素数表上的实测（最大间隔在已知范围内始终不超过这条曲线的几倍）支持它。一端挤成对、一端大空档，同一个随机机制全包了——间隔问题的两端，在模型里是一枚硬币的两面。
但模型的教训同样要紧。素数不是真的硬币：它们是确定的数，处处受整除规则约束——模型说孪生素数无穷，不等于证明。历史上模型也有失灵处：细看间隔为 2 的频数与 4、6 的频数，随机模型给「均匀分布」，实际却与 哈代—李特尔伍德的素数元组常数一致——「素数比硬币更守规矩」。模型是路灯，不是地图；证据要靠筛法去挣。这是第三幕的全部内容。
克拉默模型（1936）：n 处以概率 1/ln n 标「素数」
模型预言：孪生素数无穷（量级 x/ln2x，与 哈代—李特尔伍德预测同阶）
克拉默猜想：最大间隔 ≈ (ln x)2
教训：模型是路灯不是地图——间隔频数的精细结构与模型有偏差
漂泊岁月里，他养成了一生的习惯：散步。后来媒体问他成功的秘诀，他的回答朴素到让人不知如何接：多想，多散步。散步不是消遣，是工作方式——纸上推不动的地方，带着问题在路上慢慢走；腿在动，脑子在算。本册暗线「不赶路的散步」在这一段落了第二只脚：最没有资格慢下来的人，反而把节奏守得最稳。
这段岁月还有一个常被忽略的事实。他没有停止读文献。快餐店记账的间隙、汽车旅馆的深夜，数论文献一期一期地过——不是泛读，是把每一条证明的每一步补全。多年后他能在 戈—平—耶的论文里一眼看出缝隙，靠的正是这些年不问回报的积累：领域里每一件器械的马力与极限，他都在心里掂过。机会只认有准备的头脑——这话通常被说得轻飘，在他身上是字面意思。
这跟第二幕的数学严丝合缝。素数定理、平均间隔、随机模型——三页纸的内容没有一样是冷门知识，全是数论研究的公共地基。可把公共地基读成自己的家底，需要的不是聪明，是年复一年不赶进度的重读。1999 年他走进新罕布什尔的教室时，行李很简单：一门教课的手艺，一副把三页地基背熟了的心。
记一条与暗线相配的事实。他后来回忆那些年，说自己并未觉得苦，因为每天都摸得到书。第七辑走到这一册，暗线的新语言慢慢成形：路走得慢的人，不是没有在走——是走得更深。下一页看那张迟到八年的书桌。
第二幕给了三页公共地基与一张书桌。现在看它们怎样合流。地基一侧：素数定理给了标尺（平均间隔 ln x），随机模型给了直觉（挤对应当发生）。书桌一侧：新罕布什尔的夜晚，一位没有课题编号的讲师。合流点是二〇〇五年的一篇论文：三位数论学家证明，相邻素数的间隔与平均间隔之比，无穷多次任意小——相对意义下，素数可以挤得任意密。
这篇论文离有界只差一步，全领域都看得见那一步。相对任意小（dn/ln pn→0 沿子列）与绝对有界（dn≤定值 无穷多次）之间隔着一层精度：前者允许间隔随 x 缓慢长大，后者不许。补上这层精度需要素数在中等区间的分布信息比已知定理更强一点——就一点，卡了全世界八年。讲师的夜晚摊开的正是这篇论文：别人读出结论，他读出了缝隙。
缝隙在哪，先立个路牌。论文的框架是一套筛法权重的机器；机器的每一颗螺丝都依赖「素数平均分布」的定量版（第三幕细讲）。框架本身没人质疑，质疑的是机器吃进的燃料。他把整台机器拆开重装，燃料一颗没换——换的是机器本身最不起眼的一个零件。二〇一三年四月，重装完成。
第三幕的议程由此排定。先看筛法怎样从两千年前的那套手艺长成精密器械，再看那道卡住全世界的坎，最后看他磨了多年的那只零件。从手艺到器械的每一步，都有账可查。
第二幕讲完，把要点收一收。一条成长线：1991 年博士毕业没有推荐信，打工与漂泊数年，1999 年入新罕布什尔任讲师十四年。三页地基：素数定理（π(x)≈x/ln x，平均间隔 ln x）、间隔的相对化（dn/ln pn 是否任意小）、克拉默随机模型（孪生对应当出现，最大间隔约 (ln x)2）。
三件事值得记住。第一，标尺先行：一切「小」与「大」都是相对平均间隔 ln x 说的——没有素数定理，间隔问题连陈述都不完整。第二，模型给直觉、筛法给证据：随机宇宙里孪生素数自动涌现，可素数是确定的数，证据要一件件挣。第三，戈—平—耶 2005 把问题推到离有界一步之遥——全领域看见了那一步，也全领域被那一步挡了八年。
还有一个方法论的收获。他的转向不是退回舒适区，而是一次冷静的器械评估：代数难题无器械寸步难行，素数分布的器械恰好走到临界——选战场先看弹药库，这是漂泊岁月里最清醒的一笔。
最后记一个人物细节。散步的习惯在最没有资格慢下来的年月养成。生活把节奏逼到墙角，他把思考的节奏从墙角里赎了回来——这笔账要到第三幕、第四幕才能看到全部利息。
下一幕走进第三间屋子：筛子与那道卡住全世界的坎。先从两千年前的一套手艺说起。
二〇〇五年，三位数论学家——戈德斯通、平兹、耶尔德勒姆——把间隔问题推进了一大步。他们证明：相邻素数的间隔与当时的平均间隔之比，无穷多次任意小。换句话说，素数有时挤得远比「平均」密——而且这不是偶发的巧合，是被严格证明的定理。消息传开，领域里公认：离「有界间隔」只差最后半口气。
半口气卡在哪，行内看得很清楚。戈—平—耶的机器要吃一种燃料：素数在中等长度区间里的分布信息，精度要求比已知定理高一点点——「高一点点」的严格说法见 p.22。已有的最好定理偏偏恰好差这一点：它管到的范围与机器需要的范围，像两级台阶之间缺了半级。几位当事人把可能的路数想了一遍又一遍，一致的结论是：按现有器械，走不通。
新罕布什尔的讲师把这篇论文读了七年。从论文流传开的那年起，他就把 戈—平—耶的证明当作每晚的功课：不读结论，读机器——每一步估计的来源、每个常数的松紧、每处「此处需更强分布」的注脚。七年里他把整台机器拆成零件又装回去，装了不知多少遍。别人看到的是一道过不去的坎；他看到的是机器上有一只没人动过的零件。
那只零件叫权函数。筛法的机器里，权函数决定「哪些数按多重的份量计入统计」；戈—平—耶用的是一枝利落却僵硬的权。他的想法说来简单：把权磨平滑——让份量从一处集中摊到一片缓和的弧上，机器对燃料的要求就变了。这个念头在二〇一二年夏天的一个后院里突然成形（p.31 细讲）；把它做成完整证明，又是大半年的闭门推演。第三幕接下来的三页，把这段路的每一级台阶摆出来。
筛法的老祖宗是埃拉托色尼。要 1 到 120 的素数表：把 2 的倍数划掉，再把 3 的倍数划掉，再划 5、划 7——7 的平方 49 已过百、11 的平方 121 出界，筛到 7 为止，剩下的 30 个数全是素数（p.44 亲手筛一遍）。这套手艺两千年不衰，因为它做的是一件根本的事：用「不是素数」的排除法，把「是素数」的名单逼出来。
现代数论要的更多。埃氏筛只能「列出」一个固定范围的名单；研究间隔问题需要回答另一类问题：在一段区间里，按某种规则（例如「不能被前 y 个素数整除」）筛剩的数大约有几个。这就把筛法从手艺变成估计术：核心不再是「划掉」，而是「估准划掉的误差」。误差估得越紧，剩数的上下界就越窄——筛法的全部功力在余项。
余项怎么估。对每一种「划法」（用一组素数去筛），被划掉的份额可以用一个主项近似，主项与真值的偏差就是余项。余项出自整除规则之间的纠缠：同一个数可能同时被几枚筛数整除，份量要一一扣除。布伦 1919 年的筛与塞尔伯格 1947 年的筛，是给这份纠缠账本立规矩的两大里程碑：前者给出稳健的下界，后者用二次型的权把上界压到当时可能的极限。现代筛法的句法在塞尔伯格手里定型：权有多平滑，余项就有多听话。
筛法的天花板也要认清。筛出来的永远是范围（上下界），不是精确数——这是它天生的限度。可间隔问题恰好不需要精确数：要的只是「剩数足够多」这句定性结论的可靠版。器械与问题的缘分，从 p.22 开始兑现。
埃氏筛：划 2、3、5、7（72＝49≤120＜112）⇒ 1—120 剩 30 素数
现代筛法核心：主项近似 ＋ 余项控制（余项越紧，界越窄）
里程碑：布伦筛（1919，下界）；塞尔伯格筛（1947，二次型权、上界）
限度：筛给范围不给精确数
「素数在中等区间的分布」需要一把量尺。把素数按除以 q 的余数分堆：每个堆理论上应占 1/φ(q) 的份量（φ 是欧拉函数）。问的是：对多大的 q，这份均匀性真的成立、且误差可控。量尺叫分布水平 θ：q 只要是 x 的 xθ 以内就够用。θ 越大，能驾驭的模数越大，筛法机器吃到的燃料越足。
已知定理恰好停在 1/2。1965 年，邦别里与维诺格拉多夫 各自证明：平均而言，素数按余数分堆的均匀性，对所有 q≤x1/2/lnA x 的模数同时成立——分布水平 θ＝1/2。这条定理是解析数论的顶梁柱：戈—平—耶整台机器就架在它上面。而要挤出「有界间隔」，机器需要 θ 严格大于 1/2——哪怕大出丝许。1968 年前后，埃利奥特与哈尔伯斯坦 猜想：其实 θ 可以到 1。猜想至今未证；1/2 与 1 之间那半级台阶，站了全世界几十年。
戈—平—耶在 θ＝1/2 上能走到哪。能证明相对量归零：liminf(pn+1−pn)/ln pn＝0；一旦假设 θ＞1/2 成立，同台机器立刻吐出有界间隔——原论文里就写明了这一点。于是局面定格：定理给 1/2，猜想给 1，中间空着；全领域的目光都盯着「怎么把 θ 抬上去」。
抬 θ 的路几十年来一条没通。张益唐的过人之处在于掉头：θ 一分不抬，去改机器——把权函数磨平滑之后，机器对 θ 的要求从「严格大于 1/2」降到「恰为 1/2 就够」。同样的燃料，同样 1965 年的定理，机器换了一只零件，出口的结论从「相对为零」变成「绝对有界」。p.23 看这只零件的账。
分布水平 θ：素数按余数分堆之均匀性可驾驭的模数指数（q≤xθ）
邦别里—维诺格拉多夫定理（1965）：平均意义下 θ＝1/2
埃利奥特—哈尔伯斯坦猜想：θ＝1（未证）
戈—平—耶：θ＝1/2 ⇒ 相对归零；θ＞1/2 ⇒ 有界间隔
权函数磨平滑，为什么能省燃料。戈—平—耶的权在少数几处取重份，机器必须精确知道那几处的素数分布——这就把 θ 逼过 1/2。张的权改成一条缓和的弧：份量摊到一大片缓和变化的位置上，每一处的误差都小，合起来的统计反而稳。技术上说，他把筛法的权从尖锐的优化形换成充分光滑的函数，使「素数在中等区间的计数误差」以平均的方式进入总量——平均恰好是 邦别里—维诺格拉多夫定理管辖的领域。燃料没换，燃料的用法换了。
还差一块垫脚石。平滑之后，机器的账里多出一类「广义均值」要估——它超出素数定理的常规推论。张调用一条六十年代的经典定理（德朗热的均值定理）把这块账补齐。三件旧物就此合拢：戈—平—耶的框架、邦别里—维诺格拉多夫的燃料、德朗热的均值——器械没有一样是新的，用法是新的。
机器吐出的结论值得整句读一遍。存在一个小于七千万的整数，使得有无穷多对相邻素数的间隔不超过它。用记号说：liminf(pn+1−pn)＜7×107。孪生素数猜想问的是这个上界能否取到 2；一百多年来，「上界是否存在」本身都无人回答。二〇一三年四月十七日，论文投《数学年刊》；审稿逾三周通过——该刊历史上以速度著称的一次接受。
七千万这个数要放对位置。它大得荒唐——比平均间隔大了六个数量级；又小得惊人——它是一个常数，不随 x 增长。从「间隔可以任意大」到「间隔有无穷多次不超过七千万」，中间隔的不是量的差别，是质的一跃：素数从此被证明「总在某一处挤成一团」。常数本身毫无神圣性：论文发表数周内，同行已经开始逐项压缩它——那是第四幕的故事。
权函数：尖锐优化形（戈—平—耶）⇒ 平滑弧形（张）
燃料：邦别里—维诺格拉多夫（θ＝1/2）＋ 德朗热均值定理
主定理：liminf(pn+1−pn)＜7×107（2013 年 4 月 17 日投稿）
审稿逾三周接受（《数学年刊》），常数七千万不随 x 增长
把第三幕的故事倒过来看，几乎每一步都「慢」得反常。论文读了七年；权函数的念头想了五年；从后院的那个下午到投稿，又推了将近一年。同期任何一位有考核在身的教授都难有这样奢侈的节奏——而他没有考核，没有项目，没有任何人等他交卷。十四年讲师生涯给了他一件旁人求之不得的东西：一段完全不被催促的时间。
不被催促不等于轻松。那十四年里，他白天教满学时的课，晚上守着素数；论文没有着落，职称没有指望，同行里知他深浅的人寥寥。支撑他的不是乐观，是习惯：每晚跟这道题相处一会儿，像每天散步一样。慢功夫有慢功夫的复利——七年的拆装让机器的每一颗螺丝都在他手里过了千百遍；那个后院的下午之所以能「突然成形」，是因为成形前的每一块碎片都早已备好。
这跟第三幕的数学严丝合缝。筛法的天花板（只给范围）、分布水平的僵局（θ＝1/2）、权函数的出路（磨平滑）——这三页纸的每一句结论，都是「把一件事想透」而非「把一件事想快」的产物。器械史的规律在他身上应验：突破常常不属于最聪明的手，而属于把旧器械摸得最久的手。
记一条与暗线相配的事实。成名之后有人问他这些年是否焦虑，他的回答大意是：静下心来，事情总能做下去。第七辑的暗线走到这一册，第一次把「时间」写成了主角的同谋：不赶路的人，路自会替他把风景留全。第四幕看世界怎样回应这篇迟到的论文。
第三幕给了三页器械与一次改造。现在看它们怎样合流。器械一侧：筛法给出「剩数估计」的语法（p.21），邦别里—维诺格拉多夫给出 θ＝1/2 的燃料（p.22），戈—平—耶给出整机框架（p.20）。改造一侧：权函数磨平滑，机器对燃料的苛刻要求化为平均口径（p.23）。合流的性质值得点破：这不是发明新器械，而是把三件旧物摆到能互相看见的位置。
「旧物合拢」是这个时代数论的常态。过去的五十年，解析数论的每一件大器械都由几代人的手接力磨成：布伦与塞尔伯格的筛、 邦别里与维诺格拉多夫的均值、埃利奥特与哈尔伯斯坦的猜想、戈—平—耶的框架——每一件单独拿出都源于三十年前的纸页。张益唐的贡献不在造物，在「用法」：一件被公认为只配某个用途的器械，被他不声不响地改了用法。眼力高于手艺——这句老话在 2013 年 4 月兑现了一次。
合拢处还站着一位沉默的同行者。随机模型（p.16）从头到尾没有进入证明，却始终在场：它预言孪生素数应当无穷，预言挤对应当发生——全领域因这份预言而不肯放弃。证明与模型的关系像验算与猜想：模型指路，筛法开路。张的定理反过来又喂了模型一口定心丸：随机机制预言的现象，终于有一条被严格证明了。
第四幕的议程由此排定。先看论文从投稿到震动世界的那三周，再看全行业怎样把七千万逐项压缩到 246——一场教科书级的公开接力。一个人点灯，一群人把灯芯捻亮。
第三幕讲完，把要点收一收。一条故事线：戈—平—耶二〇〇五年卡在半级台阶上，新罕布什尔的讲师把论文读了七年，2012 年权函数的念头成形，2013 年 4 月投稿，三周过审。一条数学线：筛法的功力在余项（布伦与塞尔伯格立规矩）；分布水平 θ＝1/2 是已知定理的顶点；磨平滑的权让机器在 θ＝1/2 上吐出主定理——间隔无穷多次小于七千万。
三件事值得记住。第一，器械的天花板由「用法」决定：θ 一分未抬，结论从相对归零变成绝对有界——改零件比抢燃料便宜。第二，平均是弱条件的同盟：单点误差躲不掉，平均误差有定理管——把苛刻的要求化成平均的口径，是估计术的第一心法。第三，常数不必神圣：七千万只是「存在」的宣言，宣言一经发出，压缩是全行业的事。
还有一个方法论的收获。戈—平—耶原文里白纸黑字写着「若分布水平能过 1/2 则得有界间隔」——目标其实早已写在墙上，八年无人到达。读论文读到「墙上那句话」并把生命押上去，是一种罕见的学术勇气。
最后记一个人物细节。七年间他不发文章不报进展，独自拆装一台与自己的职称毫无关系的机器。学术界如今常把这段讲成「冷板凳」的故事；更准确的说法是：他根本没有把凳子坐冷——凳子上一直是热的，只是无人看见。
下一幕：论文震动世界之后，一场全球接力把七千万压到 246。先看那震动世界的三周。
二〇一三年四月十七日，论文投出。《数学年刊》是数学界声誉最高的刊物之一，审稿以严与慢著称：两年是常态，五年不稀奇。这一篇的审稿人拿到的是一位陌生作者的名字、一个不知名的机构、一个足以让人先入为主怀疑的题目——以及一份滴水不漏的证明。逾三周，论文通过审稿。编辑部后来把时间线公之于众，数学界把这三个月里最传奇的数字记成了三个星期。
消息的传播方式本身就是时代注脚。论文正式刊出尚需时日，先行流传的是预印本；几天之内，数论的博客与邮件组把证明的框架拆解给全世界：筛法权重做了平滑化，绕开了分布水平的僵局，结论是间隔小于七千万。哈佛、普林斯顿、牛津的讨论班连夜加场；几位素数分布的顶尖行家各自独立核对了关键步骤，结论一致：证明成立。
而主人公在做什么。消息传开时，他正照常准备秋季学期的微积分课。媒体辗转找到新罕布什尔大学，记者在校门口拦下这位五十八岁的讲师——他平静地说自己并没有觉得做了什么大事，只是解决了一个别人关心的问题。这轮采访后来被反复引用的不是谦辞，是那种毫无表演痕迹的平常：一个人与一道题相处了半生，题目解完，生活照旧。
震动是分层的。对公众，这是一个大器晚成的故事；对数学界，这是一条被打开的路——孪生素数问题从「无路可走」变成「沿着走就行」；对张益唐本人，生活几乎没有变化：他还是那个每天散步、晚上算题的人。第四幕接下来的三页，把这条路被打开之后发生的事写成账目：从七千万到 246 的全球接力。
压缩七千万，得先看清证明里那个「上界」由什么决定。张的证明走「元组路线」：不直接抓相邻素数对，而是先证明一件更精细的事——存在一个固定形状的「点阵」，使无穷多组「点阵全素数」出现。点阵的学名是素数元组：一组固定的间隔模式，例如 {0, 2}（孪生对）、{0, 2, 6}（三个数两两不等距）。一旦某元组无穷多次全素，间隔不超过元组宽度就自动成立。
元组不能随便选，要「容许」。一个元组落在整数上，不能把某个素数 p 的所有剩余类占满——否则其中总有一个成员被 p 整除，全素无从谈起。验算 {0, 2, 6}：除以 2 余 0、0、0（同一类）；除以 3 余 0、2、0（两类）；除以任何 p 都占不满——容许。{0, 2, 4} 就不行：除以 3 占满 0、1、2 三类，三个数里必有一个 3 的倍数。容许性是元组的入场券。
张的机器能驾驭多大的元组。他的筛法保证：只要元组足够宽（成员足够多），无穷多组全素就成立——宽度要求是三百五十万。于是路线图清晰：取一个容许的三百五十万元组（这类元组早已有人编册存放），定理即吐出「间隔不超过元组宽度」——宽度算出来是七千万。常数大，是因为入场券贵：这是第一台机器的标价。
标价立刻变成了靶子。三百五十万这个宽度要求没有任何神秘之处——它只是 2013 年那套筛法的估计精度。精度每提高一分，要求的元组宽度就缩小一截；元组一窄，间隔上限跟着跳水。全球同行看准了这一点：压宽度，就是压七千万。下一页看这场接力。
素数元组：固定间隔模式，如 {0,2}、{0,2,6}
容许性：不被任何素数 p 占满全部剩余类（{0,2,4} 因 mod 3 占满而被否）
张之要求：宽 3 500 000 的容许元组 ⇒ 间隔上限 7×107
路线图：压缩宽度要求 ⇒ 压缩间隔上限
接力以两种方式同时进行。第一种是精修张的证明：把每一步估计的松紧逐项拧紧，三百五十万的要求一路下压。第二种来得更彻底：2013 年 11 月，年轻的英国数论家梅纳德与华人数学家陶哲轩各自独立发现了一套更灵活的筛法——多元筛。旧机器只能证明「某个元组里至少有两个素数」，新机器能证明「至少有 m 个素数」，m 可以往上调；每多要求一个素数，元组宽度的代价反而摊得更薄。
新机器的账很快见底。多元筛把「无穷多组全素」所需的元组宽度要求从三百万级直接压到五十——这是方法上的换代，不是精修。剩下的一半工程是数据：五十个成员的元组要容许、且直径要窄，得在已知的容许元组册子里查最紧凑的一份。2014 年春，两条线汇合：宽度要求 50 配上最紧凑的容许元组，间隔上限停在 246。
246 的意义要放回问题里读。它说：存在无穷多对相邻素数，间隔不超过 246。与七千万相比，这是百万倍的压缩；与孪生素数猜想的 2 相比，路还有一百二十几倍要走。246 不是终点，是当前器械的天然歇脚点：多元筛在已证分布水平上的能量已经榨干，再往下压需要新的思想。一个一百多年的猜想，第一次有了可以标在数轴上的进度条。
接力本身也值得记一笔。波利马特——陶哲轩主持的大规模线上合作项目——把几十位职业与业余数学家放进同一个公开账本，每一项改进实时可查。从七千万到 246 的每一步都署着不同的名字。数学史上罕见一场如此公开的接力：起点是一个人的十四年，续写是几十个人的几个月。下一页读停下来的原因。
两条线：精修张之估计（宽度要求下压）；多元筛（梅纳德与陶哲轩，2013）
多元筛：元组中至少 m 个素数，m 可调；宽度要求压至 50
2014 年春：宽度 50 ＋ 最紧凑容许元组 ⇒ 间隔上限 246
246：百万倍于七千万之压缩；距猜想之 2 尚余百倍余
246 停在哪里，把账摊开看。多元筛的输出由两样东西决定：筛法的强度与元组的数据。筛法一侧，能量上限由素数分布水平锁死——已证的 1/2 意味着宽度要求压不过某个下限；元组一侧，最紧凑的容许元组记录已经查遍。两线合流的 246，就是现有器械在无条件下能站到的最优点。它停在那里，不是差口气，是两边的尺都用到了头。
把整条压缩链排成一行。七千万（张，2013 年 4 月）→ 数百万至数十万（精修）→ 600（多元筛初版）→ 246（多元筛＋容许元组数据库，2014 年春）。再往前是两块牌子：假设 埃利奥特—哈尔伯斯坦猜想成立，同一框架给 12；而 2——孪生素数猜想本身——仍立在墙的那一边。从 246 到 2 的一百二十三倍，恰好横在「已证」与「猜想」的分界线上。
为什么偏偏是这堵墙。回看 p.22：筛法的全部燃料来自「素数平均分布」；平均能管到 1/2，管不到 1/2 以上一丝一毫——邦别里—维诺格拉多夫的 1/2 不是技术的懒惰，是现有方法的根本边界。要从 246 走向更小，必须让筛法吃到 θ＞1/2 的燃料；要走完最后一步（间隔恰为 2），大概率需要一场方法上的革命——与张 2013 年那次同量级、甚至更大。墙不是结束：墙标出了下一代器械的施工面。
停在 246 还有另一层好处。进度条本身成了公器：此后任何新思想都可以在 246 这张基线上报价——把某条假设换掉能压到几，某件新器械能压到几，全部有账可查。一个一百多年的猜想第一次有了像样的仪表盘，这本身就是 2013 年那篇论文之外的持久遗产。
压缩链：7×107（2013）⇒ 精修数百万 ⇒ 600 ⇒ 246（2014 春）
条件结果：假设 埃利奥特—哈尔伯斯坦（θ＝1）⇒ 12
已证尽头：θ＝1/2 之分布水平为现有方法之根本边界
猜想目标：2（孪生素数）——在墙的另一侧
权函数的那个念头，落在一个再普通不过的下午。二〇一二年夏天，他在科罗拉多州朋友家做客。朋友要出门办点事，他在后院里等——照例踱步，照例把问题带着走。据他自己回忆，突破就在那几十步之间到来：把权函数磨平滑，让分布条件以平均的方式进入证明。他赶在朋友回来之前，把想法记了下来。此后大半年的推演，都是这一个下午的展开。
这个下午之所以可能，前面有整整十年。读 戈—平—耶的七年、漂泊岁月的积累、十四年不被催促的节奏——后院的几十步只是把早已备齐的零件一把接通。数学史上「顿悟」的名单很长，可顿悟的账目几乎总是同一张：灵感支取的是长期存款。本册暗线走到这里，可以给出完整的形状：散步不是等待灵感，是让问题在身上长熟；熟透的果子，一阵风就能摘。
这跟第四幕的数学严丝合缝。元组、容许性、多元筛——第四幕的每一页都在张的框架上展开；框架的入口正是那个下午的「磨平滑」。一个念头的价值不取决于它到来的地点（后院、书房、课堂），取决于它背后压了多少年的功课。后院没有奇迹，后院只有熟透的果子。
记一条与暗线相配的事实。成名后的他依然每天散步；在圣塔芭芭拉的海边，同事和学生常在固定的时段遇见那个慢慢走着的身影。第七辑的暗线在这一册里得到了最彻底的一次陈述：走得慢的人，把路走成了自己的一部分。
第四幕给了两条时间线：一条是十四年，一条是几个月。现在把它们对表。十四年的一侧：讲师的夜晚、七年的拆装、后院的下午——把主定理做出来。几个月的一侧：波利马特的公开账本、多元筛的换代、容许元组的数据库——把七千万压到 246。两条线的性质截然不同：前者是一个人的坚守，后者是一个行业的协作；数学这台机器，两样燃料都要烧。
对表的意义在于看清分工。突破性的第一步几乎总是孤独的：器械的用法要一个人想透，押注要一个人下——公开协作善长于「沿着已开之路快进」，不擅于「在无路处开路」。而接力又是对第一步的保护：没有几十双眼睛的三周核验，孤证难以服众；没有 波利马特的压缩，七千万只是数学里又一个孤悬的常数。孤守与接力互为对方的完成式。
这一幕还有一笔方法论的对账。张的证明与 梅纳德的筛法出发点相同（戈—平—耶框架）、燃料相同（θ＝1/2）、结论却差了一个数量级——差别全在权函数与元组的用法上。同一台机床，不同装刀法，产品的精度可以差百万倍。器械的极限常常不是器械的极限，是想象力的极限。
第五幕的议程由此排定。先看荣誉怎样落在这位散步者身上、他的生活怎样照旧；再把证明之后十年里间隔问题的新进展收进账本；最后把「签名」二字还给定理本身。
第四幕讲完，把要点收一收。一条故事线：2013 年 4 月投稿、三周过审、预印本震动世界；波利马特接力与多元筛把七千万压到 246。一条数学线：元组与容许性（元组不被任何素数占满剩余类）、宽度要求（张需 350 万、多元筛压到 50）、压缩链（七千万→600→246，假设 埃利奥特—哈尔伯斯坦则 12）。
三件事值得记住。第一，翻译先行：把「间隔」翻译成「元组」，百年问题第一次有了可压缩的参数——问题的表述方式决定它的可攻性。第二，换代胜于精修：梅纳德—陶哲轩 的多元筛一出手，宽度要求从百万级跳到五十——换方法比拧螺丝便宜。第三，246 是仪表盘不是终点：从 246 到 2 横着方法革命的墙，墙的位置本身就是信息。
还有一个方法论的收获。公开接力（波利马特）示范了数学另一种工作形态：账本公开、署名透明、改进实时。孤守开路、接力铺路——两种形态在 2013—2014 年间的这桩公案里配合得近乎完美。
最后记一个人物细节。全世界的聚光灯打过来的时候，他正在备课。荣誉对他是加法，不是变量——这个细节要到第五幕才能称出全部分量。
下一幕：签名与余波。看一位散步者怎样把名字留在定理里，而把生活留在定理外。
荣誉来得又快又重。二〇一三年九月，奥斯特洛夫斯基奖——数论与代数领域分量最重的奖项之一；二〇一四年，美国数学会科尔数论奖、瑞典朔克数学奖、麦克阿瑟奖——后者以「天才奖」之名广为人知，不设申报、由秘密提名产生，授奖词专门提到他的故事对整个学术界的激励。颁给一位五十八岁讲师的奖，此前没有先例。
职位的落定反而朴素。二〇一五年秋，他受聘加州大学圣塔芭芭拉分校正教授——从讲师到教授，隔了一篇论文与二十六年。新罕布什尔的同事为他的离开高兴又不舍；他离任时把办公室收拾得干干净净，留下的讲义笔记成了后任的教材。媒体的叙事把这一段写成逆袭；他自己的说法平实得多：换了地方，接着教课、接着算题。
生活照旧的证据比比皆是。他每天仍留出散步的时间；课上仍是那个把每一步讲透、不赶进度的老师；学生问他成名感受，他说研究本身有意思，别的都是副产品。一处常被引用的细节：获奖消息最密集的那几周，他正在改一份教学讲义。荣誉对他是加法，不是变量——第四幕埋下的这句话，在这里兑现。
第五幕的三页数学与三页故事并行。故事讲签名怎样落在定理里、路怎样通向后来的人；数学讲证明之后十年间隔问题的新进展、器械箱的三步法，以及一笔把全册账目串起来的总验算。先看公式的去向。
主定理发表后，间隔问题从一扇门变成了一条走廊。第一条走廊是「分布」：间隔不只是有无穷多次小于 246，它在各种尺度上怎样分布——平均间隔之下的间隔占多少、指数式的稀有大间隔占多少——先后有了严格的估计。第二条走廊是「多元」：梅纳德把自己的筛法再推一步，证明任意固定长度的区间里，素数个数的最小值无穷多次至少为 m——小区间里素数的「贫富下限」第一次被钉住。
元组方法的疆域也在扩张。张与 梅纳德的机器原本只问「至少两个素数」；沿着同一语法，数论家把结论推广到殆素数（素因子个数受限的数）、到更精细的加权和、到素数元组奇异级数的定量版。随机模型（p.16）预言的全部图景，正在被一件一件严格化——预言与证明的对照表，从 2013 年起加速填格子。
还有一个方向应当如实记下。他把筛法转向另一个更深的难题——与黎曼猜想相关的某个零点问题——并于二〇二二年公开了一份预印本。该工作尚未完成同行评审，学界对其结论仍存争议；本册按史料口径如实记到「预印本、未定」为止。一项工作从预印本到公认要经过的关卡，恰是 2013 年那篇论文三周过审的反面——数学的信誉机制，快慢之间自有分寸。
十年的总账可以一句话收拢。有界间隔定理打开的不是一条特例，是一整片可耕的地：分布、多元、殆素数、模型对照——每条走廊都有人接着走。公式的去向，是变成一门学问。下一页把这门学问的器械箱打开看一眼。
两条走廊：间隔的分布估计；多元筛之小区间素数下限（梅纳德）
疆域扩张：殆素数、加权和、奇异级数之定量版
如实记录：零点问题之预印本（2022）未过评审，学界存疑
总账：公式去向＝一门学问
把张益唐的方法压成三步，机械可以照搬，思路可以带走。第一步，化元组：把「间隔有无穷多次不超过 C」翻译成「存在容许元组，无穷多次几乎全素」。翻译的关键在容许性——元组不得占满任何素数的剩余类（p.28 的验算）。这一步把一个关于「相邻」的问题变成一个关于「固定模式」的问题：相邻的素数对来去无踪，固定模式的素数元组可以用筛法成批地数。
第二步，晒余项：用塞尔伯格筛对元组打分，把「元组中素数多于期望」的那部分信号从噪声里晒出来。打分的账本就是余项——每个元组在每个模数下的偏差；偏差的总和由素数分布的平均定理（邦别里—维诺格拉多夫）兜底。燃料到此进场：θ＝1/2 的分布水平决定余项总和可控的范围。
第三步，校权重：给每个元组配一条平滑的权函数，让信号按弧线加权汇总。权重取尖，误差集中；权重磨平，误差摊薄——摊薄到平均定理接得住的程度。三步合拢，机器在 θ＝1/2 上输出结论。这套三步法后来成为教科书里的标准框架：梅纳德的多元筛改的正是第三步（权重从「晒一个」升级为「晒 m 个」）。
器械箱之外的最后一句话。三步法是骨架，血肉是每一步里的常数——而常数的好坏取决于对筛子的熟悉程度。器械可以写在纸上，手感长在人身上：这是本册把十四年写进数学层的全部理由。
第一步 化元组：间隔问题 ⇒ 容许元组问题（p.28）
第二步 晒余项：塞尔伯格筛打分，平均定理兜底（p.21—p.22）
第三步 校权重：平滑权函数摊薄误差（p.23）
多元筛＝第三步之升级：晒 m 个（梅纳德—陶哲轩，p.29）
全册的账，用 x＝100 一条链验到底。第一环，素数个数：π(100)＝25（p.7 的筛法可数）。第二环，定理值：100/ln 100≈21.7（p.14）。第三环，平均间隔：ln 100≈4.6——路长除以点数，24 个间隔摊在约 96 的路程上，实测平均恰约 4.0（p.15 的小样本版本）。三环对上：定理给趋势，实测给样本，方向一致。
第四环，最大间隔：1 到 100 里最大空当 8（89 到 97）——比平均值 4.6 大出七成多，间隔的「狂野」可见一斑（p.8）。第五环，孪生素数：8 对（p.8 的名单）。第六环，预测公式：2C2·100/(ln 100)2≈1.3203×100/21.21≈6.2 对——实测 8 对，粗预测偏低，与 106 处的行为同款（p.9）。六环合拢：每一条 2013 年之后的结论，都能在 1 到 100 的桌面上找到缩影。
链上每一环都对应一幕。第一至三环是第二幕的素数定理与平均间隔；第四环是第一幕的间隔数列；第五、六环是第一幕的孪生素数与 哈代—李特尔伍德预测；而整条链的读法——数不清就估、估了就对照——正是第三幕筛法的呼吸。这本册子的数学层至此可以合上：所有公式，回头都能在 p.7—p.9、p.14—p.16、p.21—p.23、p.28—p.30 找到出处。
留一句给下一页。验算链是本册数学层的收口，却不是全册的收口——定理背后那个走了十四年的人，才是这本册子真正的账。下一页听暗线说签名。
六环链（x＝100）：π＝25；定理值 21.7；平均间隔 4.6；
最大间隔 8（89→97）；孪生 8 对；预测 2C2·100/(ln 100)2≈6.2 对
验算：1.3203×100/21.21≈6.22；24 个间隔合计 96 ⇒ 平均 4.0
每一环均有出处（p.7—p.9、p.14—p.16、p.21—p.23）
数学家的签名不写在纸上，写在定理里。「张益唐」三个字如今与一个常数绑在一起：文献里把那个最初的七千万称作张氏上界。此后每一篇压缩间隔的论文，开头都要从他站立的地方起笔：从张氏上界压到哪里。签名被引用得越勤，刻得越深——这与署名的形式无关，与定理的位置有关。
签名的方式也有他的脾气。他把十载的推演压成一篇五十余页的论文，正文干净，没有一句多余的话；论文之外的岁月——快餐店的账本、汽车旅馆的深夜、七年的拆装——他没有写成回忆录，也很少重提。对一位数学家而言，这是最彻底的署名法：把一切过程省略，只留结论站岗。本册偏偏要把过程写回来——不是为了给故事添油，是因为过程里的「慢」，正是这门手艺失传中的美德。
这跟第五幕的数学严丝合缝。三步法（p.36）是方法的签名，246 的仪表盘（p.30）是后果的签名，张氏上界（p.23）是位置的签名——三种签名共用同一种笔迹：把一件事做到不可绕开。后来者可以绕开任何荣誉，绕不开那条上界。
记一条与暗线相配的事实。他多次被问起那十四年值不值，回答的大意是：数学没欠他什么，是他欠数学一段安静的时间——已经还上了。第七辑的暗线走到这一册，把「时间」二字彻底收编：不赶路的人，最终让路赶上了他。
这一册的故事对两类人有不同的分量。对数学界，它是一次方法论的解放：分布水平的僵局被「用法」绕开之后，人们重新审视各自领域里「公认的边界」——有多少边界其实是想象力的边界。对更广的读者，它是一份关于时间的证词：五十八岁、讲师、无推荐信——每一个标签都曾被当作「不可能」，叠在一起却成了「可能」的注脚。
通向后来的人的路有明确的路标。数论课堂里，三步法成了标准教材；波利马特的公开账本至今是协作研究的范本；而「大器晚成」作为一个严肃话题进入了学术评价的讨论——录用与资助制度怎样给慢工留出空间，各国的共同体都在重新掂量。一个人的书桌照亮一群人的路，这是定理之外的第二重签名。
两条线在交汇处合拢。猜想属于全人类——孪生素数问题不属于任何个人；签名属于个人——张氏上界刻在定理的入口；路属于后来的人——从 246 往前的每一步都还没有名字。三句话摆在一起，本册的全部主题就收拢了：个人以坚守换得位置，共同体以接力换得进度，而时间站在慢功夫一边。
本幕最后一页是小结。把五幕的账并成一张表，把三种读法、三个没做完的问题与两件动手的事一次摆清——然后合上册子，出门走一段不赶路的路。
第五幕讲完，把要点收一收。一条故事线：2013—2014 年荣誉接踵，2015 年受聘正教授，生活照旧；签名落在定理里，路通向后来的人。一条数学线：证明之后十年，间隔的分布、多元筛的小区间下限、殆素数与模型对照全面推进；三步法（化元组、晒余项、校权重）成为标准框架。
三件事值得记住。第一，签名的方式：把过程省略、只留结论站岗——张氏上界是这一签名法最经济的形态。第二，信誉的分寸：三周过审与八年冷凳、预印本与同行评审——数学对快与慢自有一杆秤。第三，两重签名：定理之内是上界，定理之外是「慢工合法化」的示范——后者影响的人数未必更少。
还有一个方法论的收获。六环验算链（p.37）示范了通识数学的读法：任何一条 2013 年的重型结论，都能在 1 到 100 的桌面上找到缩影。大定理不神秘，它是小账本的极限形态。
最后记一个人物细节。成名后的第一次公开演讲，他讲的第一句话是道歉——为证明里的一个小笔误向听众致意，然后从容把全场讲完。对定理的敬意高于对声誉的守护：这是散步者最后的、也是最重要的姿势。
下一页起是收束与附录：回望五十年的台阶、三种读法、三个没做完的问题，以及两件可以亲手做的事。
把这一册的时间摊平，只见三处台阶。一九七八年，二十三岁，北大给他打下解析数论的地基，素数成为终身之题；一九九九年至二〇一三年，新罕布什尔的十四年，白天教课、夜晚算题，把 戈—平—耶的机器拆装了千百遍；二〇一三年，五十八岁，一篇论文把百年猜想的下端踏上了第一级台阶。三处台阶，一处比一处安静，也一处比一处高。
第一处台阶是「接对题」。素数分布是他自己选的战场：代数的难题没有器械，素数的器械恰好走到临界——选战场先看弹药库。这一步练的是眼光：同样的十八年，选错题目的人耗尽了热情，选对的人把热情存成了复利。
第二处台阶是「守住桌」。从漂泊到讲师，从九十年代到二〇一三——十六年没有正式的研究岗位，二十六年没有名分。守桌的秘诀不在毅力而在习惯：每晚与题目相处一会儿，像每天散步一样。习惯把坚守化整为零，化到不需要勇气的程度。
第三处台阶是「磨好器」。权函数磨平滑，θ 一分未抬而结论质变——磨器的全部智慧在于：不改燃料，改用法。浇地基的人不需要上楼——他上楼的方式，是把楼梯修到所有人脚下。下一页把这一册压成三样东西。
这一册可以只用三样东西记住。一列素数：越稀越走不完，整体有账可查（素数定理）；一把筛子：数不清就估，余项磨得越紧界越窄（三步法）；一列间隔：上端想隔多远就隔多远，下端被 2013 年钉上了一根桩——无穷多次不超过 246。
三样东西互相扣住。没有素数定理，间隔连「小」字都无从说起；没有筛法，间隔的桩打不下去；没有那条定理，前人关于素数「应当如何」的预言永远停在预言。素数提出现象，间隔给出问题，筛子连结两端——三步都是「不赶路的散步」的变奏。
这也是数学工作的一般形状。先有一张看得见的账桌（素数表），再立一个可攻的问题（间隔的下端），最后磨一件合手的器械（筛法）。三步之间没有固定顺序——本册是从账桌走到器械；旁的学问可能反着走。顺序可换，三步缺一不可。
给读者的建议只有一条。不必记住 246 与七千万；记住那个动作——数不清，就先估：估密度、估误差、估范围，估到平均定理接得住为止。生活里处处是数不清的事；学会先估一个范围的人，从来不会在无穷面前束手。
下一页是这一册里唯一不谈成就的一页：三个没做完的问题。它们至今还开着。
第一个问题：从 246 到 2。孪生素数猜想本身仍立在墙的那一边：现有筛法的能量在分布水平 1/2 上已榨到头，要再往下压需要新的思想——量级与 2013 年那次相当或更大。246 与 2 之间的一百二十三倍，是留给下一代器械的施工面。进度条已经画好，等一只新的手。
第二个问题：最大间隔的真实形状。克拉默的随机模型说最大间隔约 (ln x)2，后续修正认为还要乘上一个常数；实测数据站在修正一边。可这些都是「证据—模型」的对照，不是定理——间隔的上端至今没有一条已证的平均定律。一端有界已证，另一端的形状仍靠猜：间隔问题的对称尚未合拢。
第三个问题：把筛法伸向更深处。素数分布的更深层绕不开与黎曼猜想相关的零点世界；零点问题方向的预印本（2022）尚未通过同行评审，结论悬而未决——这一层如实记录到此为止。更确定地说：筛法与零点之间隔着整片未勘的地，谁先找到通路，素数的账本就要重写。
三个问题的共同点：都是「方向已见、定理未到」。第一个差一件新器械；第二个差一条平均定律；第三个差一片地图。看见给出方向，证明给出真假——三条门缝里的光，都在等下一双手。
下一页换一种语气：给愿意动手的人准备两件小事。第一件是亲手筛一张素数地图，第二件是算一列间隔的账。
埃拉托色尼的手艺可以亲手来一遍。取一张纸写上 1 到 120（每行十个，共十二行）。第一轮，把 2 留下、2 的所有倍数划掉——59 个数落网；第二轮，把 3 留下（2 之后最小的未划数）、3 的倍数划掉；第三轮划 5 的倍数；第四轮划 7 的倍数。到此为止：8 的平方 64 虽在界内，但 8 的倍数早被 2 划尽；下一个该动手的是 11，而 11 的平方 121 已出界——筛到 7 为止。
剩下的就是素数。数一数：恰好 30 个。核对一遍表：2、3、5、7、11、13、17、19、23、29、31、37、41、43、47、53、59、61、67、71、73、79、83、89、97、101、103、107、109、113。30 个，一个不多一个不少——π(120)＝30（p.7 的记号）。两千两百年前的手艺，精确到今天。
第三步在图上读间隔。把 30 个素数连成线，空当一目了然：2 与 3 之间最窄；89 与 97 之间隔着 90 到 96 七个合数，最宽；101 与 103、107 与 109 两对紧挨的孪生拱卫在百位线上。纸上这张图，就是 p.8 的间隔数列与 p.37 六环链的全部原始数据。
把三步并在一起看。划是排除、剩是名单、连成线是问题——两千年前的一套手艺演全了本册三个主角。实验不花一件器械：一张纸、一支笔。下一页把间隔的账也动手算一遍。
筛序：划 2（59 个）→ 3 → 5 → 7；112＝121＞120 ⇒ 停
剩余 30 个素数 ⇒ π(120)＝30
最大间隔 8（89→97）；孪生对含 101—103、107—109
这张纸＝p.8 与 p.37 的原始数据
用 p.44 的地图算三笔账。第一笔，平均间隔：29 个间隔（30 个素数）合计 113−2＝111，平均 111/29≈3.83。定理值 ln 120≈4.79。小样本偏小约两成——p.15 说过，平均间隔是大路段的意义，120 太短；把路面铺到 106，实测与定理值就贴拢了。这笔账教的是：定理给趋势，样本给波动，两者不矛盾。
第二笔，间隔的两端。最大间隔 8（89→97），是平均值的两倍多；最小间隔 2 出现 10 次（孪生对：3—5、5—7、11—13、17—19、29—31、41—43、59—61、71—73、101—103、107—109）。同一张纸上，间隔的两端各占其极——p.8 说的「一端想隔多远就隔多远、一端挤不完」在这里全部看得见。
第三笔，预测对照。哈代—李特尔伍德公式给 2C2·120/(ln 120)2≈1.3203×120/22.92≈6.9，约 7 对；实测 10 对。偏得比 106 处（预测 6918 对 8169）明显——样本越小，粗预测失真越大，这正是 p.9 说的「公式该添精细修正项」的原因。把 120 换成 12000 再算一遍，偏差立刻收窄——读者可以亲手验这一条。
把三笔账并排。平均、两端、预测——一列间隔的三种读法，一张 1 到 120 的纸全部容纳。算完这三笔，本册数学层就收摊了：所有公式，回头都能在 p.8、p.9、p.14—p.15、p.37 找到出处。
平均：111/29≈3.83 对 ln 120≈4.79（小样本偏小）
两端：最大 8（89→97）；孪生 10 对（3—5 至 107—109）
预测：2C2·120/(ln 120)2≈6.9 ⇒ 约 7 对，实测 10 对
样本越大偏差越小：106 处 6918 对 8169（p.9）
素数：大于 1、无更小因数的整数，整数的原子（p.7）。算术基本定理：素因子分解唯一（p.7）。埃拉托色尼筛：划倍数求素数表的两千年老手艺（p.21、p.44）。孪生素数猜想：相差 2 的素数对无穷多；哈代—李特尔伍德给出定量预测（p.8—p.9）。
素数定理：π(x)≈x/ln x，1896 年证明（p.14）。平均间隔：密度的倒数 ln x，一切「大小」的标尺（p.15）。克拉默随机模型：以概率 1/ln n 掷「素数硬币」的对照宇宙（p.16）。筛法余项：主项与真值之偏差，筛法功力之所系（p.21）。
分布水平：素数按余数分堆之均匀性可驾驭的模数指数 θ；已证 1/2，猜想 1（p.22）。素数元组与容许性：固定间隔模式；不得占满任何素数的剩余类（p.28）。有界间隔定理：间隔无穷多次小于固定常数；张 2013 年证七千万，接力至 246（p.23、p.29）。附一条以器械命名的形象说法：多元筛——元组中至少 m 个素数之筛法，梅纳德与陶哲轩 2013 年独立建立（p.29）。
欧几里得（约公元前 300 年在世）：素数无穷的十行证明，全部间隔问题的起点（p.9）。埃拉托色尼（约前 276—前 194）：筛法的手艺人，p.44 那张地图的祖师（p.21）。高斯（1777—1855）：少年时代凭素数表猜出素数定理的形状，解析数论的开山人（p.14）。
哈代（1877—1947）与李特尔伍德（1885—1977）：一九二三年给出孪生素数猜想的定量形状——一条养了一百年信誉的预测公式（p.9）。塞尔伯格（1917—2007）：筛法的现代立法者（1947），素数定理初等证明的两位作者之一（p.21）。陈景润（1933—1996）：以筛法登顶哥德巴赫问题的「1＋2」，筛法威力的东方见证（p.21）。
潘承彪（1938— ）：他的硕士导师，哥德巴赫问题与素数分布在国内的传承者之一（p.3、p.6）。梅纳德（1987— ）：多元筛的发明者，246 的主要缔造者之一（p.29）。陶哲轩（1975— ）：多元筛的另一位独立发明者，波利马特8 接力的组织者（p.29）。
有界间隔定理落成之后，道路逐年开阔。第一条岔路是分布：间隔在各种尺度上的统计——平均之下的密集区、指数式的稀疏区——十年来已成一门有账可查的学问。第二条岔路是推广：元组方法伸向殆素数、加权和与更一般的数列；凡是「数不清就估」的地方，三步法都留了一份接口。
第三条岔路通向人。公开协作（波利马特）的账本模式被多个数学分支借鉴；「给慢工留时间」进入了学术共同体的制度讨论；而他的故事在课堂与图书馆里流传的版本，把「大器晚成」从一个安慰词变成了一个方法论命题。一条岔路走制度，一条岔路走学问，一条岔路走人心——三条合起来，才是「签名」的全貌。
三条岔路的共同点值得看清。都从「把无穷的对象变成可估的账」这个动作出发——筛法的老手艺。公元前三世纪是埃拉托色尼，1919 与 1947 是布伦与塞尔伯格，2013 与 2014 是张与 梅纳德——一件工具用了两千二百年而年年出新，这在数学史上屈指可数。
给继续走这条路的读者指三个入口。入口一：初等数论——从素数表读到素数定理，一张纸一支笔就能起步；入口二：筛法——从 p.44 的筛表读到塞尔伯格筛与三步法；入口三：公开数据——素数表、间隔表、元组数据库都在公开渠道，p.49 的表是第一站。三个入口的文献在 p.49 对号。
本册出现过的公式与数字，归成一张可以自己验算的小表。第一行是「密度」行：π(x)/x——x＝100 时 0.25，x＝106 时约 0.0785；密度沿 1/ln x 缓慢下落。第二行是「平均间隔」行：ln x——4.6、13.8，恰是密度的倒数。第三行是「上限」行：七千万→600→246——2013 至 2014 年的压缩链；表外两块牌子：假设 埃利奥特—哈尔伯斯坦得 12，猜想目标是 2。
表上每一格都能自己动手验。密度行：π(100)＝25、π(106)＝78498，除一遍即得；间隔行：ln 值用对数表或计算器核（ln 100＝4.605、ln 106＝13.816）；上限行是年份账：2013 年 4 月投出七千万，2014 年 4 月定格 246。三行共用同一个底层事实：素数定理——密度、间隔、估计，全从它出发。
表的功能不止复习。三行表恰好是本册三层语法：对象（密度）、标尺（间隔）、进度（上限）——「数形状」这门语言的三个词性。读者若肯把九个格全部亲手算一遍，本册的数学层就真正归了自己；注疏层（各页注文）则负责把每个格送回原始文献。
表会继续生长。密度行往下还有更细的误差项；间隔行的邻座是 克拉默猜想；上限行空着的下一格，属于从 246 起步的下一代器械。一张小表是空地图；空着的地方，属于拿着纸笔的人。
密度行：π(100)/100＝0.25；π(106)/106≈0.0785
间隔行：ln 100≈4.6；ln 106≈13.8（倒数关系互验）
上限行：7×107（2013）→600→246（2014）；埃利奥特—哈尔伯斯坦假设 ⇒ 12；猜想 ⇒ 2
底层事实：素数定理 π(x)≈x/ln x
这一册的入口比前几册更「素手」。故事从一张素数表开始——那就先动手：一张纸写上 1 到 120，按 p.44 的四轮筛法划下去，30 个素数就是孩子自己「发现」的。先玩后读，p.7—p.9 的字句会自己立起来。高年级读者可直接进 p.14—p.16 的密度与间隔账本。
三个亲子问题可以带着读。问题一（对应 p.8）：为什么两个素数可以紧挨着只差 2——把孪生对在 p.44 的地图上圈出来。问题二（对应 p.16）：素数像不像掷硬币——掷一百枚记录正面间隔，跟素数表对一对。问题三（对应 p.31）：一个人做一件二十年没人看好的事，靠什么撑住——这是整册最深的一问，不必求答案，求共鸣即可。
三层读法照旧分工。故事层（各幕第一页与暗线页）无需预备知识，小学高年级可独立读；数学层（p.7—p.9、p.14—p.16、p.21—p.23、p.28—p.30、p.35—p.37）只用加减乘除、平方与一个对数的大致概念，每步从头算；注疏层给需要查证的大人——所有文献逐页可对。
两条提醒。其一，本册有大半生不得志的底色（毕业无推荐信、打工数年、讲师十四年）——给孩子讲时不必回避，也不必渲染：重点是「书桌没有丢」，而不是失意本身。其二，孩子若问「研究素数有什么用」——密码学与计算科学天天在用素数；不过更好的回答是先陪他筛一张 1 到 120 的地图：用途的问题，筛过的人自己会升级。
误区一：「素数没有规律，没法研究」。正解：单颗星没规律，满天星有银河——素数定理就是银河的账（p.14）。局部无规律与整体有精确账同时成立，这正是数学最迷人的反差。
误区二：「七千万那么大，等于什么都没证明」。正解：从「间隔可以任意大」到「间隔有无穷多次不超过七千万」，是质的一跃——「有界」二字从此被证明（p.23）。常数大只说明器械初代；246 的接力就是证据（p.29）。
误区三：「246 都有了，孪生素数猜想快证完了」。正解：从 246 到 2 横着方法革命的墙——现有器械的能量在分布水平 1/2 上已到尽头（p.30）。进度条与终点线是两回事；准确读表比乐观重要。
误区四：「天才是不会埋没的」。正解：他被埋没了二十六年——不是传说，是履历。埋没与坚持可以同时为真；制度讨论（给慢工留空间）正由这样的案例推动（p.39）。把「金子总会发光」讲成「光要自己攒」，孩子才学得会。
误区五：「筛法只能粗糙估计，不算真本事」。正解：百年猜想的第一个有界结论就是筛法打下的（p.23）——粗糙与否看精度，不看出身。估计术是数论的正规军：本册全部重型结论，没有一条绕开估计。
《数学家的故事》第七辑 · 第 68 册：张益唐 · 素数的间隙。本册明线为张益唐的学术传记：从上海的自习室到北大的课堂、从漂泊的岁月到讲师的书桌、从筛法的余项到七千万——以及此后压到 246 的全球接力；暗线为「不赶路的散步」——不追赶时间的人，反而走到了最远处。全册五十二页、插图四十幅、五幕加收束。
体例与分工。三层结构：故事层面向所有读者，数学层只用初等运算且每步从头算起，注疏层逐页给出原始文献与研究出处。页码分工：p.2 题解、p.3—p.5 引子、p.6—p.40 五幕正文、p.41—p.43 收束、p.44—p.45 动手做、p.46—p.47 小典、p.48—p.49 延伸、p.50—p.51 家长导读、p.52 版权页。
史料口径。生年、任职、奖项依《麦克图托数学史档案》、《数学年刊》刊出记录与《纽约客》2015 年长篇报道；核心文献的卷期页码逐条对过原刊信息；凡涉及传主自述者均以「大意」标明，不作逐字引语；凡学界尚无定论者（含 2022 年预印本），注文标明「概括」或「未定」。
下一册预告。第七辑 · 第 69 册将走向一位在二十世纪为整座数学大厦立章程的人——塞尔与拓扑与数论的桥梁。他的故事同样始于一把不肯合拢的账。