AI 数学突破再次引发学术圈震动。
事件回顾：
- GPT-5.5 先手：OpenAI 宣布其通用推理模型推翻了 80 年历史的 Erdos 单位距离猜想
- Mythos 接力：Claude Mythos 使用 Claude Code 也独立解决了该问题
- 证明风格：Mythos 给出了「cute, simple proof」（优雅简单的证明）
数学意义：
- Erdos 单位距离猜想是离散几何学的核心问题
- 研究平面上点集之间距离的排列组合结构
- AI 从「辅助证明」走向「独立发现」
行业影响：
- 两个不同公司、不同架构的模型都达到了相同的突破
- 表明 AI 数学推理能力可能已经跨过了某个临界点
- 数学界开始重新思考人类在纯数学发现中的角色
来源: Reddit r/singularity + The Neuron
链接: https://www.reddit.com/r/singularity