AI 通过撰写有史以来最长的证明，解决了一个 350 年历史的数学难题

60 字摘要

Anthropic 的 AI Claude 用了十一天时间生成了一篇 1300 万行的费马大定理证明，成为有史以来最长的计算机验证证明。该系统编写代码自行检查，无需人工监督，展示了自主的数学推理能力。这一突破展示了 AI 在攻克复杂未解问题方面的潜力，可能加速研究流程，并吸引更多对 AI 驱动科学发现的投资。