标签:数论

数学大统一理论里程碑进展:几何朗兰兹猜想获证明,论文超800页

选自quantamagazine 作者:Erica Klarreich 机器之心编译 编辑:Panda历经三十年的努力,数学家已经成功证明了一个名为「朗兰兹纲领(Langlands program)」...
阅读原文

一枚「弃子」打破80年黎曼猜想纪录!菲尔兹奖得主MIT大拿联手,陶哲轩转赞

新智元报道编辑:Aeneas 好困 【新智元导读】MIT数学教授Larry Guth和牛津大学菲尔兹奖得主James Maynard,在黎曼猜想方面取得了重大突破,直接打破了80多年...
阅读原文

陶哲轩力推36岁菲尔兹奖得主新论文,指向黎曼猜想重大突破!

新智元报道编辑:编辑部 【新智元导读】MIT数学教授Larry Guth和牛津大学菲尔兹奖得主James Maynard的一篇新论文获得了数学家陶哲轩的大力推荐,陶认为两人在...
阅读原文

黎曼猜想显著突破!陶哲轩强推MIT、牛津新论文,37岁菲尔兹奖得主参与

机器之心报道 机器之心编辑部最近,被称为千禧年七大难题之一的黎曼猜想迎来了新突破。黎曼猜想是数学中一个非常重要的未解决问题,与素数分布的精确性质有关...
阅读原文

解析数论大牛获邵逸夫奖,陶哲轩:他的课好难

西风 发自 凹非寺量子位 | 公众号 QbitAI2024邵逸夫数学科学奖出炉,颁给了解析数论大牛彼得·萨纳克(Peter Sarnak)。 陶哲轩第一时间送上祝贺,并透露研究...
阅读原文

跨越300多年的接力:受陶哲轩启发,数学家决定用AI形式化费马大定理的证明

机器之心报道 编辑:张倩在陶哲轩的启发下,越来越多的数学家开始尝试利用人工智能进行数学探索。这次,他们瞄准的目标是世界十大最顶尖数学难题之一的费马大...
阅读原文

陶哲轩上新项目:Lean中证明素数定理,研究蓝图都建好了

机器之心报道 编辑:陈萍借助 Lean,陶哲轩又开始了新的项目。「由 Alex Kontorovich 和我领导的一个新的 Lean 形式化项目刚刚正式宣布,该项目旨在形式化素...
阅读原文