TREE NEWS 消息， Anthropic表示，其AI模型Claude耗时11天，将费马大定理转化为1300万行代码，生成了一份可由计算机自行验证的证明，无需人工信任。此举被视为AI在形式化数学领域的一大突破。
长按上方图片 → 保存到相册 / 转发分享
TREE NEWS 消息， Anthropic表示，其AI模型Claude耗时11天，将费马大定理转化为1300万行代码，生成了一份可由计算机自行验证的证明，无需人工信任。此举被视为AI在形式化数学领域的一大突破。