24 位菲尔兹奖得主公开信抗议 OpenAI,数学界担忧人才断层
ducha_aiki · x · 2026-09-12
数学家群体对 OpenAI 的不满正在发酵：24 位菲尔兹奖得主联名发出抗议信，核心论点是数学界承担着培养年轻人的社区职能，而 AI 在困难数学问题上的突破正让这条路径动摇。
- Lemire 追问：当 AI 能攻克重大数学难题时，一个聪明的 17 岁少年还会选择数学专业、手工训练证明能力吗？
- 他认为这场危机早有伏笔：1976 年四色定理被计算机证明时就引发过“这算不算证明”的激烈争论；他写博士论文用符号代数软件，当年甚至没人愿意公开脚本。
- 帖子还附上了 Doron Zeilberger 2009 年的旧文《Opinion 94》：他认为人类对“形式化证明”的执念是浪费计算机和人类的时间，纯手工研究的数学家才在浪费时间，下一代应该全面学会用计算机做实验数学。
新旧观点对照，勾勒出数学界对 AI 从“工具化”到“替代化”的焦虑演变。
所属事件:陶哲轩等25位菲尔兹奖得主联署公开信抗议AI刷数学基准(74 条相关)→
「漫话AGI」频道最新
- 25 位菲尔兹奖得主联名警告 AI 公司与数学界严重错位 — iskander · 2026-09-12
- David Deutsch 用 ChatGPT 修好洗碗机,称 GDP 无法衡量知识增长 — connoraxiotes · 2026-09-12
- Nature MI 论文提出统一框架：从神经叠加到稀疏可解释编码 — GretaTuckute · 2026-09-12
- 评论:2026 年还照搬 2024 年前的成功手册是最蠢的选择 — itsOmSarraf_ · 2026-09-12
- 前 Anthropic 研究员 Jacob Coxon 长访谈:警告 AI 或毁灭人类 — IgorGabrielan · 2026-09-12
- AI 吹哨人长访谈:OpenAI 争议、AI 邪教与 Neuralink 话题 — IgorGabrielan · 2026-09-12