标签:数学家

AI将是数学家的得力助手,陶哲轩谈AI在证明过程中的潜力

机器之心报道 编辑:大盘鸡AI 将大大提高数学研究的效率。陶哲轩是公认的数学天才,被誉为「数学神童」。他从小便展现出惊人的数学天赋,9 岁时就参加了美国...
阅读原文

陶哲轩最新采访:AI将颠覆数学界!用Lean规模化,成百上千条定理一次秒杀

新智元报道编辑:庸庸 乔杨 【新智元导读】陶哲轩在最新的采访中,系统地谈到了AI可能会对数学领域产生的影响。他乐观地认为,使用Lean等工具「形式化」数学...
阅读原文

有望解决一个千禧年大奖难题,这个20多年前的猜想终于得到证明

选自quantamagazine 作者:Leila Sloman 机器之心编译 编辑:Panda在数学抽象方面,最简单的莫过于图(graph)了。在平面上散放一些点,用线将其中一些连接起...
阅读原文

图灵逝世七十周年:重新认识那个群星闪耀的时代|甲子光年

微风有时送来一个信号。作者|甲小姐 今天是图灵逝世70年。在我心中,图灵是一个节点式人物。从计算机的基本思想(图灵机),最初概念的摸索(人工智能是什么...
阅读原文

黎曼猜想突破作者首次公开讲解,陶哲轩送上总结

机器之心报道 机器之心编辑部满满一黑板的「天书」,会是「猜想界皇冠」破解的开始吗?昨天,有关试证黎曼猜想的新研究又一次引爆了数学圈。 MIT 数学教授 La...
阅读原文

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

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

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

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

克雷研究所100万美元奖金要归AI了数学界规则大改,未来数学家如何应对「海量猜想」

新智元报道编辑:LRS 【新智元导读】数学领域,以其廉价的数据及问题的严谨性,成为了人工智能辅助发现的理想试验场,但唯有人类自己,才能区分出好猜想和坏...
阅读原文

中国数学的10个问题,其实岂止是数学!

数学家丘成桐谈到 中国数学水平不及美国1940年代! 一石激起千层浪,很多人奋起反驳。 这只是表面现象, 其实他讲到的中国数学的另外10点更加重要。 以下这十...
阅读原文

中国需要数学家

数学是科学的皇后壹大国的崛起是数学的崛起。 表面上数学与国家强盛毫无关系,但如果细究发展动因,最后会明白,数学才是社会发展最底层的引擎。 1854年之前...
阅读原文

86岁「最会赚钱的数学家」Jim Simons去世,量化投资一代传奇落幕!

新智元报道编辑:乔杨 好困 【新智元导读】Simons基金会宣布了创始人Jim Simons逝世的消息,他的去世引发了金融界、科技界和数学界等多个领域的悼念。他年轻...
阅读原文

丘成桐院士最新演讲:中国现今的数学处于什么水平?为什么物质奖励不奏效?

2024年4月30日丘成桐院士在华中科技大学做“中国数学的现状和将来”的讲座。来源:知本论综合数学物理math、华中科技大学研究生 、胡哥的读书观影笔记 来源:华...
阅读原文

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

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

AI攻克费马大定理?数学家放弃5年职业生涯,将100页证明变代码

新智元报道编辑:Aeneas 好困 【新智元导读】困扰全世界几个世纪的「臭名昭著」谜题——费马大定理,或将被AI攻克?一位英国数学家宣布,即将启动用Lean重现费...
阅读原文

AI颠覆数学研究!菲尔兹奖得主、华裔数学家领衔11篇顶刊论文|陶哲轩转赞

新智元报道编辑:Aeneas 好困 【新智元导读】毫无疑问,数学家的工作方式,正在被AI颠覆!陶哲轩转发的这期美国数学学会通报,大咖云集,星光璀璨。针对AI改...
阅读原文
1234