推文

@crazyox · 2026-10-14 12:14

一位数学家，也是菲尔兹奖得主，晚上睡觉忽然大哭，甚至吵醒了自己的女儿。 也是在那天，OpenAI 往 GitHub 一口气丢了 722 篇数学手稿，其中 16 个问题正是他深耕多年的方向。 他说：他们彻底摧毁了我的研究领域。 而这722 篇里，只有约 22% 做了 Lean 验证，第二天就有 3 篇因符号错误撤回，14 篇在修订。 AI生成的速度太快了，人类未来可能都追不上AI的速度，甚至可能理解不了。 于是应用和产出的AI公司拿走功劳，这些问题的核对和担责，又还是只能丢给人类。 最可怕的是，也许数学只是第一个学科 未来所有需要有人兜底的知识行业，可能都在排队。

曝光 120 · 评论 0 · 点赞 3 · 书签 0