OpenAI动用万级AI智能体88小时攻克千禧年难题，随后一次性发布719篇AI数学手稿，全球1008名数学家联名成立"人类数学协会"宣布抵制
。
~10000
参与攻克千禧年难题的AI智能体数量
88h
生成纳维-斯托克斯方程证明的耗时
719
OpenAI公开的AI数学手稿数
1008
联名加入人类数学协会的数学家
654
承诺科研中完全不用AI的学者
26年
被ChatGPT协助攻克的Barry Simon猜想悬置时长
48天，从攻克难题到千人割席
10月26日
AHM签名突破1008人
人类数学协会会员数持续攀升，654人加入"无AI核心组"，承诺科研全流程不使用AI
。
10月24日
陶哲轩招募志愿者改稿
陶哲轩在博客发布四位学者联名文章，邀请全球同行为AI手稿补齐引用并重写推导过程
。
10月22日
26年Barry Simon猜想告破
Becker与杨梦轩借助ChatGPT构造反例，否定了2000年提出的多维L2猜想
。
10月7日
陶哲轩转发AHM声明
声明直指"一次性发布700多份文件展示的不是学术研究，而是权力"
。
10月6日
OpenAI发布722篇手稿
在GitHub一次性公开722份AI数学手稿，次日因符号错误撤回3份，定格719份
。
9月21日
OpenAI宣布攻克100+难题
8月28日开训的内部模型已攻克100多道世界级数学难题，范围横跨数学大部分领域
。
9月11日
25位菲尔兹奖得主联名
发布《人工智能在数学中的严重错位》公开信，警示AI暴力破解带来的学术风险
。
9月8日
88小时攻克千禧年难题
OpenAI调动约1万个智能体，生成纳维-斯托克斯方程存在性与光滑性问题的解答
。
一万个ai、88小时与一道千禧难题: 数学正在失去什么?
轩辕商业评论
ai破解数学界重大难题, 却引发学界争议
给科技置顶
AI"暴力破解"数学，到底怎么运作的
1
数学具备客观可验证、高度数字化、海量高质量数据三大特性，恰好击中机器学习最擅长的领域
↓
2
OpenAI投入大规模算力并发穷举证明路径，生成Lean形式化代码，由计算机逐行逻辑检验
↓
3
形式化验证能判"对不对"，但不能替代人类对命题含义的理解——MIT副院长Solomon坦言"顶尖数学家根本读不懂"
↓
4
陶哲轩判断："证明稀缺时代结束了"——数学从匮乏被硬拽进充沛时代，原有评价体系面临重构
关键信息差在于：AI证明可被计算机验证为"对"，但人类专家无法理解其推理路径。这是数学界恐慌的根源——不是简单的"饭碗被抢"，而是"真理"与"人类理解"第一次分道扬镳
。
四方立场：远不止"数学家 vs AI"
强抵制派
AHM 1008名签署者
"一次性发布700多份文件，展示的不是学术研究，而是权力。"654人进一步承诺科研全流程不用AI
。
菲尔兹奖得主Hugo Duminil-Copin："他们彻底摧毁了我的研究领域，我哭了，还把女儿吵醒了"
务实协作派
陶哲轩
转载AHM声明但未加入会员名单。与邓煜对谈时明确"拒绝支持反对AI的二选一"，主张人机协作
。
批评闭源AI批量发布证明如同"倾倒有毒废料，污染学术文献并切断思想传承"，同时推进开源数学模型
乐观拥抱派
丘成桐 / Daniel Litt
丘成桐："冲击如海啸，要冲浪而非躲避"
。Litt发文称这是"数学的开端"，AI让人类对数学的理解反而可以更深
。
励建书以微积分类比：微积分出现前算曲线长度够写论文，出现后变成本科作业，但数学反而催生了更多新分支
AI公司立场
Sam Altman（奥尔特曼）
"第一天'我们完蛋了'，第三天'OpenAI太过分了'，第五天开始接受：AI正成为不可或缺的工具"
。
技术博主Hesamation拿棋王卡尔森举例：拒绝AI就像棋手拒绝引擎复盘
陶哲轩宣战, 杨立昆唱反调: ai是毁灭数学还是开启新时代?
夜春阅览趣事
陶哲轩转发抵制声明, 数学界和openai彻底撕破脸
爱范儿
菲尔兹奖得主哭了: ai摧毁了我的研究领域
机器Pro
AGMAI标准 vs OpenAI实际操作
AGMAI建议
停止在专有模型上测试高难度数学问题
披露模型名称、提示词、推理链、耗时及计算成本
AI证明应便于数学家审查和学习
OpenAI实际
仍使用未发布的专有内部模型
719份手稿中仅10份公开推理链
约42%未经形式化处理，缺少机器可读元数据
对普通人意味着什么
🧮
AI推理能力的标尺
数学是AI推理能力的"考场"——攻克数学意味着推理跃升，更多行业将被渗透
🎓
学术评价面临重构
维拉尼判断"数学从受AI冲击最小变成受冲击最大的学科"，青年学者的读博价值、期刊体系均受冲击
💰
算力成本可感知
OpenAI称每个数学成果平均消耗约3小时ChatGPT Pro级算力——Pro订阅200美元/月，相当于每道难题数美元算力
历史参照："机器超过人类"之后
♟️
1997 深蓝 vs 卡斯帕罗夫
引擎普及后职业棋手数量反增，人类用引擎训练水平大幅提升
⚫
2016 AlphaGo vs 李世石
AI训练法被人类棋手吸收，围棋开局创新加速
技术博主Hesamation拿棋王卡尔森举例，认为拒绝AI如同棋手拒绝引擎复盘。但另一面，三位人类数学家在AI协助热潮中完成了19年经典难题，论文附注"未使用任何人工智能工具"
。
openai横扫100多道世界难题, 他却说: 数学才刚开始
机器Pro
ai批量产出数学成果,丘成桐:冲击如海啸,要冲浪而非躲避
新京报网
当数学家与ai剑拔弩张, 浙大数高院和之江实验室想要联手打开"光辉灿烂的数学新世界"
都市快报橙柿互动