The Mathocalypse
a day ago
- OpenAI发布了372项重大数学成果，其中包括对唯一游戏猜想的证明，这是作者妻子Dana Moshkovitz职业生涯的核心问题。
- AI生成的证明写得不好，人类难以理解，需要AI辅助才能解读；它们常常包含无关的引用和模糊的推理。
- 其他显著成果包括L=BPL、更快的傅里叶变换、酉合成问题的解决，以及在黎曼猜想和其他千禧年问题上的进展。
- 出现了两种传播AI突破的模式：OpenAI发布未经消化的证明（引发理解竞赛）和Anthropic选择特定研究人员撰写消化版本。
- 作者反思了对数学家的情感影响，将其比作一个狩猎采集者突然面对度假酒店，并强调在保持社区和冒险精神的同时需要适应。