The Mathocalypse
a day ago
- OpenAI 发布了372项重大数学成果，包括对独特游戏猜想（UGC）的证明，复杂性理论学家达娜·莫什科维茨为此研究了多年。
- 这些证明附有Lean验证证书，但目前对人类来说难以理解，被描述为写得糟糕且风格怪异。
- 其他突破包括L=BPL、一种新的傅里叶变换算法、对酉合成问题的肯定解答，以及多个领域的更多成果。
- 出现了两种传播AI数学突破的模式：OpenAI的原始数据导出和Anthropic与部分人类数学家合作的协作方式。
- 使用的AI模型是OpenAI最新的内部模型，每道题大约用3小时计算，解决了8000个长期未解问题中的约5%。
- 数学界难以消化和验证这些成果，有比喻将这种情况比作被传送到山顶而缺乏背景信息。
- 尽管存在怀疑，作者认为这些发展是真实且重大的，代表了改变学科的'数学启示录'。