《黎曼猜想漫谈：一场攀登数学高峰的天才盛宴》第九节

20世纪50年代初，图灵制成机器，1953年算出前1104个零点，均在临界线上；此后机器损坏，他因同性恋行为被判罚，两年后氰化物中毒身亡。

20世纪50年代初，图灵制成机器，1953年算出前1104个零点，均在临界线上；此后机器损坏，他因同性恋行为被判罚，两年后氰化物中毒身亡。随后计算记录不断刷新：莱默、梅勒、莱曼、罗瑟先后推进到前250000、3500000个零点。

普朗克数学研究所的查基尔认为这些结果是"零证据"，估计需算满三亿个零点才有判定价值，遂与深信黎曼猜想的意大利数学家邦别里打赌两瓶波尔多葡萄酒，以三亿个零点为限。1979年布伦特研究组算到八千一百万，特里奥研究组算到两亿；查基尔的好友伦斯特拉鼓动特里奥继续，1982年推进到三亿零七百万个零点，查基尔输了，那瓶酒所耗计算经费约值三十五万美元。此后查基尔转而相信黎曼猜想。

大规模零点计算其实不求具体数值，而是验证：用Z(t)符号改变次数确定临界线上零点不少于N个，再用围道积分算出临界带内零点总数为N，二者相等即证明前N个零点都在临界线上。四年后纪录达十五亿个零点，此后计算兴趣下降、多用廉价机器的闲散时间进行，推进趋缓，延续至2000年。