共 4 篇文章
9-8 OpenAI 宣布 AI 解决数学界最著名难题，**触发数学作为职业的哲学危机**。本文综合 5 位数学家观点：**Scott Aaronson（UT Austin）「人类数学家已被永远取代」** / **Ken Ono（去 Axiom Math 创业）「学生的职业可能不复存在」** / **Daniel Litt（多伦多）「必须找到新平衡，50 年后可能没数学」** / **Pavel Etingof（MIT）「AI 凿矿 + 数学家阐释」** / **Tasmin Chu（Caltech）「它打破了我们的制度」**。**4 个生态被冲击**：arXiv...
2026-10-07 菲尔兹奖得主陶哲轩在博客转载"人类数学协会"（AHM）声明：呼吁数学家停止与 OpenAI 合作，批评其一次性发布 722 篇 AI 生成数学手稿"展示的是权力不是学术研究"。9 月底 OpenAI 在 GitHub 公开 372 个成果组覆盖千禧难题（准黎曼猜想 / 4 维挂谷 / 唯一博弈猜想），约 42% 已 Lean 形式化但已撤回 3 篇修订 14 篇。Scott Aaronson 妻子 Dana Moshkovitz（唯一博弈猜想专家）研读 OpenAI 论文后称"必须 AI 辅助才能读懂"。
2026-08-30，菲尔兹奖得主 Hugo Duminil-Copin 在博客里感慨"最著名的概率论猜想倒在 AI 推土机轰鸣下只是时间问题"，几乎同时 Anthropic 工程师 Justin Leder 在 GitHub 上传了 Claude 自动生成 + Lean 形式化严格验证的代码，70 年概率论圣杯——渗流连续相变猜想——被 AI 证明。猜想核心是 p=p_c 临界点上无限大连通网络能否形成（=0 连续 vs >0 突变），1980 年 Harry Kesten 2D 证明到 p_c=1/2，11 维及以上高维同样连续，3-10 维中间维度 70 年未解。
Anthropic 强化学习技术负责人 Sholto Douglas（节目 8 月录制，10-02 上线，被 Anthropic 公关拦下延期）在 Joe Lonsdale 节目中预测 AGI 几年内实现——能完成人类在电脑上做的所有工作，甚至覆盖机器人覆盖后的物理世界。他算账：过去 4-5 年 AI 算力年增 2-3 倍，今年 ≈1 万亿，明年 ≈2 万亿，2028 年 ≈4 万亿美元；2030 年代初全球 GDP 可能翻倍。理由：智能的经济回报是指数级，今天 AI 收入仅 1000 多亿美元，相对几万亿美元全球 GDP 只是首付。