试听180秒[S2] 027 10万亿个证据也抵不上1个证明（二）

一、手稿中的突破

1、1925年后黎曼猜想的进展就卡在了计算出138个非平凡零点的具体数值，此后举步维艰，这时候有人把关注点放在了黎曼的手稿上。

2、数学家的手稿≠草稿纸，数学家的手稿=物理学家的实验记录，那里记录着整个思考过程，这些内容在论文中不太可能出现。

3、黎曼去世后手稿保存情况很不好，先被管家烧掉过一部分，剩下的被妻子赠送给黎曼生前好友理查德·戴德金，但几年后又因为觉得里面有一些家庭隐私，拿回了一部分。最终剩在理查德·戴德金手中的手稿被哥廷根大学图书馆保存。

4、数学史加哈根对这份手稿很感兴趣，约了西格尔一起研究，西格尔在手稿中发现了黎曼竟然在70多年前已经手工计算出了前3个非平凡零点的具体数值。而且计算方法效率超高。他整理过后形成了黎曼-西格尔公式。

5、黎曼晚年生活拮据，用纸很节省，大部分手稿密密麻麻，整理起来非常费劲。

二、计算非平凡零点的竞赛

1、哈代的学生利用西格尔公式把非平凡零点计算到1041个。

2、图灵在1953年3月计算到1104个。

3、1956年推进到2.5万个，1966年推进到350万个。

4、德国数学家和意大利数学家打赌，在前3亿个零点如果没有出现例外，德国数学家查吉尔输。他们预计结果将在21世界初揭晓，结果荷兰国家数学实验室的赫曼在1982年就计算出前2亿个，但赫曼对赌局并不知情，所以停了下来，直到查吉尔的损友亨德里克提醒，赫曼才抱着恶作剧的心态计算出3亿700万个零点，查吉尔输了。

5、赫曼的计算成本很高，每小时700美元计算费用，共用了1000小时。

6、1986年计算出前15亿位，2000年Zeta Grid 分布式计算建立，专门用来跑黎曼猜想的非平凡零点的验证，到2004年验证了8500亿个。

7、法国团队在随后快速超越Zeta Grid，验证了十万亿个零点，他们的算法效率是对手的450万倍，这也是人类目前对黎曼猜想验证最多的，十万位里没有一个例外，实数部分全部位于Re=1/2这根临界线上。

四、验证零点≠计算零点

1、验证零点时只计算实数部分是不是等于1/2，而计算零点的任务量要大的多。

2、在1982年时即便是存储3亿个零点的具体数值，可能也需要几个GB的硬盘容量，而当时这个容量的磁盘成本要至少500万美元

五、图灵之死

1、1951年底图灵在大街上相中了一个游手好闲的小伙子阿诺德·穆雷，并且双方关系逐渐深入，发生了性关系。

2、阿诺德的性服务没有收到钱，于是行窃，图灵没有和他了断关系，之后分分合合。

3、图灵家再次失窃，这次是阿诺德的朋友干的，图灵报警后，在审讯过程中，自己同性恋的身份也暴露了，被指控犯有：严重猥亵罪。

4、图灵背叛缓刑期间需要接受化学去势疗法，注射雌性激素后乳房增大，思维改变，在1954年6月7日晚自杀。他在被捕到被判刑之间的半个月中还提交了自己关于黎曼zeta函数零点计算的论文。