形式化数学

Anthropic称Claude用11天在Lean中完成费马大定理形式化证明

Anthropic报告称，Claude在很大程度上自主工作，用11天在Lean中写出费马大定理的完整形式化证明。证明已公开在GitHub上供外部核查。