陶哲轩为啥要用AI改造数学?这件事才是最重要的!

今天,聊聊被称为“当代最伟大的数学家之一”的陶哲轩,如何看待人工智能与数学的相互促进。陶哲轩是加州大学洛杉矶分校数学系的教授,自幼便表现出了极佳的数学天赋。2006年,年仅31岁的他荣获了数学界的最高奖项之一——菲尔兹奖,也被称为数学界的诺贝尔奖,这使他成为数学界的标志性人物。值得注意的是,陶哲轩还积...

著名数学家、日本学士院院士深谷贤治入职清华大学

清华大学丘成桐数学科学中心发布的消息介绍，丘成桐教授曾提到，广中平佑、森重文、深谷贤治、柏原正树是当代日本名动四方的大数学家。深谷教授早年主要从事黎曼几何的研究，从上世纪90年代起转向辛几何，在两大领域都做出了卓越的贡献，特别是关于辛几何的工作，为低维拓扑、镜像对称等方向提供了有力工具。其工作不仅...

汲取当代全球数学学者榜样的力量:记录那些正通往巴别塔的数学家点滴

普林斯顿高等研究院IAS有一档优秀的短视频节目《数学之路》(PathstoMath),记录了对一些当代数学家(中青年为主)的简短采访,很有启迪意义,但采访人数不多。ias.edu/math我想应该还有更多当代的全球数学研究机构中的优秀学者值得学和报道,因此加以陆续整理此类国内外辛勤努力奋斗在一线的数学家集锦,以飨广大的数学爱...

TOP10 20世纪最伟大的15位数学家,格罗滕迪克才排第六?

伯特兰·罗素(1872年5月18日–1970年2月2日),英国哲学家、数学家、逻辑学家、历史学家、文学家,分析哲学的主要创始人。罗素的成就主要在哲学方面,是21世纪最伟大的哲学家之一,但他在数学方面的成就也不容小觑。在数学领域罗素的主要成就有两个方面,一是他通过建立逻辑类型论来消除逻辑悖论;二是他从一个较为简...

...奖得主杰曼诺夫教授担任Mathplore新加坡数学荣誉首席数学家!

埃菲·杰曼诺夫教授被认为是当代最著名的数学家之一,他不仅在学术上取得了显著成就,还对中国数学的发展做出了重要贡献!他多次在中国大学和研究院所访问讲学、作报告、办会议、开短课,并参加全国代数会议和中国数学会70周年学术年会,提出宝贵意见。杰曼诺夫教授不仅为数学理论的发展注入了强大动力,更在推动数学应用于实...

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

当时,Lean技术开源社区最重要的推广者、伦敦帝国理工学院的KevinBuzzard表示:「从根本上来说,显而易见的是,当你将某些东西数字化时,你就可以以新的方式使用它(www.e993.com)2024年11月6日。我们将把数学数字化,这会让数学变得更好。」这位Buzzard教授,就是最近宣称要形式化费马大定理证明的数学家,他所用的工具也是Lean。

聚集全球顶尖数学家 上海崛起世界一流数学科研殿堂

上海正崛起一座年轻的世界一流数学科研殿堂。5月29日,记者来到上海市杨浦区,探访新落成的新型研发机构——上海数学与交叉学科研究院。据悉,该研究院由当代杰出华裔数学家、菲尔兹奖首位华人得主丘成桐领导成立,旨在推动我国基础数学研究的发展,并在此基础上逐步向应用数学与交叉学科研究方向扩展。

法国的数学为何这么厉害?

布莱士·帕斯卡(BlaisePascal),公元1623年6月19日出生于多姆山省奥弗涅地区的克莱蒙费朗,法国数学家、物理学家、哲学家、散文家。帕斯卡成就众多,他在数学和物理学方面所做出的贡献,在科学史上占有极其重要的地位。帕斯卡的数学造诣非常深,除了对概率论等方面具有卓越贡献外,他最突出的是著名的帕斯卡定理。帕斯卡定...

著名数学家、教授在上海逝世,这对“神仙眷侣”在另一世界相会

在数学界，谷超豪，被认为继20世纪大数学家艾里·嘉当之后，第一位在无限变换拟群领域取得重要进展的人；胡和生，则是中国数学界第一位女院士。谷超豪（左）与胡和生。数学成就了两人的爱情梦。（1996年5月13日摄）崔益军作品耄耋之年，谷超豪仍清晰记得与胡和生初次见面的情景：“那是1950年，我在数学系图书...

87岁著名数学家、中科院院士李大潜:起跑线上,我的数学考了18分

李大潜是《辞海》《十万个为什么》分册主编、编委，不仅学术成就卓然，且活跃在大学教育一线，关心基础教育，他梳理中小学数学教学方面的指导思想，承担起上海市中小学数学教材编纂的任务，还以个人名义在母校设立“馥华奖学金”鼓励志存高远的孩子们。“最初在我们的眼中，他是一位数学家，而最终打动我们的，是一名...