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