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

The Mathocalypse

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

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