开源工具
github.com ·
Anthropic的费马大定理项目
Anthropic在GitHub上的Lean语言项目，可能涉及费马大定理的证明，星标456。
AI推荐理由 Anthropic的Lean项目，涉及数学证明，对AI理论有参考价值，但受众较窄。
60
正文
当前仅保存了标题或简介；并非所有来源都提供正文，可通过下方原文链接查看。
Anthropic在GitHub上的Lean语言项目，可能涉及费马大定理的证明，星标456。
AI推荐理由 Anthropic的Lean项目，涉及数学证明，对AI理论有参考价值，但受众较窄。
当前仅保存了标题或简介；并非所有来源都提供正文，可通过下方原文链接查看。