【#11 天、30 万美元：AI 攻破 358 年数学难题的最后一关#】 近日，Anthropic的AI模型Claude在基本自主运行11天后，完成费马大定理的首个端到端、可由计算机完整检查的形式化证明，引发数学界震动。... ​