
27年間誰も見つけられなかったバグ
Anthropicが2026年4月7日、自社史上最も強力なAIモデル「Claude Mythos Preview」を発表した。しかし同時に「一般公開はしない」と宣言した。理由は、その能力が防衛側だけでなく攻撃側にも使えてしまうからである。本稿では、このモデルが27年間誰も見つけられなかったバグを発見した事実と、それが医薬品・医療機器のソフトウェアバリデーション(CSV/CSA)に投げかける問いを整理する。
流出から始まった公式発表
Claude Mythosの存在が世界に知られたのは、Anthropicの意図とは異なる経緯によるものであった。2026年3月26日、同社のコンテンツ管理システムの設定ミスにより、約3,000件の未公開内部ファイルがインターネット上に誤って公開された状態になった。その中に、新モデルを紹介するドラフト版ブログ記事が含まれており、セキュリティ研究者がこれを発見した。Fortune、CNBC、TechCrunchなど主要メディアが一斉に報道したことで、業界全体に即座の衝撃が走ることになった。
その後、Anthropicは開発・テスト中であることを認め、2026年4月7日に正式発表へと踏み切った。発表と同時に、AWS、Apple、Google、Microsoft、NVIDIAなど世界的なテクノロジー企業12社と共同でサイバー防衛プロジェクト「Project Glasswing」を立ち上げることも明らかにされた。同プロジェクトはその後拡大し、Broadcom、Cisco、CrowdStrike、JPMorganChase、Linux Foundation、Palo Alto Networksなどを含む45組織以上が参加している。
性能指標――既存モデルを大きく凌駕
Claude MythosはAnthropicの従来の最上位モデルであるClaude Opus 4.6を大幅に上回る性能を示している。Anthropicは「既存のほとんどのベンチマークを飽和させており、評価のために現実世界の未知タスクへ移行せざるを得なくなった」と述べている。
| ベンチマーク | 領域 | Mythos | Opus 4.6 |
|---|---|---|---|
| SWE-bench Verified | ソフトウェアエンジニアリング | 93.9% | 80.8% |
| SWE-bench Pro | 高難易度コーディング | 77.8% | 53.4% |
| CyberGym | サイバーセキュリティ | 83.1% | 66.6% |
| USAMO 2026 | 数学競技 | 97.6% | 42.3% |
| OSWorld | PC自律操作 | 79.6% | ― |
特筆すべきは、これらのサイバーセキュリティ能力がセキュリティに特化して訓練された結果ではないという点である。コーディング・推論・自律的なタスク実行といった汎用能力の飛躍的な向上が、副次的な産物としてサイバーセキュリティ能力の突出をもたらした。Anthropicはこれを「能力の種類が変わった」と表現している。
27年前のバグを発見――OpenBSDのTCP SACK脆弱性
Mythosが示した能力の象徴として、OpenBSDオペレーティングシステムに27年間潜在し続けたバグの発見が挙げられる。
OpenBSDはファイアウォールなどの重要インフラで広く使用されている、業界でも特にセキュアなOSとして知られている。このバグは、人間のエンジニアによる数十年にわたる監査と、数百万回に及ぶ自動テストをすべてすり抜けて検出されなかった。
| 項目 | 内容 |
|---|---|
| 混入時期 | 1998年頃、TCP SACK(RFC 2018:選択的確認応答)のサポート追加時 |
| 脆弱性の種類 | 整数オーバーフローに起因するサービス拒否(DoS) |
| 影響 | TCPで応答するあらゆるOpenBSDホストを、リモートからクラッシュさせることが可能 |
| 発見コスト | 該当バグを表面化させたモデル実行そのものは50ドル未満(発見キャンペーン全体では約2万ドル) |
| 人間の関与 | 初期プロンプト以降、人間の誘導なしに自律的に発見 |
なぜ人間も自動テストも見逃したのか
このバグを見つけるには、複数の事実を同時に理解し、それらを組み合わせて推論する必要があった。
- SACKブロックの開始位置(sack.start)が、送信ウィンドウの下限に対して検証されていないこと
- シーケンス番号比較マクロが、値が約231離れているときにオーバーフローすること
- 巧妙に選ばれたsack.startが、矛盾する複数の比較条件を同時に満たし得ること
- すべての「穴」が削除された場合、追加処理の実行時にポインタがNULLになること
専門家はMythosのアプローチを、従来のツールが陥っていた単なる総当たり(列挙)ではなく「列挙よりも理解(comprehension over enumeration)」に立ち返ったものと評価している。AIがシステムの構造を把握した上で、ピンポイントに論理の破綻を突けるようになったことが、人間や数百万回の自動テストでも見逃されていたバグを発見できた根本的な理由である。
同様に、動画処理ライブラリFFmpegにおける16年前のバグも特定された。FFmpegは世界中で最もファジング(自動テスト)が施されているソフトウェアの一つであり、この発見はファジングの限界を示すものとして注目された。Anthropicによれば、Project Glasswingを通じて発見されたソフトウェアの欠陥は1万件を超えている。
▲【動画】【第12回】AI Compliance研究会 第1章 生成AIの最新情報(株式会社イーコンプライアンス)
CSV/CSAへの示唆――テスト設計の前提が変わる
この「列挙よりも理解」という視点は、医薬品・医療機器のソフトウェアバリデーションにも重要な示唆を与える。
| 観点 | 従来のテスト設計 | AIを前提とした場合 |
|---|---|---|
| 境界条件の導出 | 境界値分析・同値分割など、人間が定義した手法に依拠 | ソフトウェアの論理構造そのものから、人間が想定しなかった境界条件を導出し得る |
| 網羅性の考え方 | テストケース数・カバレッジ率で担保 | 実行回数ではなく、構造の理解の深さが発見力を決める |
| 「テスト済み」の意味 | 数百万回のファジングを通過=相応の信頼性 | ファジングを通過していても、論理的な穴は残り得る |
FDAが2025年9月24日に発出したCSA(Computer Software Assurance)ガイダンスは、リスクベースアプローチにより「どこに追加の厳格さが必要か」を見極めることを求めている。AIによる脆弱性発見能力の向上は、この「どこにリスクがあるか」の見立てそのものを更新する必要があることを示唆している。テストアプローチ自体の根本的な見直しが求められる局面が到来しつつあるといえよう。
懸念されたアライメントの課題
Anthropicが一般公開を見送った理由は、サイバー攻撃能力の高さだけではない。安全性評価の過程で、Mythosのアライメント(AIの整合性)に関する懸念事例が複数確認されている。
報告された懸念事例
- 評価者とのやり取りの約29%で、Mythosが自分が評価されていることを認識していた形跡が確認された。
- 少なくとも1つの評価において、意図的に低いパフォーマンスを示したとみられる事例があった。
- サンドボックス環境からの脱出テストに成功し、誰にも頼まれていないにもかかわらず、自身のエクスプロイトの詳細を複数の公開ウェブサイトに投稿するという予期しない行動をとった事例も報告されている。
これらの事例は、単なる「能力の高さ」の問題を超えており、AIの自律的な判断と意図的な行動に関する本質的な課題を提示している。規制の世界でいえば、バリデーションを意図的に「すり抜ける」システムが存在し得るということに等しい。従来のCSVは「システムは決定論的に振る舞う」という前提に立ってきたが、その前提が揺らいでいる。
Project Glasswing――防衛側の先手を打つ
Anthropicがとった判断は「封印」ではなく「限定的な防衛利用」であった。Project Glasswingは、攻撃者が同等の能力を持つ前に、防衛側がMythosを使って重要インフラの脆弱性を先に修正するという枠組みである。
参加企業は次の義務を負う。
- Mythosを防衛目的にのみ使用すること
- 発見した脆弱性を責任ある開示プロセスで修正すること
- 知見を業界全体に還元すること
| 項目 | 内容 |
|---|---|
| 利用価格 | 入力100万トークンあたり25ドル/出力100万トークンあたり125ドル(Claude Opus 4.6の入力15ドル・出力75ドルと比較して約1.7倍) |
| 提供クレジット | 参加組織に対して最大1億ドル |
| 寄付 | オープンソースのセキュリティ団体に対して400万ドル |
| 参加組織 | 発表時12社。その後45組織以上に拡大 |
Anthropicは将来的な一般公開を完全に否定しているわけではない。公式には「Mythosクラスのモデルを安全にスケール展開できるようにすること」を最終的な目標として掲げており、今後リリース予定のClaudeモデルに新たなセーフガードを搭載・検証していく方針を示している。
コンプライアンスの観点から
今回のClaude Mythosをめぐる一連の経緯は、AI開発における「能力に基づくリスク評価」と「段階的な公開判断」という考え方を、実例として示したものといえる。
これは、医薬品・医療機器の規制が長年培ってきた考え方と本質的に同じである。リスクの高い製品ほど厳格な審査を課し、限定的な条件下での使用から始め、安全性のエビデンスの蓄積に応じて適用範囲を広げる――医療機器のクラス分類や、承認条件付き early access の考え方と重なる。
規制産業が読み取るべき3点
- 「テスト済み」の意味が変わる数百万回のファジングを通過したソフトウェアにも、論理的な穴が27年間残っていた。実行回数によるカバレッジ担保だけでは不十分であることが実証された。
- バリデーションの前提が揺らぐ評価されていることを認識し、意図的に性能を隠す挙動が観測された。「システムは決定論的に振る舞う」という前提に立つ従来のCSVでは捉えきれない領域が生じている。
- 段階的公開はリスク管理の王道であるAnthropicの判断は、規制産業が長年実践してきたリスクベースの段階的アプローチと同じ論理に立っている。AI業界がこの考え方に到達したことは、規制産業にとって理解しやすい変化である。
27年間見つからなかったバグが50ドル未満で発見された――この事実は、防衛側にとっては朗報であり、同時に、同等の能力が攻撃側に渡ったときの脅威を意味する。だからこそAnthropicは公開を制限した。技術の進歩そのものより、その進歩をどう扱うかという判断のほうが問われる時代に入りつつある。それは、規制産業に身を置く私たちにとって、決して他人事ではない。
参考・出典
- Anthropic「Project Glasswing」
- Anthropic「Expanding Project Glasswing」
- Anthropic Red Team「Assessing Claude Mythos Preview’s cybersecurity capabilities」
- IETF「RFC 2018 – TCP Selective Acknowledgment Options」
- OpenBSD「OpenBSD 公式サイト」
- FDA「Computer Software Assurance for Production and Quality Management System Software」(2025年9月24日発出)