第339章 闲聊 (第1/3页)

    马祖尔向後靠回椅背上。

    「整数系数上的那些挠部分产生的拓扑空洞，可不是靠一个常数C就能填满的，那是个泥潭，说不定够你这小子在里面折腾几年的。」

    马祖尔看着陈拙。

    陈拙端着咖啡杯。

    听到马祖尔的话，他的动作没有停顿，他低下头喝了一口加了牛奶的咖啡。

    很好，不苦了。

    放下杯子，陈拙抬起头，看着对面的马祖尔，他没有去争辩常数C的普适性，也没有做出任何急於证明自己的表态。

    他的脸上露出了一抹笑容。

    「您说得很准，马祖尔教授，我昨天晚上在公寓的草稿纸上，试着往整数域上推了一步。」

    陈拙拿起桌上的那把金属小勺，在杯子里轻轻搅动了两下。

    「结果刚一进去，那些挠部分产生的拓扑空洞，确实很难搞。」

    陈拙看着咖啡表面因为搅动而产生的微小漩涡。

    「那里的边界条件确实乱成了一团，原有的大部分同调工具一放进去就彻底失效了。

    「」

    马祖尔听着陈拙的话，微微挑了一下眉毛。

    「不过这样也好。」

    陈拙放下小勺，靠在椅背上，他看了看马祖尔，又看了一眼坐在旁边的皮埃尔。

    陈拙半开玩笑地接了一句。

    「至少接下来的这几年，我不用发愁我的博士毕业论文该写什麽题目了。」

    陈拙端起咖啡杯，语气里透着一股年轻人特有的狡黠与凡尔赛。

    「回普林斯顿慢慢磨吧。」

    听到博士毕业论文这几个字。

    马祖尔愣了一下，随後直接被气笑了。

    他没好气地看着眼前这个大言不惭的年轻人，端着咖啡杯笑骂道。

    「博士论文？陈，你是在开普林斯顿的玩笑，还是在消遣我们？」

    坐在马祖尔旁边的塞尔，正伸手去拿桌子中央藤编篮子里的牛角面包。

    听到陈拙的话，塞尔把那个已经完全冷掉的牛角面包拿了过来，放在面前的瓷盘里，笑着接茬。

    「凭你昨天在讲台上写出的那个离散矩阵，你现在就算拿一张擦过嘴的餐巾纸交上去，普林斯顿的学位委员会也会连夜给你盖章通过。」

    塞尔拿起一把边缘有些磨损的餐刀，费力地切着那个干硬的面包，顺嘴吐槽道。

    「如果有哪个不长眼的教授敢让你真的站在台上进行毕业答辩..

    」

    塞尔转过头，看了一眼坐在陈拙左侧的皮埃尔。

    「我想他们就能又一次看到年轻时的皮埃尔了。」

    皮埃尔坐在椅子上，没有出声反驳塞尔的调侃，只是傲娇且不屑地从鼻腔里发出了一声轻哼，算是默认了这个极其护短的假设。

    大圆桌旁爆发出一阵轻松的笑声。

    塞尔伸手拂去掉落在格子衬衫上的一点面包屑。

    「说到一团乱麻，陈，既然你的那个离散矩阵能跟矽谷的底层代码兼容，你应该去帮帮《数学年刊》的那帮老眼昏花的可怜虫。」

    塞尔将切下来的一小块面包丢进嘴里，用力地咀嚼着。

    「他们最近快被那些计算机代码给逼疯了。

    ，塞尔含糊不清地嘟囔着。

    陈拙转过头，看着头发乱蓬蓬的塞尔。

    阿瑟在一旁端着杯子，笑着接过了塞尔的话题。

    「托马斯·黑尔斯。」

    阿瑟看着陈拙，报出了一个名字。

    「匹兹堡大学的那个数学家，他几年前向《数学年刊》提交了关於克卜勒猜想的完全证明。」

    阿瑟摇了摇头，杯子里的黑色咖啡跟着晃动。

    「那个疯子，在论文後面附带了足足三个G的计算机代码和运行结果。」

    阿瑟叹了口气。

    「为了验证那些代码里的每一个逻辑分支，《数学年刊》找了十二个顶尖的数学家组成审稿委员会。」

    马祖尔在旁边冷哼了一声。

    「十二个人，整整看了四年。」

    马祖尔用手指敲了敲桌面。

    「硬生生把那十二个老头看出了严重的偏头痛和视力衰退，上个月，审稿委员会的负责人直接向编辑部提交了辞呈。」

    马祖尔端起咖啡喝了一口。

    「他们在辞呈里说，人类的大脑根本无法穷尽那三万条程序的每一个分支。」

    马祖尔放下杯子。

    「他们集体投降了。」

    塞尔终於咽下了嘴里那块干硬的面包。

    他端起咖啡顺了顺嗓子，然後看着陈拙。

    「老派的数学算是彻底完蛋了。」

    塞尔的英语里带着浓重的法国腔调。

    「以後数学杂志是不是得配个高级程式设计师才能看懂证明？好在你昨天拉的那九块黑板，还算是在人类的大脑理解范围内。

    塞尔用手里的餐刀指

    （本章未完，请点击下一页继续阅读）