第640章 轮到你来读了（上）（今天还有一章） (第3/3页)

重新审议千禧年大奖规则的声明挂出去以後，几位委员应该先各自写一封意见信，等秋天开年会的时候，大家再坐下来谈。

    可问题是，今天下午研究所收到了 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%。】

    布伦内克看着这一行指令，手指一下一下地敲着桌面，隔几分锺就把页面刷新一遍。

    这几天，他一次都没有抬头看过对面贴满黎曼遗稿复印件的墙。

    

『加入书签，方便阅读』