Anthropic 用 Lean 定理证明器形式化证明了费马大定理，把数学界 350 年的难搬进机器可验证体系，形式化数学的里程碑级项目。
https://github.com/anthropics/fermats-last-theorem

互联网充电｜优质资源
优质内容｜内幕消息