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

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

惊人的巧合!当代陈景润获批杰青基金,网友惊叹,同名同姓同学科

在数学的浩瀚星空中,有一个名字如璀璨星辰般闪耀着独特的光芒——陈景润。时光流转,两位同名的数学家,以他们卓越的智慧和不懈的努力,在不同的时代书写着属于数学的传奇篇章。1950年,那个后来被无数人敬仰的陈景润考入厦门大学数理系。在厦门大学的校园里,他如饥似渴地汲取着数学知识的养分。1953年毕业后,他被分...

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

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

李大潜院士:为什么要学数学?因为这是一场战略性的投资

欧几里得是二千多年以前的古希腊数学家,然而,以他命名的欧几里得几何至今还在发挥着重要的作用,其中的勾股定理,不仅没有被人认为老掉了牙而不屑一顾,相反还被人称为千古第一定理,一直被高度颂扬、反复应用,就充分地说明了这一点。2.数学是一种科学的语言伽利略曾说过:“大自然这本书是用数学语言写成的。……...

陶哲轩最新采访:将OpenAI o1 比作“一名平庸但不完全无能的研究生...

加州大学洛杉矶分校的数学教授陶哲轩,人称“数学界的莫扎特”,公认的当代最伟大的数学家,拿奖拿到手软!最近,他接受了《大西洋月刊》MatteoWong的采访,谈到了他对AI的看法,并澄清了前段时间广泛流传的他对OpenAIo1看法一个误解:OpenAI声称o1具备“推理”能力,但陶哲轩曾将其比作“一名平庸但不完全无能的研究生”...

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

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

...当代全球数学学者榜样的力量——记录那些正通往巴别塔的数学家...

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

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

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

回眸| 华罗庚:人民的数学家

1.团结报团结号.缅怀|民盟先贤中国现代数学之父华罗庚2.中华英才.百年巨匠|华罗庚:人民的数学家3.共产党员.他是人民的数学家,为国工作到生命最后一天4.科技导报.华罗庚:中国杰出的战略数学家5.新华每日电讯.“人民的数学家”:华罗庚最优的“优选”...

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

Mathplore荣誉首席数学家埃菲·杰曼诺夫教授数学界最高荣誉-菲尔兹奖得主这位在数学界熠熠生辉,其成就令人瞩目!埃菲·杰曼诺夫教授以在非共轭代数和群论中的组合问题方面的研究而闻名,同时在数学领域取得了众多显著成就,他解决了20世纪群论学家以及代数学家们所困扰的限制Burnside问题,于1994年获得号称“数学界的诺贝尔...