Anthropic 用 AI 在 11 天内证明费马大定理

anthropic 的 claude ai 系统仅用 11 天就形式化证明了 fermat 大定理。该证明由 1300 万行代码组成，并经过了计算机验证。这一成就展示了 ai 在数学研究与发现方面的潜力。在数学中应用 ai 有助于加快发现的步伐，并提供新的见解。fermat 大定理是数论中的一个基本概念，最初由 pierre de fermat 于 1637 年提出。