Open GGOOAI 开源项目
全部项目/fermats-last-theorem
fermats-last-theorem

fermats-last-theorem

模型
GitHub1.3K— / 6h
模型 · fermats-last-theorem

项目解读

AI 解读 · 1 个月前更新

这个项目是什么？

这是把费马大定理完整写进 Lean 4、让机器逐步核对的数学证明，也配了可离线浏览的证明网页。

解决了什么问题？

手工检查长篇数学论证容易漏步骤；这个项目把费马大定理的论证交给 Lean 逐项验证，并给出每步对应的定理。

可以用来做什么？

比如想按步骤查看或复核费马大定理的形式化证明，可以直接浏览项目里的证明网页，或让 Lean 执行核对。

正在读取最新信息…
正在读取评论…