Anthropic 发布 Claude Fable 5.2：降价两成、速度更快，1000 个 Agent 30 小时完成费马大定理形式化