Anthropic 宣布 Claude 用 11 天完成费马大定理首个端到端形式化证明

信息说明

RoboAIRadar 对公开信源进行聚合、中文整理和价值判断，不替代原始报道。 涉及产品参数、交易金额或公司声明时，请以原文为准。