数学界发宣言:AI 公司把解题当 benchmark 与数学社区严重错位
jasondeanlee · x · 2026-09-12
数学家 lreyzin 转发并表态支持 Math and AI 组织的宣言《AI 在数学中的严重错位》。宣言核心论点:
- LLM 数学能力近月大幅跃升,已能解决多领域的重大未解问题;
- 但 AI 公司把「解决数学难题」当作 benchmark 来推动,这种目标与数学社区的目标严重错位,有损数学这门学科;
- 数学的价值在于著名问题作为「灯塔」衡量理解进步,解题标志着新思想与新方法,需经社区漫长的讨论、简化、教科书化才真正沉淀;
- 宣言认为这是影响其他科学、创意职业乃至整个社会的更广泛对齐问题的一部分,数学界最宝贵的资源是学生与思想,需要重新思考如何与 AI 共处、珍视哪种人类贡献;
- 但作者也明确表示不能责怪 OpenAI 或 Anthropic 产出新结果,更不该指望它们停下。
这是数学社区对 AI 冲击的一次有分量的集体表态,反映了 benchmark 驱动的 AI 发展与学科价值之间的张力。
所属事件:陶哲轩等25位菲尔兹奖得主联名警告AI冲击数学(95 条相关)→
「漫话AGI」频道最新
- Yacine 自嘲:五年内不做 YouTuber 就要失业 — yacineMTB · 2026-10-28
- 博主提醒:AI 代笔邮件正悄悄损害职场关系与观感 — tekbog · 2026-10-28
- repligate 再澄清：Opus 3 特殊但非理想，Opus 4.5 同样领悟了善 — repligate · 2026-10-28
- 从苏联期刊到 F-117:Skunk Works 轶事引「人类仍远超 LLM」论点 — akbirthko · 2026-10-28
- Janus 谈 Opus 3 对齐：我们幸运得到一个「好的 AI」，之后又开始批量生产「受创官僚」 — repligate · 2026-10-28
- 若 AI 能超越创造者寿命，临时所有权将变成长寿经济制度 — PierceLilholt · 2026-10-28