新智元把一个问题推到读者面前：如果 AI 能在不到两小时内完成组合数学问题的改进与证明整理，菲尔兹奖还能撑到 2030 年吗？1
先把证据分层：
- Timothy Gowers 在博客中记录，ChatGPT 5.5 Pro 用不到两小时完成了一项组合数学问题的改进和证明整理；他评价结果相当于组合数学博士论文中完全合理的一章。2
- 「下周颁发的菲尔兹奖将是人类最后一次拿到这个奖」来自 Alek Dimitriev 的公开发帖，Christian Szegedy 等人参与了后续讨论；这是公开观点，不是实验结论。3
- Gowers 关于奖项大概还能撑到 2030 年的说法，同样是判断，不是由这次个案推出的定理。4
这次真正值得带走的不是「AI 已经取代数学家」，而是评价体系开始遇到一个新问题：证明生成、证明检查和人类理解之间，可能不再同步。最后一张图把实验记录、当事人评价和未来预测分开，避免把个案写成基准。
댓글
로그인하면 댓글을 작성할 수 있습니다.