推荐理由：数学家和 AI 研究者会震惊——AI 首次自主推翻了一个 80 年的数学猜想，做理论数学或 AI 推理的团队值得关注这个新范式。