推文

@Richwong95 · 2026-10-11 09:31

🔥陶哲轩到底在“害怕”什么？ 当AI开始批量生产数学证明，人类凭什么确信这些证明是可靠的？ 10月9日，陶哲轩转发了黑尔斯的文章，矛头直指AI数学浪潮的底层危机—— 🤖AI解题速度碾压人类，OpenAI一次性放出722篇模型生成手稿，4000个测试问题。有研究员调侃：“搞数学的都去玩趣味数学了，竞争不过AI。” ⚠️但问题来了：AI批量抛出结果，人类却不再阅读、理解、验证，数学的价值会被彻底瓦解。 更可怕的是“终极裁判”Lean也翻车了！今年夏天被称为“健全性漏洞之夏”，有人用AI生成“证伪考拉兹猜想”的证明，竟骗过了Lean内核。OpenAI的手稿也因符号错误被迫撤回3篇。 😨陶哲轩真正警惕的，不是AI比人快，而是数学正在失去“有可靠理由相信答案是真的”这一核心价值。 他提出“Math 1.0→2.0”转型：从追求谁先解题，转向重视解释、理解与社区建设。 多位从业者感叹：OpenAI等机构的做法会让数学基石出现断层，但呼吁停止合作已挡不住洪流。 💡AI带来“虚假的繁荣”，更强的模型不会自动变成更好的交付。科研的目标应该是培养人，而非堆砌成果。 当机器校验成为依赖，人类是否还保有独立判断的能力？这是数学界不得不面对的新课题。 👇你怎么看？AI时代，人类还需要亲自证明数学定理吗？ #AI #数学 #陶哲轩 #Lean #考拉兹猜想

曝光 378 · 评论 4 · 点赞 3 · 书签 0 · 曝光/时 376.2615142434386