陶哲轩博客今天发了篇长文《数学会迎来黄金时代还是黑暗时代？》。划重点：这是数学家 Francesco Maggi 的客座文，不是陶哲轩本人的观点。 📌 文中… · @TongZha58836739 · TwKit

@TongZha58836739

陶哲轩博客今天发了篇长文《数学会迎来黄金时代还是黑暗时代？》。划重点：这是数学家 Francesco Maggi 的客座文，不是陶哲轩本人的观点。 📌 文中说法： · 遇到真正的难题，LLM 在 Lean（一种让电脑逐行检查证明对错的语言）里写出的证明能长达几十万行，而且证明越长，翻译成人话的版本越乱； · 他转述同行的感受：「一个漂亮结果就足以证明学生的实力」这套老规矩，几周之内就塌了； · 有人不敢把原创想法喂给 ChatGPT，怕被别人的模型顺手证了。 💬 他的观点：真正的黑暗不是产出变少，而是知识变得人类读不懂；数学需要更多数学家，而不是更少；呼吁大学和基金会合建公共科研大模型。

曝光 8 · 评论 0 · 点赞 0 · 书签 0