一样，都是下萨克森人。
他 17岁的时候就拿了国际数学奥林匹克的金牌，在波恩读完了博士以後就去了普林斯顿，32岁就拿到了终身教职。
塞勒姆奖、克雷研究奖……做解析数论的人能拿的奖，他几乎拿了个遍。
只有菲尔兹奖，他差了 4个月，被 40岁那道门槛挡在了外面。
2021年的时候，他辞掉了普林斯顿的教职，回到了哥廷根。
当时普林斯顿的同事很不理解，问他为什麽要回去。
他当时笑着说道，因为黎曼的遗稿在这里。
此时他的办公室里，一整面墙上都贴满了黎曼遗稿的复印件。
从 zeta函数的积分表示，一直到那一页页密密麻麻的零点数值计算。
在李东横空出世之前，要是有人问全世界最懂黎曼猜想的人是谁，那 10个数论学家里起码有七八个人会说是他。
2018年年初的时候，布拉德·罗杰斯和陶哲轩证明了德布鲁因-纽曼常数不小於 0。
这个常数要是正好等於 0，黎曼猜想就成立了。
论文挂出来没几天，陶哲轩又在自己的博客上拉起了一个叫 POLYMATH 15的项目。
他召集了一大群人，想用计算机把这个常数的上界一点一点的往 0上压。
那年的夏天，布伦内克在里约热内卢的国际数学家大会上，做了一个小时的大会报告。
报告的题目叫做，《临界线上没有余地》。
他在报告里当着几千人的面，把罗杰斯和陶哲轩批评了一通。
在他看来，黎曼猜想是数学里最纯粹的东西。
拿计算机一位小数，一位小数的去凑它，简直是对黎曼猜想的冒犯。
在报告的最後，他还半开玩笑地说了一句。
“黎曼猜想就是写给上帝看的，根本就不是人能证明的东西，谁也别再做这个梦了。”
那场报告以後有不少的年轻人都从这个方向上离开了。
後来大家都把他这个说法叫做布伦内克障碍。
至於准黎曼猜想，他自己也在上面耗费了好几年，最後也只是把无零区往里推了那麽一丁点，然後就再也推不动了。
因此，上个月 OpenAI把准黎曼猜想证出来的那天晚上，布伦内克的信念崩塌了。
他拿着打印出来的论文，从天黑一直看到了天亮。
第二天一早，他就托了各种关系，申请到了 OpenAI内部研究模型的使用权限。
此时，他坐在电脑前，胡子已经有好几天没刮了。
这一个礼拜他跟着 AI把德布鲁因纽曼常数的上界压到了 10^(-9)。
要知道，在这之前全世界能做到最好的成绩也才 0.2。
而他们只用了一个礼拜，就将最好的成绩往前推了整整 2亿倍。
人类距离黎曼猜想，从来没有如此之近过。
可这份证明的骨架全都是 AI搭起来的，哪一步该往哪里推，用什麽办法推，都是它说了算。
布伦内克能做的只是在他指出来的地方补上了几条引理而已而且就在刚才，AI又发来了一条消息，说他补的其中一条引理可以删掉。
布伦内克不服，发了一大段话过去，说没有这条引理兜底的话，後面的误差就控制不住。
【误差已经在上一轮被吸收了，这一步你不需要参与】。
电脑上弹出 AI的回复。
布伦内克又回去看那一遍，最後发现 AI是对的。
他靠在椅背上，抬头看了看对面那扇贴满了黎曼手稿的墙。
16
-->>(第7/10页)（本章未完，请点击下一页继续阅读）