Claude 完成费马大定理首个形式化证明
哥伦比亚大学商学院助理教授彭天翼利用 Claude 在 11 天内完成费马大定理首个完整、经计算机检验的形式化证明。该证明使用 Lean 生成 1300 万行代码并证明 29500 个中间定理，Prove2Me 平...
TechFoco
Lean 专题
共 1 篇文章，按时间倒序展示。
共 1 篇文章，按时间倒序展示。
哥伦比亚大学商学院助理教授彭天翼利用 Claude 在 11 天内完成费马大定理首个完整、经计算机检验的形式化证明。该证明使用 Lean 生成 1300 万行代码并证明 29500 个中间定理，Prove2Me 平...