葛大爷斜乜江水源一眼:“国语、唱歌的双学位没用!”
“……”江水源满脸无辜:我这算是躺着也中枪吗?
白志成终于翻到第二页,也吸引走了葛大爷的注意力:“下面是第二部分,阿蒂亚爵士引入一个新函数TODD函数。有意思的是,Todd就是阿蒂亚爵士的导师,而TODD函数也是整个证明的关键所在,但阿蒂亚爵士没有详细描述这个弱解析函数,而且这个函数是否存在也是个重要问题。……”
在白志成的解读下,江水源很快浏览完阿蒂亚的证明。
当然,即便没有白志成的解读,江水源也会直观感觉阿蒂亚的证明不靠谱:论文只有短短五页纸,其中证明更是只有15行,凭这个也能证明困扰学界一百多年的旷世难题?
简直是拿豆包不当干粮啊!
随后,北平师范大学数学系教授苏必清也表示了悲观看法:“我们知道,对于严谨的学术研究而言,证明数学猜想,最终只看逻辑和推导,而不是看谁先声称自己证明了什么。在这份阿蒂亚爵士论文的预印本中,我们没有看到符合数学论文要求的严格性定理证明,甚至没有使用到ζ函数的任何性质,而这在黎曼猜想中是非常关键的。所以在我看来,这不是一次严肃的尝试,甚至连错误都算不上。”
京城计算科学中心研究员元力和经世大学数学系副教授易一平同样表示不乐观:“我觉得搞科研的学者,在宣称自己解决一个重大问题之前,最好是找业内专家进行评审验证,这才是规范做法。然而我相信阿蒂亚爵士并没有这样做。不过这也是一种常态,很多伟大的数学家在晚年都会宣称自己证明了某个命题,却最终未能成功。这无损于他们之前取得的丰功伟绩,我们也不用对他们过于苛责,毕竟风烛残年,余日无多,更渴望自己能在历史上留下痕迹,也是人之常情。”
因为论文足够短,所以研讨会也简短许多。
最后惠成泽总结陈词道:“数学从来都是最严谨的科学,里面掺不得半点沙子,哪怕你写了五百页、一千页的论文,只需其中一行的错误,就可以否定你的全部努力。好在我们现在看到的,只是阿蒂亚爵士证明论文的预印本,在未来一段时间,我们将催促、等待这个论文的更多细节,然后验证里面的每一个步骤。如果证明正确,那就向他致以最崇高的敬意,他将是本世纪最伟大的数学家,没有之一!即便不正确,也让更多的数学家和数学爱好者关注到黎曼猜想上来,为将来彻底解决奠定基础。”
研讨会结束,貌似包括葛大爷和张谨在内,很多人都松了口气。
葛大爷也终于有心情来料理江水源:“奥数决赛也就这几天了,你准备的怎么样?给你的书都看了么?给你的题都做了么?”