Back to top
  • 공유 Share
  • 인쇄 Print
  • 글자크기 Font size
URL copied.

30小時完成費馬最後定理形式化,Anthropic推出Fable 5.2與Mythos 5.2

螢幕上隱約映出證明程式碼,一隻手正按著鍵盤 / TokenPost.ai

Anthropic於10日推出Fable 5.2與Mythos 5.2。Anthropic在官方公告中表示,Fable 5.2開放一般使用者使用;Mythos 5.2則僅提供給通過驗證的網路安全與生命科學等領域組織。

Anthropic在官方公告中表示,1000個Fable 5.2代理在30小時內,使用Lean完成費馬最後定理的形式化。公司說明,形式化是將數學證明轉換成電腦可逐步驗證的語言。

Anthropic客服中心說明,Max、Ultra訂閱方案,以及Team與既有按席位計費企業方案中的Premium席位,可依訂閱期間重設Fable使用額度1至3次。首次付款未滿6個月者可重設1次;滿6個月、未滿或等於12個月者可重設2次;超過12個月者可重設3次。

Pro方案與Team標準席位則可在一週內使用Fable模型,額度最高為每週使用上限的50%,並可重設1次。重設後恢復的使用額度也適用於Claude Code,但必須透過網頁版、桌面版或行動版執行重設。

<Copyright ⓒ TokenPost, unauthorized reproduction and redistribution prohibited>

Most Popular

Other related articles

Comment 0

Comment tips

Great article. Requesting a follow-up. Excellent analysis.

0/1000

Comment tips

Great article. Requesting a follow-up. Excellent analysis.
1