哥德巴赫猜想与陈景润：摘取数学皇冠明珠的人

背景

1742 年，普鲁士数学教师哥德巴赫在与欧拉的信件往来中提出一个观察：每个大于 2 的偶数，似乎总能写成两个素数之和。他试了很多数都对，却给不出证明，于是请教欧拉。欧拉回信说：「虽然我还不能证明它，但我确信它是一个完全正确的定理。」

这封信开启了一场三百年的接力。人们把它简记为「(1+1)」——一个素数加一个素数。

史料辨析

史实 1742 年 6 月 7 日哥德巴赫致欧拉信与 6 月 30 日欧拉回信均存世，收入《欧拉全集》第四集。原始表述与今天的陈述略有差别（哥德巴赫原信把 1 也当素数），现行标准表述经后人整理。

史实 数学家们采取迂回路线：先证明每个充分大的偶数可写成两个数之和、每个数至多含 m 个素因子，再逐步缩小 m。挪威布朗 1920 年证明 9+9，此后 7+7、6+6、5+5、4+4、3+3、1+5、1+4、1+3 逐个被攻克。

史实 1966 年，中国科学院数学研究所的陈景润宣布证明「1+2」：每个充分大的偶数都可写成一个素数与一个「至多是两个素数乘积」的数之和。详细证明 1973 年发表于《中国科学》，国际数学界称之为陈氏定理——这是迄今距离猜想最近的结果，五十余年无人再推进一步。

史实 陈景润的工作得益于华罗庚1950年代归国后主持的数论讨论班；陈景润 1957 年调入数学所，此故事经徐迟 1978 年报告文学《哥德巴赫猜想》传遍全国。

数学内核

猜想的标准形式：

$\text{任何大于 2 的偶数 }N\text{ 都存在素数 }p,q\text{ 使 }N=p+q$

陈景润证明的结果是：

$\text{充分大的偶数 }N\text{ 存在素数 }p\text{ 与至多两个素数之积 }{P}_2\text{ 使 }N=p+P_2$

「1+2」与「1+1」只差一步，却是天堑：筛法在估计「能把 N 拆成素数＋素数」的计数时，误差项始终压不下去。要跨过这一步，普遍认为需要全新的工具，而不是更快更强的验算。

为什么不用计算机验完？因为偶数有无穷多个，验证的再多也只是有限样本；数学证明要求对一切偶数给出推理，这是猜想三百年来悬而未决的根本原因。

说法与史实