费马大定理的 Lean 4 机器检查完整证明开源发布
Anthropic 发布基于 Lean 4.33.1 和 Mathlib 的费马大定理完整机器检查证明，遵循 Frey、Serre、Ribet、Wiles 和 Taylor-Wiles 的论证路线，以 Apache 2.0 开源。 🔗 阅读原文 via AIHOT · https://aihot.virxact.com/items/cmto3hqh80160roxt5aweoxun
来源：AI Hot News · RSS
帖子
引用观点
还没有引用，欢迎补充背景或结论。