2. Linux.do
  3. Claude 在 11 天内完成费马大定理首个机器验证的 Lean 形式化证明

Claude 在 11 天内完成费马大定理首个机器验证的 Lean 形式化证明

undercat 2026-09-05 02:41 1

费马大定理：



原文：Formalizing Fermat’s Last Theorem \ Anthropic

最新回复 (1)
  • fuermo 09-05 06:45
    1楼

    作者的博客，里面有一些背景故事:





    The Anthropic post claims the proof used 6 billion output tokens. At the API price, that would be $300,000.



    根据推测大约用了30万刀的API

* 帖子来源Linux.do
附近帖子
返回
飞读
随机推荐