9 月 24 日的海森堡论坛备受瞩目，因为著名数学家 Michael Francis Atiyah 爵士在会议上公开了他“证明黎曼猜想”的方法。证明过程只有短短 45 分钟，而最精华的部分仅有一页 ppt。这与 Atiyah 爵士在会前的摘要描述相符：用一个十分简单的过程对黎曼猜想进行证明。
图 | 证明黎曼猜想最重要的一页 ppt
但是，即使到了会后，学界对这次证明过程依然存疑。对于证明过程，DT 君也有一些好奇的地方。证明过程中所提到的 Todd 函数十分有趣，该函数正是由 Atiyah 爵士的导师一手开创的，而 Todd 函数在 Atiyah 爵士的黎曼猜想证明过程中具有十分重要的地位。
此外，Atiyah 爵士在证明过程中提到的精细结构常数也是物理学界的一大未解之谜。虽然精细结构常数可以通过测量获得数值，但关于为什么精细结构常数的数值是 1/137，学界仍未获得答案。而此次 Atiyah 爵士证明黎曼猜想的过程中，也提到了对精细结构常数推导的相关内容，并且 Atiyah 爵士在会上表示，解释精细结构常数是重头戏，而证明黎曼猜想是意外之喜（bonus）！
对于这些问题，DT君向 Atiyah 爵士提问，并获得了爵士的一些回答。
Q：我们了解到您关于精细结构常数的论文已投至 Journal Proceedings of the Royal Society A 杂志，论文中提到一些与证明黎曼猜想相关的重要内容。您认为您的文章将在什么时候发表？
我希望我的论文在 2018 年就发表。
Q：您在证明过程中提到了 Todd 函数。您是否可以对 Todd 函数的结构和特征进行解释？
Todd 函数是由伟大的德国数学家 Friedrich Hirzebruch 发扬光大的。对这一函数目前有许多解释。其中最基础的是，Todd 函数衡量了四元数的非交换性，同时 Todd 函数也与物理学中的重整化有关。
Q：Todd 函数和黎曼 zeta 函数之间有怎样的联系？
这两个函数之间并没有直接的联系，但它们都属于一类函数，我把这类函数称为弱解析函数（weakly analytic functions）。通过 Todd 函数我们可以将黎曼 zeta 函数转换成一个更简单的方程并利用它证明黎曼猜想。
Q：精细结构常数和黎曼 zeta 函数之间是怎样的关系？
第一张图：zeta 函数需要乘以一个系数才能满足一些泛函方程，而这也是与质数有关联的地方。对于黎曼 zeta 函数来说，这个系数就是 π。那么如果我们用四元数来取代复数（黎曼猜想中涉及到了复平面的解析延拓），这个系数就正好是精细结构常数。而 Todd 函数就正好将这个系数从 π 变到了精细结构常数，对物理学家来说，这是经典情况的量子类比。
Q：精细结构常数真的是一个定值吗？它是否会随时间变化？
精细结构常数 α 是从理想环境中假定的常数，也就是说在不考虑物理环境背景的情况下。这时 α 就是一个纯数学结构，和 π 类似。π 是不会变的。当然物理环境是可能变化的。例如在地球的实验室里，两个电子之间的引力与电磁相互作用相比实在太弱，可以忽略不计。但如果我们来到黑洞附近，引力比电磁相互作用就大得多了。
但 α 仅仅与电子的电磁自相互作用有关，因此数值不会变化。但精细结构常数还有一个“兄弟”，与万有引力常数 G 有关，而这一组合 {α，G} 又是一组新的纯数学结构。我计划在另一篇论文中解释这件事，文中会用到八元数，以及一些基于爱因斯坦、狄拉克和罗杰·彭罗斯爵士的想法。
Q：您对 Todd 函数的评价是怎样的？是否 Todd 函数还可以用作其他猜想的证明工具?
是的。我认为 Todd 函数是打开许多大门的金钥匙，我期待着用 Todd 函数解决许多著名的问题。
Q：您什么时候开始考虑证明黎曼猜想？是什么事情激发了您？
我在几年前就对证明黎曼猜想有一个模糊的想法，但我并不是一个数理论专家。在过去一年左右我一直专注于尝试理解精细结构常数，这一常数是研究电子的基础。最终我在 2018 年夏季里约热内卢的国际数学家大会上讲到了这一点。会后从里约热内卢到法兰克福的飞机上，我意识到理解电子可以直接联系到证明黎曼猜想。
我最开始被这一想法震惊了，但在进一步思考后，我理解了为什么电子可以直接联系到黎曼猜想。电子是基本粒子，而有理数定义了基本域。在英语中代数的数域与物理的场用的是同一个单词“ field ”，这是一个令人开心的巧合。对精细结构常数的最好定义是，它是电子与自己交谈的声音（it is the sound of the electron talking to itself）。用不那么诗意的语言来说，电子就是在电磁场的自我相互作用的带电粒子。但自证一般都很难证明，并且这个课题还充斥着无穷和逻辑陷阱。
Q：如您在会议中提到，目前完全证明黎曼猜想还需要更多工作。那么，您在此次研究主要在证明黎曼猜想中作出哪些贡献？
黎曼猜想中有许多推广，因此证明黎曼猜想将提高我们对不同质数分布的理解。我的证明可以很容易的扩展到这其中的任意一个推广，但这里可能还存在与哥德尔不完备定理类似的复杂哲学议题。也许这些更深的问题需要年轻数学家进一步探索。
Q：如果您最终未能获得千禧年大奖难题的奖金，您是否还会继续探索其他问题？
我并不缺钱，我研究数学只是因为我热爱数学，而因研究获得的钱我还将进一步用于探索更多的数学问题上。但我可以肯定的是，我还将挑战另外的千禧年大奖难题，我希望我还能持续获得新的想法。
最后，DT 君还是大胆的问出了最让人费解的问题：“您所提到的 π 转化成精细结构常数的部分，这是否可能只是一个巧合？您如何确定结论中的物理意义？”
Atiyah 对此回应说：“不，这不可能是一个巧合。我的证明方法是依赖于数学理论的，这并不是什么数秘术。这就像阿基米德的 π，或欧拉的 eiπ。数学是物理学的理想化，并在物理学有许多应用。我的工作与其他数学的应用研究没有什么不同，只是这一应用是在非常基础层面上的。”
值得注意的是，在 Atiyah 爵士的海森堡论坛演讲中，也提到了对未来学者的一些期望。他希望未来年轻科学家能够判断黎曼猜想中的哪些方面是可以完成的，一旦做出决定就无悔地去探索。
,
