标签:数学家

2024阿贝尔奖得主致年轻数学家:你们选择了绝对正确且完美的领域

新智元报道编辑:编辑部 【新智元导读】2024年阿贝尔奖得主Michel Talagrand向年轻数学家分享建议的视频引发了网友关于数学学习方法论的探讨。学无定法,但是...
阅读原文

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重现费...
阅读原文
1234