形式化证明

Anthropic 一次发布 Fable 5.2 与 Mythos 5.2 两款旗舰模型，官方称在高难度技术任务上显著提升；其中 Fable 5.2 用约 30 小时完成了费马大定理的形式化证明。