可等他自己爽完以後，又发现了一点不对劲。

    李东以前的论文，他又不是没看过。

    像李氏定理，轴对称-纳维斯托克方程以及量子自旋的论文，他哪一次不是需要花上好几个月的时间才能看懂。

    然而今天，像黎曼猜想这种层次的东西，他居然看一遍就明白了，而且连李东为什麽要这麽做，他都能知道个大概，就好像这些东西他本来就知道一样。

    这是李东教授转性子了？还是我在数学上的造诣有了进步？

    陶哲轩自嘲地笑了笑，然後翻到了论文的最後一页。

    这一页上并没有公式，只有李东单独写下来的几句话。

    【这大半年总有人问我，要是有一天，AI把所有的定理都证明了出来，那数学还需要人类吗？】

    【其实我想对大家说，100多年前希尔伯特就已经回答过了。】

    【我们必须知道，我们必将知道。】

    1930年，希尔伯特退休在家乡柯尼斯堡对着广播说出了这句话。

    後来这句话被刻在了他在哥廷根的墓碑上。

    陶哲轩看着李东的话，突然明白了他想说什麽。

    AI确实可以把一条一条的定理证明出来，可是它证明出来了以後不等於人就知道了。

    要弄明白这些定理为什麽是对的，从来都是人类自己的事，谁也替代不了。

    “我们必须知道，我们必将知道。”

    陶哲轩喃喃自语，随後拿起了手机，给怀尔斯发了一条消息。

    【怀尔斯教授，在你们克雷研究所改规则之前，我想你应该先看看这个。】

    他将论文的 PDF发给了怀尔斯，随後又看向屏幕上那封还没有回的邮件，突然笑了。

    【感谢你们的邀请，我一定到场。】

    这一回，他是真想去现场看看，OpenAI的这场发布会还能办得起来吗？

    ……

    美利坚，晚上 10:25。

    克雷数学研究所的视频会议已经开了一个多小时了，大家该说的都说了，该吵的也都吵了。

    视频上的几个人都透着疲惫。

    格里芬揉了揉眉头。

    “我想大家讨论的也差不多了，那就表决吧，同意修改规则的请举手。”

    说完他第一个举起了手。

    詹姆斯·阿瑟犹豫了一下，也慢慢的把手举了起来。

    没办法，数学就是数学，一个证明，不管是谁证明出来的，对了就是对了，错了就是错了。

    要是黎曼猜想真的被证明出来了，那总不能因为有 AI的参与，就说他是错的吧？

    只不过从此以後，这份荣誉就会大打折扣了。

    紧接着，又有两位委员举起了手。

    怀尔斯皱着眉头，没有动。

    他不想同意，要是这份荣誉真的颁给了一份由 AI主导的论文，那往後的数学到底是人类的数学还是 AI的数学？

    他正准备开口，此时桌上的手机屏幕亮了一下。

    他看向手机，是陶哲轩发来的消息。

    【怀尔斯教授，在你们克雷研究所改规则之前，我想你应该先看看这个。】

    这条消息的後面还附了一份 PDF。

    怀尔斯疑惑地点开了它，只看了一眼标题和作者，目光就再也挪不开了。

    会议室里，格里芬的手举着，另外几个委员的手也还举着。

    他们都在等屏幕最上方那个低着头的老人。

    格里芬见怀尔斯半天没有动静，於是忍不住提醒了一声。

    “怀尔斯教授？”

    怀尔斯这才抬起了头，看向了摄像头，那张皱纹纵横的脸上露出了一个和蔼的笑容。

    “格里芬，我想这项表决可以取消了。”

    “取消？为什麽？”

    “因为现在已经没有黎曼猜想了。”

    ……

    京城，未名研究所。

    数学学部的一间办公室里，顾铭和莎拉正凑在一起看着李东的论文。

    就在这时，办公室的门砰的一声被人推开了。

    彭罗斯满面潮红的走了进来。

    “顾铭，你有见到东没有啊？我给他打了十几个电话都没人接，你知不知道他在哪？”

    顾铭连忙站起来说道。

    “彭罗斯教授，老师在公寓里睡觉。”

    “睡觉？”

    彭罗斯简直不敢相信。

    “黎曼猜想都被他证明出来了，他居然还睡得着？”

    说完，他就拿着论文在办公室里来回地走着，嘴里还念念有词。

    “我早就说过了，东就是黎曼的化身，当时没有人信，现在信了吧？东就是活的黎曼。”

    顾铭和莎拉对视一眼，使劲憋着脸上的笑容。

    彭罗斯在办公室里转了两圈以後，突然转

『加入书签，方便阅读』