观点：庆祝数学不止于证明
一句话看懂
Grant Sanderson 主张数学应认可“有动机的解释”，而不仅仅是证明。
这场辩论之所以重要，是因为人工智能如今能在没有人类理解的情况下生成证明。
来龙去脉
- 2026年9月14日Daniel Litt 在 Proofs and Prompts 上发表《数学的开端》，主张人工智能正在解决未解问题，该职业需要彻底反思。
- 2026年9月15日Facebook 上出现一篇题为《当人工智能竞相证明数学时，功劳归谁？》的帖子，指出 Sébastien Bubeck 曾庆祝这些模型的成功。
- 2026年9月18日Terence Tao 发布 Grant Sanderson 的客座文章：《如果数学不止于证明，我们需要更好地庆祝其余部分》。