跟帖刚刚，Claude Fable 5.2炸场，30小时完成费马大定理形式化