数学与人工智能

当费马大定理进入可验证时代

Anthropic称Claude在11天内完成费马大定理的Lean形式化。这项工作的核心突破不是发现新定理，而是把复杂证明交给计算机逐步核验。