推荐理由：数学家和 AI 研究者会兴奋——AI 首次自主攻克了 80 年悬而未决的数学难题，证明了 AI 在数学发现中的潜力，值得所有关注 AI 与科学交叉领域的人点开。