陶哲轩：千年数学规则被AI按下重启键
陶哲轩：千年数学规则被AI按下重启键陶哲轩，公开演讲承认AI已彻底改变数学工作流。周三，这位菲尔兹奖得主在斯坦福大学发表了一场题为《新数学工作流》的演讲。他要改变自己的工作习惯，不再试图实时跟进所有新证明。
来自主题: AI资讯
6470 点击 2026-05-17 11:19
# 热门搜索 #
大模型
人工智能
openai
融资
chatGPT
搜索
陶哲轩，公开演讲承认AI已彻底改变数学工作流。周三，这位菲尔兹奖得主在斯坦福大学发表了一场题为《新数学工作流》的演讲。他要改变自己的工作习惯，不再试图实时跟进所有新证明。
Prime Intellect把Opus 4.7和GPT 5.5关进H200集群，不给人类指导，跑了1万次实验。结果：AI第一次在科研竞赛中打破人类纪录。2930步，递归自改进的卢比孔河，被跨过了。
就在今天，Agentic AI工程师发现：博士80小时的科研任务，Codex不到2小时就跑完了，效率差达到了40倍！其实按照旧标准，AGI早已存在了，只是全行业都在移动球门。
数学界尘封32年的拉姆齐数经典难题被打破！浙大校友王宜平借助自研AI框架ScaleAutoResearch-Ramsey，成功将拉姆齐数R(3,17) 下界从92提升至93，终结了自1994年以来长期停滞的纪录。
陶哲轩最新判断，数学正在从「证明稀缺」进入「证明过剩」时代——数学家最值钱的工作已不再只是「做出证明」，而是验证它、消化它，并把一块 AI 吐出的「生肉证明」变成人类真正吃得下的知识。
由张昊天作为一作兼共同通讯作者在临港实验室联合上海浦江实验室、华盛顿大学、哈佛大学、MIT 等科研力量共同推进的 ODesign 开源科研项目，定位于全球首个面向全模态的分子设计基座模型。
7年的专业研究，输给了一次「vibe mathing」。一个毫无高数背景的23岁年轻人，靠一段提示词，让ChatGPT在80分钟内破解了困扰人类60年的猜想。陶哲轩承认：我们第一步就走偏了。
在人工智能研究中，许多研究者将大量时间投入到为那 1% 的性能提升反复调参与实验迭代之中。
谷歌Deep Think横扫亚欧多语种竞赛，AI科研工具的语言壁垒正在被拆掉，数学与科学发现进入AI驱动新时代。
由Liu Fayao（刘发耀，新加坡A*STAR研究科学家），Ye Deheng（叶德珩，前腾讯AI合伙人&首席专家）和Chen Tianrun（陈天润，魔芯科技创始人）带领的研究团队提出了Claw AI Lab。