陶哲轩十二年前的远见，如今被AI完美印证
事实证明，菲尔兹奖得主有时候也兼职预言家。十二年前，陶哲轩在首届数学突破奖的舞台上抛出了一句预言，被视作天方夜谭：将来有一天，我们或许不再用LaTeX撰写论文，而是使用计算机能理解的形式化语言。那一年，Transformer还没诞生，ChatGPT更是连影子都没有。没想到，回旋镖正中靶心。过去这一年，AI在数学领域突然开始疯狂提速。从OpenAI解决开放问题，到DeepMind批量攻克数学猜想，越来越多数学证明被写进形式化系统，交给计算机自动验证。回望来路，最早看清风向、亲自下场实践的人，就是陶哲轩。十年
AI赋能数学研究：工具演进、边界认知与实践策略
今日在学院午间研讨会进行了关于AI4Math的主题分享，以下为演讲完整内容。各位同仁，中午好！非常感谢学院提供的交流机会。坦白讲，接到这个分享任务时，内心确实有些顾虑。因为我知道，院内不少老师在人工智能的应用与探索方面已走在前列。今天我更多是以抛砖引玉、相互学习的态度，与大家分享个人的观察与心得。计划用约三十分钟做简要汇报，之后预留更多时间，期待与各位同仁深入探讨。今日分享的主题是：AI赋能数学研究：工具演进、边界认知与实践策略首先需要说明的是，这并非严格意义上的学术报告，更倾向于经验交流。过去一两年间，
AI模型颠覆数学猜想
人工智能首次推翻离散几何核心猜想，数学界迎来"iPhone时刻"5月21日，OpenAI发布重要研究，宣布其最新AI系统成功推翻了离散几何领域的一个核心猜想——"埃尔德什-法尔廷斯覆盖猜想"的某个推广版本。这个猜想自1960年提出以来，已经困扰了数学界60多年。全球顶尖数学家曾尝试各种方法证明或证伪，均未成功。如今，一个AI系统在48小时内完成了这项工作。数学界震动了。著名数学家陶哲轩在社交媒体上发文："这是数学史上的iPhone时刻——AI不仅能辅助证明，还能发现
数学研究新范式：人机协同时代的开启
传统观念里，数学家常被视为孤军奋战的沉思者，他们依靠个人才智与毅力，在纸笔和黑板构建的宁静天地里探索难题。但人工智能（AI）的迅猛发展正在改写这一经典场景。现今，AI的功能已远不止于高速运算与符号处理，它正深度介入数学推理的核心环节。它不再仅仅是执行机械指令的工具，而是能够独立分析问题、提出猜想，甚至构建证明框架的智能合作者。这一变化意味着数学研究正从纯粹依赖人脑思考，进入人机协同的新纪元，并深刻重塑了数学家们的工作模式。AI的参与显著改变了数学思维的构成。以往，研究生面对复杂问题时必须从空白起步，投入大