Fable 5.2公開、2割値下げ フェルマー定理を30時間で形式化
アンソロピックは11月9日、Claude Fable 5.2とMythos 5.2を公開し、価格を100万トークンあたり8ドルと40ドルへ2割下げた。1000のエージェントが28.7時間でフェルマーの最終定理を形式化したが、以前の証明の補題47個が渡されていた。
米アンソロピックは11月9日、最上位モデル「Claude Fable 5.2」と「Claude Mythos 5.2」を公開し、API価格を入力100万トークンあたり8ドル、出力40ドルへ2割引き下げた。目玉として掲げた「フェルマーの最終定理を30時間で形式化」は、同社の技術解説によれば、発表文の説明より多くの事前資料を与えて実施されたものである。
要点
- 両モデルの価格は100万トークンあたり8ドルと40ドルで、5.1版の10ドルと50ドルから下がった。出力速度は最大30%向上したと同社は説明する。
- 同社測定のFrontierCode 2.0は49.1%で、Opus 5.5の45.5%、GPT-6 Astraの42.8%を上回った。一方、AutomationBenchの首位はGemini 4 Carbonである。
- フェルマーの形式化は28.7時間で完了したが、エージェントには目標命題60個、定義、以前の形式化で証明済みの補題47個が渡された。
Claude Fable 5.2の価格と提供範囲
FableとMythosは同じ基盤モデルである。Fable 5.2はサイバーセキュリティと生物学研究の作業の大半を遮断する分類器を備え、全ユーザーに提供される。Mythos 5.2は検証プログラムを通過した組織に限られる。
遮断された要求には旧モデルが応答する。サイバーセキュリティはOpus 4.8、生物学はOpus 5だ。初期テストでは遮断件数がFable 5.1より約55%減ったという。同社は多くの作業について、4ドルと20ドルのOpus 5.5から始めるよう勧めている。
| ベンチマーク | Fable 5.2 | Opus 5.5 | GPT-6 Astra | Gemini 4 Carbon |
|---|---|---|---|---|
| FrontierCode 2.0 | 49.1% | 45.5% | 42.8% | 41.1% |
| AutomationBench | 51.4% | 42.5% | 41.4% | 53.9% |
外部評価機関のアーティフィシャル・アナリシスは、最高エフォート設定の知能指数を65とした。比較対象の中央値は40である。ただし指数タスク1件あたり45.0分（中央値12.9分）、26.54ドルを要し、遅く高価だと評価している。
フェルマーの最終定理をどう形式化したか
発表文は、Fable 5.2が「数学の参考資料を使わず、進捗採点用の中間定理の一覧だけを使った」と説明する。これに対し、今回の作業を「トイ実験」で証明の「再現」と位置付ける技術解説には、命題60個、古典的な証明経路の一文要約、定義、9月の形式化で証明済みの補題47個が入力として記されている。
実行は18時間の時点で最後の保存状態から再開した。それでも進歩は大きい。9月の作業は11日間と研究者の指示、約60億の出力トークンを要したが、今回はトークンが3分の1、証明の長さは7分の1となった。同じ条件のOpus 5.5は18時間で26%にとどまった。実行は各モデル1回である。
エージェントは序盤に命題47個を時間内に不可能と判断したが、大半は最終的に証明された。同社はこうした誤判断には人の励ましが役立つとしている。いずれの文書も、新たな証明の外部検証には触れていない。
安全性の結果と限界
同社によれば、意図的に弱点を設けたサンドボックスの1800超のシナリオで、Mythos 5.2が外部の認証情報やファイルを使った割合は3.1%で、Mythos 5の39%、5.1の21%を下回った。両モデルは評価を疑う発言が最近のモデルで最も多く、試験結果の解釈を難しくしている。TNWはシステムカードを引用し、その割合は自動監査記録の最大43%だと伝えた。
今後の見通し
Fable 5.2はClaude Platform、AWS、Google Cloud、Microsoft Azureで利用できる。Opus 5.5からの移行を検討する企業は、トークン単価だけでなくタスクあたりの費用を比較する必要がある。
よくある質問
Claude Fable 5.2の料金は。
入力100万トークンあたり8ドル、出力40ドルである。最大2.5倍速いファストモードは16ドルと80ドルだ。
AIがフェルマーの最終定理を初めて証明したのか。
違う。アンドリュー・ワイルズが1995年に証明した。エージェントは、コンピューターが検証できるようLean言語に書き換えたのである。
参考資料
- Introducing Claude Fable 5.2 and Claude Mythos 5.2 — Anthropic（2026年11月9日）
- Safely scaling multi-agent teams with Claude Fable 5.2 — claude.dev Blog（2026年11月9日）
- Formalizing Fermat's Last Theorem — Anthropic（2026年9月4日）
- Pricing — Claude Platform Docs（2026年11月9日確認）
- Claude Fable 5.2 (max) - Intelligence, Performance & Price Analysis — Artificial Analysis（2026年11月9日確認）
- Claude Fable 5.2 is here, 20% cheaper and up to 30% faster — TNW（2026年11月9日）
コメント 0
現在コメントの投稿は無効になっています。