黎曼猜想证明现场遇尴尬20秒 黎曼猜想到底是啥

　　数学界地震！知名数学家Michael称证明黎曼猜想

　　40分钟后，89岁的阿蒂亚爵士（SirMichaelFrancisAtiyah）完成了他全球瞩目的黎曼猜想证明演讲，现场听众报以10多秒的掌声。

　　接下来是提问环节。

　　没想到，高智商听众云集的会场里，随即陷入一片沉默。“Comeon！”等待20秒仍不见人提问的阿蒂亚呼吁大家勇敢一点。

　　直到一分钟后，站在台上的阿蒂亚才听到第一个问题：

　　“黎曼猜想这算是被成功证明了吗？”

　　提问者应该是一位印度小哥，他来自数学家鄙视链的下下游，人工智能领域，一上来就抛出这个尖锐的问题。

　　阿蒂亚说，他自己觉得算是已经证明了黎曼猜想，不过如果你坚决不接受反证法的话……

　　当然，阿蒂亚也表示这个证明现在还不完整，接下来还有很多后续问题要解，今天只是万里长征的第一步，不过，第一步也应该算是问题的一个解。

　　他说：“我可以退休了。”

　　第二位提问观众关心论文什么时候发表，好检验一下这个证明。这样一个问题勾起了阿蒂亚的伤心事。

　　顺着这个提问，阿蒂亚开始吐槽了学术界的“老龄歧视”。他说：“等你到了我这个年纪，人们就不发表你的论文了，他们会说你太老了，肯定哪儿证明错了。”

　　他说他甚至被arXiv拒了稿，简直是歧视啊。

　　第三位提问的终于是个小姐姐，关心了一下阿蒂亚自己对证明黎曼猜想这件事的感受：你认为大家会相信你的证明吗？还是说你根本不在乎大家信不信？

　　大家信不信，阿蒂亚是很在乎的。他说，得不得奖不重要，有人听才重要。

　　不过，大家不信也正常，因为他发现，如果有人给旧方法找了种更聪明的用法，人们还比较容易相信，但大家不愿意相信全新的证明。

　　而他这次所讲的，就是一个全新的方法。

　　核心三分钟

　　作为菲尔兹奖与阿贝尔奖双料得主、英国皇家学会院士，阿蒂亚爵士于德国柏林时间9月24日上午9点45分登上讲台。

　　在他40分钟的演讲中，大部分在回顾历史，严格来讲，只有三分多钟在讲解他如何使用了一个简单的反证法，就证明了159年来无人能攻克的黎曼猜想。

　　三分多钟讲解，只有一张PPT。

　　阿蒂亚爵士对黎曼猜想的证明，只是推演物理学中精细结构常数α的副产品，建立在冯·诺依曼（JohnvonNeumann）和弗里德里希·希策布鲁赫（FriedrichHirzebruch）工作的基础之上。

　　也就是说，他最初也不是想根据这两位的工作来证明黎曼猜想，而是要推演精细结构常数。

　　精细结构常数通常被认为约等于1/137.03599913，但它究竟是怎么来的，到底是不是一个常数，困扰着无数物理学家，就像黎曼猜想困扰着数学家一样。

　　这个推演过程，就用上了Todd函数，这个函数是希策布鲁赫用阿蒂亚老师的名字命名的。

　　阿蒂亚在推演精细结构常数的过程中，发现Todd函数还能用来证明黎曼猜想，于是就有了今天这场演讲。

　　用Todd函数，靠反证法证明黎曼猜想的过程，全在下面这一页PPT里了：

　　为了避免曲解（实际也听不懂）阿蒂亚的原意，我们把现场这段三分多钟的讲解，剪出来放在这里，我们一起聆听大师现场教学：