# Scott Aaronson谈AI“数学末日”与数学家的新角色

> 原标题：The Mathocalypse

- 来源：Hacker News 首页
- 发布时间：2026-10-07T19:33:40.000Z
- AX AI 日报：https://ai-daily.ax0x.ai/items/bz0sjjz1m8ma7phitpfg1onj7
- 原文：https://scottaaronson.blog/?p=10169

## 摘要

Scott Aaronson以“数学末日”描述AI攻克数学难题的冲击，并比较OpenAI直接公开成果与Anthropic邀请数学家整理后发表的路径。文中称OpenAI昨天公布372项成果，包括Unique Games Conjecture的解答，部分附有Lean证书，但人类尚未理解其中几乎所有解答。文章关注研究者如何消化这些成果，以及AI能够给出答案后，数学共同体如何继续维系探索和理解的价值。

## 推荐理由

Scott Aaronson比较两家公司发布AI数学成果的方式，公开原稿让研究者竞相解读，定向合作则由公司选择人类讲解者。

## 锐评

一口气甩出 372 项成果却几乎没人能读懂，OpenAI 摆明了是把解读成本直接甩给学术圈。给个 Lean 证书证明代码跑通了，论文本身写得混乱怪异，想搞清楚细节就得自己掏钱调模型协助。这种发法省下了自己组织专家整理消化的人力，还拿 372 这个数字造足了声势。既然大门被粗暴推开了，我觉得接下来谁掏得起算力去啃这堆天书，谁才能先占到便宜。