数学界有两个著名的调侃:“如果魔鬼与数学家做交易,让他用灵魂换取一个命题的证明,那么他十有八九会选择黎曼猜想的证明” ,以及“如果500个黎曼在几年后复活,他首先想问的是,黎曼猜想是否被证明了?” 这个由德国著名数学家黎曼提出的难题,困扰了世人一个半世纪。
前段时间我们讲“三体问题”的时候,讲到“希尔伯特问题”,而黎曼猜想就在这23个问题之中。
希尔伯特
去年9月,菲尔兹和阿贝尔的双料得主迈克尔·阿蒂亚爵士宣布他证明了黎曼猜想,随后贴出了黎曼猜想(猜想)的证明预印本。 但这个证明不成立。
虽然在证明黎曼猜想的现场,阿蒂亚爵士进行了现场讲解,提问环节陷入沉寂。 该猜想的证明只是在冯·诺依曼和弗里德里希·希策布鲁日的工作基础上推导出物理学中的精细结构常数 α 的副产品。 第 2 节中定义的 TODD 函数是不可靠的,这是证明的关键。
简单来说,Atiyah用了一个TODD函数公式。 假设有与黎曼猜想相矛盾的点,这个公式是收缩的,那么你可以将每个点代入这个公式,如果所有的点都不成立,那么他就证明了黎曼公式。 不过这个TODD功能他上次在海德堡论坛发帖的时候被当场指出错误。