2026-09-06 Hacker News Top Stories #
中文摘要
Anthropic团队利用Claude AI在11天内完成费马大定理的完整形式化验证，生成1300万行Lean代码。
English Summary
Anthropic's Claude AI formally verified Fermat's Last Theorem in 11 days, generating 13 million lines of Lean code.
原文节选
📌 一句话摘要 本期 Hacker News 摘要涵盖 Anthropic 用 Claude AI 完成费马大定理形式化验证、Chrome V8 高危漏洞、荷兰撤运黄金储备等十项热点，技术突破与地缘政治并行。 📝 详细摘要 本期 HN 摘要聚焦 AI 能力边界拓展与实用技术进展。Anthropic 团队利用 Claude 在 11 天内完成费马大定理的完整计算机验证，生成 1300 万行 Lean 代码并证明 2950...