第640章 轮到你来读了(上)(今天还有一章)(2/2)
请关闭浏览器的阅读/畅读/小说模式并且关闭广告屏蔽过滤功能,避免出现内容无法显示或者段落错乱。
“田老师,我正要找您呢,昨天给你打一天电话都没……”
话到一半,杨胜果就愣住了。
他拿著电话的手有些发抖,在开口的时候声音都有些颤抖。
“您什么?”
“好,好,稿子您发过来,我这就去办。”
纪明川就站在旁边,看著杨胜果的失态,疑惑地问道。
“杨主任,出什么事了?”
杨胜果深吸了一口气,然后尽量让自己冷静下来道。
“没事没事,就是发篇论文而已。”
虽然杨胜果的淡定,但嘴角怎么压都压不下去。
“稿子田老师那边发到我邮箱了,我现在转给你,你马上去走流程,上午10点之前给我挂到官网的首页上。”
纪明川有点懵逼。
“现在就挂,不送审吗?”
“已经审完了,田老师、刘若川院士以及数院的十几位教授都看过了,没问题。”
纪明川还是有些不解,这不符合程序啊。
但领导的话,他不能不执行,所以他点了点头,回到了自己的工位上打开了邮箱。
PDF加载出来以后,一个论文标题出现在了屏幕上。
《黎曼猜想的证明》。
纪明川:??!!
黎曼猜想被证明了?这怎么可能?难道又是哪个大模型做出来的?
他下意识地看了一眼作者栏,生怕又看见一个陌生的AI。
但这一次,作者栏里只有一个名字。
【李东】
“我操!”
纪明川一下子没忍住,直接叫出了声来,办公室里的好几个人都抬起头来看著他。
可纪明川完全没在意这些目光。
他的心里只有六个字,数学界有救了!
纪明川使劲地搓了搓脸,让自己冷静下来,然后看了一眼屏幕右下角的时间。
9:07,距离10点还有53分钟。
……
美国东部时间晚上9:10。
克雷数学研究所临时开了一场视频会议。
按照之前的打算,昨天那份重新审议千禧年大奖规则的声明挂出去以后,几位委员应该先各自写一封意见信,等秋天开年会的时候,大家再坐下来谈。
可问题是,今天下午研究所收到了OpenAI发来的一封邮件。
邮件里,OpenAI先是感谢了克雷研究所这些年对数学研究的支持,然后又,照他们现在的进度,德布鲁因–纽曼常数最晚到今年年底就能压到0,到时候黎曼猜想就可以证明出来了。
因此下个礼拜二,OpenAI将会开一场发布会,把这个时间表正式对外公布。
所以他们想在发布会之前,请克雷研究所给一个明确的回复,要是由AI主导的证明,到底有没有资格申请千禧年大奖?
当然在最后,他们也很“善意”的告诉研究所,公司愿意给研究所捐一笔钱,单独设立一个人工智能数学奖。
这封邮件转到了委员们的手上以后。
马尔科姆·格里芬立刻将委员们拉进了会议。
牛津那边现在已经是凌晨2点多了,可怀尔斯还是准时上了线。
视频会里除了怀尔斯和格里芬,还有彼得·萨纳克、詹姆斯·阿瑟和西蒙·唐纳森。
格里芬叹了口气道。
“邮件我想大家都看到了吧?我也不绕弯子了。”
“大家什么意见?“
他话音刚,萨纳克一巴掌就拍在了桌子上。
“OpenAI那边也太狂了吧?东西都还没证明出来,就敢开发布会?”
“他们就这么肯定,一定能拿下黎曼猜想?”
“简直是痴人梦。“
“可是他们已经把准黎曼猜想给证明了。”
詹姆斯·阿瑟声地了一句。
视频会议里,一下子就没了声音。
怀尔斯一直都没有话。
40多年前,他把自己关在阁楼里,整整7年才把费马大定理给证了出来。
可要是放到今天呢?也许7个礼拜就够了?
见没有人话,格里芬叹了口气。
“各位,今天晚上总得拿出个结果来。”
……
德国,哥廷根。
凌晨3:58,布伦内克的办公室里还亮著灯。
从德布鲁因纽曼常数不超过10^(-9)发表在《数学年刊》的官网,到现在已经过去了37个时。
这37个时,他的电话就没有断过。
最开始打来都是道贺的电话。
哥廷根大学的校长在电话里兴奋地告诉他,学校准备下个礼拜给他开一场新闻发布会。
“布伦内克教授,因为你,哥廷根又一次站在了黎曼猜想的最前面。”
布伦内克握著手机,嘴角也微微地上扬了一下。
可挂断电话以后,他又看向了屏幕上作者栏里,排在第一的OpenAI。
他的那点笑意瞬间就没了。
后来下萨克森州的科学部长也打来电话,请他去汉诺威吃顿饭。
布伦内克听完只了句最近太忙,就把电话挂了。
而到了晚上,电话也慢慢的变了味道。
一位在普林斯顿共事了十几年的老同事,在电话里阴阳怪气地问他,16年前在里约骂别人拿计算机凑黎曼猜想的那个布伦内克是不是已经死了?
布伦内克的脸一下就涨红了。
他很想骂回去,可话到嘴边,他才发现,自己已经找不到任何能够顶回去的话了。
甚至还有一个他根本不认识的年轻人,也不知道怎么拿到了他的电话。
接通电话以后就笑著。
“原来写给上帝看的东西,机器也能读得懂啊。”
布伦内克听到这话以后,在椅子上坐了很久。
最后,他干脆把手机倒扣在了桌上,谁的电话也不接。
接著,他又看向了电脑屏幕。
只要屏幕上这个常数变成0,这些电话、这些话,就什么都不是了。
从投稿到现在的这一个月里,AI又把德布鲁因纽曼常数的上界从10^-9压到了10^-15。
就在刚才,AI把下一轮的计算方案给发了过来。
几十页的推导,布伦内克连翻都没翻,就直接点了确定。
要是换做以前,谁把这么厚一份推导放在他的面前,他少也得挑上三天三夜的毛病。
可现在他只想快一点,再快一点。
【第16轮计算进行中目标10^-16,已完成63%。】
布伦内克看著这一行指令,手指一下一下地敲著桌面,隔几分钟就把页面刷新一遍。
这几天,他一次都没有抬头看过对面贴满黎曼遗稿复印件的墙。