Anthropic 宣布，其 AI 模型 Claude 耗时 11 天，将有着 350 年历史的数学难题「费马大定理」转化为一份长达 1300 万行的代码证明。该证明可由计算机自行检查验证，无需依赖人类信任。Anthropic 表示，这一成果展示了 AI 在形式验证和复杂逻辑推理方面的潜力，或将推动数学证明方式的变革。
（来源：Decrypt 报道）
本文最初由 Bit.Fan 发布。 欲了解更多加密货币新闻与市场洞察，请访问 www.bit.fan.
Anthropic 称 Claude AI 将费马大定理转化为 1300 万行可自检代码
N
News EditorAnthropic 宣布其 AI 模型 Claude 耗时 11 天，将已有 350 年历史的数学难题费马大定理转化为 1300 万行代码证明。该证明无需人类信任，可由计算机自行验证。Anthropic 表示，这展示了 AI 在形式验证和复杂逻辑推理中的潜力，有望推动数学证明方式变革。
700
免责声明：
本平台展示的市场信息、项目资料与第三方内容仅用于行业信息分享,不构成任何形式的投资建议或收益承诺。
加密资产交易具有较高风险,用户应充分评估自身风险承受能力并独立作出决策,相关盈亏及法律责任由用户自行承担。