AI爆改陶哲轩30年主页，顺手揪出两个藏了20多年的bug
AI爆改陶哲轩30年主页，顺手揪出两个藏了20多年的bug都以为AI应该先去替数学家证定理，陶哲轩却让它搬30年前的旧网页。一天迁走560篇论文，还从他二十多年前亲手写的老代码里揪出两个连他都不知道的bug。
来自主题: AI资讯
6043 点击 2026-07-14 11:09
# 热门搜索 #
大模型
人工智能
openai
融资
chatGPT
搜索
都以为AI应该先去替数学家证定理，陶哲轩却让它搬30年前的旧网页。一天迁走560篇论文，还从他二十多年前亲手写的老代码里揪出两个连他都不知道的bug。
就在外界惊呼“AI快要接管纯数学研究”之际，一场限制条件极其严格、并由30位数学家以匿名方式进行评审的数学测试，却揭开了AI数学能力的另一面：AI不仅会幻觉、会跳步骤，甚至还把数学家论文里的关键论证几乎原样照搬，却忘了注明引用。
数学界的“最强大脑”，快被AI出的证明淹没了。
陶哲轩又发成绩单了。
陶哲轩，公开演讲承认AI已彻底改变数学工作流。周三，这位菲尔兹奖得主在斯坦福大学发表了一场题为《新数学工作流》的演讲。他要改变自己的工作习惯，不再试图实时跟进所有新证明。
陶哲轩+AI再上大分！
陶哲轩最新判断，数学正在从「证明稀缺」进入「证明过剩」时代——数学家最值钱的工作已不再只是「做出证明」，而是验证它、消化它，并把一块 AI 吐出的「生肉证明」变成人类真正吃得下的知识。
7年的专业研究，输给了一次「vibe mathing」。一个毫无高数背景的23岁年轻人，靠一段提示词，让ChatGPT在80分钟内破解了困扰人类60年的猜想。陶哲轩承认：我们第一步就走偏了。
名人风格的 AI 助手具备教学潜力吗？
数学家陶哲轩，公开了AI新身份——SAIR Foundation联合创始人。之前，他是举世闻名的数学天才，年少成名的传奇数学家、13岁加冕IMO的最年轻金牌得主……24岁就成为加州大学洛杉矶分校（UCLA）史上最年轻的终身正教授。