# Formalizing Fermat's Last Theorem

# 费马最后定理的形式化证明

379 points · 247 comments | 作者: jlebar | 原文: news.ycombinator.com

时间: 2026-09-04T18:42:56Z

### 热门评论

1. [vmilner]

Formalisation of the classification of finite simple groups must be on someone’s ‘moonshot’ list.

> 对有限简单群分类定理的 formalization 必然应在某人的‘登月计划’清单上。

⋯ 继续阅读请开通会员 ⋯