RecodeX 重构消息,哈佛数学家使用Anthropic的Fable 5模型推翻了一个重大未解数学难题,引发对AI数学推理能力的关注。