搜索
就在外界惊呼“AI快要接管纯数学研究”之际，一场限制条件极其严格、并由30位数学家以匿名方式进行评审的数学测试，却揭开了AI数学能力的另一面：AI不仅会幻觉、会跳步骤，甚至还把数学家论文里的关键论证几乎原样照搬，却忘了注明引用。
数学界的“最强大脑”，快被AI出的证明淹没了。
陶哲轩又发成绩单了。
陶哲轩，公开演讲承认AI已彻底改变数学工作流。周三，这位菲尔兹奖得主在斯坦福大学发表了一场题为《新数学工作流》的演讲。他要改变自己的工作习惯，不再试图实时跟进所有新证明。
陶哲轩+AI再上大分！
陶哲轩最新判断，数学正在从「证明稀缺」进入「证明过剩」时代——数学家最值钱的工作已不再只是「做出证明」，而是验证它、消化它，并把一块 AI 吐出的「生肉证明」变成人类真正吃得下的知识。
7年的专业研究，输给了一次「vibe mathing」。一个毫无高数背景的23岁年轻人，靠一段提示词，让ChatGPT在80分钟内破解了困扰人类60年的猜想。陶哲轩承认：我们第一步就走偏了。
名人风格的 AI 助手具备教学潜力吗？
数学家陶哲轩，公开了AI新身份——SAIR Foundation联合创始人。之前，他是举世闻名的数学天才，年少成名的传奇数学家、13岁加冕IMO的最年轻金牌得主……24岁就成为加州大学洛杉矶分校（UCLA）史上最年轻的终身正教授。
从电脑崩溃到半小时拿下Lean形式化证明，数学大神陶哲轩用亲身踩坑经历警告：AI越强大，人类越不能偷懒，应时刻保持「人类在环」的绝对清醒。