校草制霸录 - 七十、喧哗与躁动

    校草制霸录 作者:何事公

    七十、喧哗与躁动

    论文是英文版的，但对于真正的研究者来说，不存在任何语言障碍。

    葛大爷就像初恋的男孩见到了自己心上人，全部身心都陷了进去。只见他身体大幅度前倾，眼睛眨都不眨，牢牢地盯着屏幕上的文字，眉头微皱，显然此刻大脑正在紧张而快速地阅读、思考、分析。

    这让江水源想起来了亚历山大大帝。

    据说亚历山大大帝年轻的时候，每次听到他的父亲、马其顿国王腓力二世又征服了一块土地，就会痛哭流涕，沮丧不已：“难道父亲没有留下一点儿的土地给我征服吗？”或许此刻，葛大爷也有着同样的苦恼和沮丧吧？

    白志成是位四十岁左右的普通中年人，除了厚厚的黑框眼镜以及偶尔露出的睿智光芒，并没有其他更突出的特点。他站在讲台上略显局促，先是自我解嘲道：“今天早上刚拿到论文的时候，我就迫不及待地想感谢阿蒂亚爵士，感谢他勇于挑战困扰我已久的难题倒是其次，而是首先要感谢他论文写得非常短！如果他要像泥轰数学家望月新一解决abc猜想那样，一口气写4篇论文，文章总共长达五六百页，五六年还没几个人看得懂，今天我站在这儿就要出大丑了！”

    所谓“听锣听声，听话听音”。白志成提到阿蒂亚的时候，说的是“勇于挑战”，而不是“成功破解”，江水源就知道他对是阿蒂亚的论文是不看好的。

    张谨英语差些，看的有些吃力，不时要把不认识的单词或者不理解的知识点抄在自己小本子上，打算带回去慢慢琢磨。葛大爷却顾不了那么多，扫完一页便直接大声叫道：“赶快翻下一页！”

    白志成略显尴尬：“看来是我的废话太多，大家显然早已迫不及待，接下来我们就直接步入正题！阿蒂亚爵士论文的正文共有五部分，第一部分也就是现在大家看到的introdu，即引言。从这一部分我们可以看出，阿蒂亚爵士的思路是通过理解量子力学中的精细结构常数α，并将此过程中发展出来的数学方法用于解决黎曼猜想。但我们知道，精细结构常数α是物理学中一个重要的无量纲数，表示电子在第一玻尔轨道上的运动速度和真空中光速的比值，现今一系列实验都表明，α是在增长变化的，虽然变化率很微小。但阿蒂亚爵士直接论证α是固定的，这让我非常费解。”

    白志成随即话锋一转：“当然，阿蒂亚爵士对于物理也是非常精通的，他的阿蒂亚—辛格指标定理，以及与德国拓扑学家希策布鲁赫共同发展的k理论，都与物理有关。所以他论定精细结构常数α是固定的，可能他有独到的见解，但这需要时间论证。”

    张谨听得云里雾里：“这、这还涉、涉及物理？”

    葛大爷哼哼数声：“没听过数理不分家？有句话说得好，所有物理问题最终都是数学问题，像著名的杨—米尔斯规范场存在性和质量间隔假设，就是物理学家甩给我们的锅。你们以后进了大学就知道，像《数学物理方法》、《大学物理》，都是数学系必修课程。当然，你们要想走得更远，最好是辅修个物理学专业的双学位。”

    张谨点点头，表示建议收到。

    葛大爷斜乜江水源一眼：“国语、唱歌的双学位没用！”

    “……”江水源满脸无辜：我这算是躺着也中枪吗？

    白志成终于翻到第二页，也吸引走了葛大爷的注意力：“下面是第二部分，阿蒂亚爵士引入一个新函数todd函数。有意思的是，todd就是阿蒂亚爵士的导师，而todd函数也是整个证明的关键所在，但阿蒂亚爵士没有详细描述这个弱解析函数，而且这个函数是否存在也是个重要问题。……”

    在白志成的解读下，江水源很快浏览完阿蒂亚的证明。

    当然，即便没有白志成的解读，江水源也会直观感觉阿蒂亚的证明不靠谱：论文只有短短五页纸，其中证明更是只有15行，凭这个也能证明困扰学界一百多年的旷世难题？

    简直是拿豆包不当干粮啊！

    随后，北平师范大学数学系教授苏必清也表示了悲观看法：“我们知道，对于严谨的学术研究而言，证明数学猜想，最终只看逻辑和推导，而不是看谁先声称自己证明了什么。在这份阿蒂亚爵士论文的预印本中，我们没有看到符合数学论文要求的严格性定理证明，甚至没有使用到ζ函数的任何性质，而这在黎曼猜想中是非常关键的。所以在我看来，这不是一次严肃的尝试，甚至连错误都算不上。”

    京城计算科学中心研究员元力和经世大学数学系副教授易一平同样表示不乐观：“我觉得搞科研的学者，在宣称自己解决一个重大问题之前，最好是找业内专家进行评审验证，这才是规范做法。然而我相信阿蒂亚爵士并没有这样做。不过这也是一种常态，很多伟大的数学家在晚年都会宣称自己证明了某个命题，却最终未能成功。这无损于他们之前取得的丰功伟绩，我们也不用对他们过于苛责，毕竟风烛残年，余日无多，更渴望自己能在历史上留下痕迹，也是人之常情。”

    因为论文足够短，所以研讨会也简短许多。

    最后惠成泽总结陈词道：“数学从来都是最严谨的科学，里面掺不得半点沙子，哪怕你写了五百页、一千页的论文，只需其中一行的错误，就可以否定你的全部努力。好在我们现在看到的，只是阿蒂亚爵士证明论文的预印本，在未来一段时间，我们将催促、等待这个论文的更多细节，然后验证里面的每一个步骤。如果证明正确，那就向他致以最崇高的敬意，他将是本世纪最伟大的数学家，没有之一！即便不正确，也让更多的数学家和数学爱好者关注到黎曼猜想上来，为将来彻底解决奠定基础。”

    研讨会结束，貌似包括葛大爷和张谨在内，很多人都松了口气。

    葛大爷也终于有心情来料理江水源：“奥数决赛也就这几天了，你准备的怎么样？给你的书都看了么？给你的题都做了么？”

    七十、喧哗与躁动