如何评价Anthropic 上传的费马大定理的 Lean 4 证明？怎么回事？
如题，Anthropic上传了上传的费马大定理的 Lean 4 证明和仓库，链接如下 仓库：anthropics/fermats-last-theorem 文章： Formalizing Fermat's Last Theorem \ Anthropic
广告合作位内容与广告清晰分离
为什么受到关注？
该关键词近期出现在知乎热榜，历史最高排名第 22 位。热榜排名只能反映平台内一段时间的关注程度，不等同于事件重要程度或事实结论。
已确认的信息
- 来源平台：知乎
- 首次收录：2026-09-11 04:03:10 UTC
- 最近更新：2026-09-11 06:03:20 UTC
- 最近热度：105 万热度
榜单趋势
最近 9 次榜单快照的排名走势（排名越低越靠前），每格为一次采集记录。
09-11 04:03第27名83 万热度
09-11 04:18第26名84 万热度
09-11 04:33第26名88 万热度
09-11 04:48第23名94 万热度
09-11 05:03第23名96 万热度
09-11 05:18第22名100 万热度
09-11 05:33第23名99 万热度
09-11 05:48第22名101 万热度
09-11 06:03第25名105 万热度