推荐理由：数学和 AI 研究者值得关注——Claude Mythos 用简洁证明攻克了经典难题，说明 AI 在数学发现上的潜力远超预期，建议点开看看这个“可爱”的证明细节。