anthropics/fermats-last-theorem
Anthropic 公布，Claude 用约 11 天完成了费马大定理的完整 Lean 形式化。费马大定理早已有了证明；这次的工作是把既有数学推理翻译成代码，交给 Lean 逐步检查。
仓库状态可能随时间变化，开放范围与使用条件请查看项目自身的许可证和说明。
Anthropic 公布，Claude 用约 11 天完成了费马大定理的完整 Lean 形式化。费马大定理早已有了证明；这次的工作是把既有数学推理翻译成代码，交给 Lean 逐步检查。
仓库状态可能随时间变化，开放范围与使用条件请查看项目自身的许可证和说明。