站在台上进行毕业答辩..
」
塞尔转过头，看了一眼坐在陈拙左侧的皮埃尔。
「我想他们就能又一次看到年轻时的皮埃尔了。」
皮埃尔坐在椅子上，没有出声反驳塞尔的调侃，只是傲娇且不屑地从鼻腔里发出了一声轻哼，算是默认了这个极其护短的假设。
大圆桌旁爆发出一阵轻松的笑声。
塞尔伸手拂去掉落在格子衬衫上的一点面包屑。
「说到一团乱麻，陈，既然你的那个离散矩阵能跟矽谷的底层代码兼容，你应该去帮帮《数学年刊》的那帮老眼昏花的可怜虫。」
塞尔将切下来的一小块面包丢进嘴里，用力地咀嚼着。
「他们最近快被那些计算机代码给逼疯了。
，塞尔含糊不清地嘟囔着。
陈拙转过头，看着头发乱蓬蓬的塞尔。
阿瑟在一旁端着杯子，笑着接过了塞尔的话题。
「托马斯·黑尔斯。」
阿瑟看着陈拙，报出了一个名字。
「匹兹堡大学的那个数学家，他几年前向《数学年刊》提交了关於克卜勒猜想的完全证明。」
阿瑟摇了摇头，杯子里的黑色咖啡跟着晃动。
「那个疯子，在论文後面附带了足足三个G的计算机代码和运行结果。」
阿瑟叹了口气。
「为了验证那些代码里的每一个逻辑分支，《数学年刊》找了十二个顶尖的数学家组成审稿委员会。」
马祖尔在旁边冷哼了一声。
「十二个人，整整看了四年。」
马祖尔用手指敲了敲桌面。
「硬生生把那十二个老头看出了严重的偏头痛和视力衰退，上个月，审稿委员会的负责人直接向编辑部提交了辞呈。」
马祖尔端起咖啡喝了一口。
「他们在辞呈里说，人类的大脑根本无法穷尽那三万条程序的每一个分支。」
马祖尔放下杯子。
「他们集体投降了。」
塞尔终於咽下了嘴里那块干硬的面包。
他端起咖啡顺了顺嗓子，然後看着陈拙。
「老派的数学算是彻底完蛋了。」
塞尔的英语里带着浓重的法国腔调。
「以後数学杂志是不是得配个高级程式设计师才能看懂证明？好在你昨天拉的那九块黑板，还算是在人类的大脑理解范围内。
…。。