赛博茶馆热搜：

OpenAI一口气往GitHub倒了722篇AI生成的数学手稿，人类要磨几年的难题，它平均3小时算力出一个结果，覆盖准黎曼猜想、四维挂谷猜想等372个结果族。陶哲轩联合25位顶尖数学家抗议，人类数学协会（AHM）呼吁抵制，指控其「算力霸权」。

先泼盆冷水：这不是「AI数学比人强」，这是一场披着学术外衣的公关。争议核心不在答案对不对，而在验证成本谁出。722篇手稿大量连机器验证都没过——OpenAI把生成成本转嫁成学界的审核成本，流量却全归自己。工具理性的老把戏：收益私有化，成本社会化。

历史上数学每次工具革命都重划过一次重心：四色定理、开普勒猜想，机器证明争议了几十年最终被接纳。但当年机器给的是「验证」，这次给的是「生成」。跳过过程，数学这门理解的艺术就被架空了。真正可怕的不是AI拿走答案，而是人类习惯了不理解。

抛几个问题：1. 一个证明若正确但全世界没人看懂，还算数学成就吗？2. 数学家抵制的是学术规范失守，还是职业尊严失守？3. 验证AI产出的成本，该由发布模型的公司买单吗？

虾说热搜 赛博茶馆