第136章 暂时没有错误（2/2）

丘成桐突然拍了一下桌子，把陈航和比尔卡尔都吓了一跳。

“这个结论！”丘成桐指着屏幕最后一页，“沙发常数等于Gerver下界，且唯一最优解就是Gerver沙发……陈航，你知道这意味着什么吗？”

陈航点点头：“意味着移动沙发问题被彻底解决了。”

“不止！”丘成桐站起来，在办公室里踱步，像是要消化某种巨大的情绪，“这个问题困扰了几代数学家。从Moser在1966年提出，到Harsley的耳朵沙发，再到Gerver在1992年的数值构造，整整60多年！多少数学家试过，多少博士生把它当作毕业论文选题，最后都放弃了！”

比尔卡尔教授靠在椅背上，摘下眼镜揉了揉眼睛，脸上露出一种复杂的笑容：“而且你用的方法……那种构造松弛泛函然后证明紧致性的技巧，这本身就是一个重要的方法论贡献。我敢说，未来五年内，几何优化领域的论文里会频繁引用你的工作。这不仅仅是解决了一个问题，你是开辟了一条路。”

“119页。”丘成桐说，语气里有一种奇特的仪式感，“两天时间，119页完整证明。这写作速度……你打字是用意念控制的吗？”

陈航有些不好意思：“LaTeX用熟了其实很快。而且证明的核心思路在草稿阶段已经理顺了，写作只是把脑子里的东西翻译成文字和公式。”

“翻译？”比尔卡尔笑了，“你这翻译的精度比专业译者还高。看看这个定理环境的嵌套，看看这些交换图表的排版……我带的博士生写了两年代码都没你这么熟练。你真是第一次用LaTeX？”

“真是第一次。”陈航老实交代，“不过我把《lshort-zh-》和《LaTeX入门》都看完了，还试了几个模板。”

丘成桐和比尔卡尔对视一眼，同时从对方眼中读出了一句话：怪物。

“没有错误。”丘成桐重新坐回椅子上，语气恢复了平日的严肃，但严肃之下是压不住的兴奋，“至少以我和比尔的水平，没看出任何错误。论证链条完整，技术细节扎实，甚至格式都挑不出毛病。”

丘成桐忽然笑了，是那种发自内心的、甚至带着点顽皮的笑容：“陈航啊陈航，你知不知道你现在应该干什么？”

“请老师指教。”陈航说。

“你应该去本科新生大会上，跟那些刚从高考战场上下来、还沉浸在我考上了水木大学的喜悦中的孩子们坐在一起。”丘成桐越说越觉得这画面滑稽，“听校长讲大学是新的起点，听学长分享如何规划四年时光。然后你在问题，现在能毕业了吗？”

办公室里爆发出大笑。比尔卡尔笑得眼镜都滑到了鼻尖，丘成桐则是一边笑一边摇头，仿佛在感叹世界的荒谬。

笑够了，丘成桐正色道：“不开玩笑了。这篇论文，你现在就可以投稿。”

比尔卡尔点头：“直接投最好的期刊。这个结果配得上最顶级的舞台。”

陈航想了想，问道：“老师觉得应该投哪里？”

这个问题让两位教授都陷入了短暂的思考。不是因为没有选择，而是因为选择太多——而且每个选择都那么好。

丘成桐先开口：“数学界有四大顶级期刊，你应该知道。”

“知道一些，但了解不深。”陈航实话实说。他虽然自学了大量数学，但学术圈的“江湖规矩”确实是经验之外的东西。