Anthropicの脆弱性発見モデル「Mythos」、数学でも高い実力

Anthropicのバグ発見に特化したAIモデル「Mythos」について、数学に非常に強いことが示されたと、英The Registerが報じた。見出しによれば、そのことは、現在実際に攻撃に悪用されている最新の脆弱性をめぐる件で明らかになったという。

ソフトウェアの脆弱性の中には、暗号処理や数値計算の誤りに起因するものがある。こうした欠陥を見つけたり、攻撃が成立する条件を突き止めたりするには、コードを読む力に加えて数学的な推論が必要になる場面が多い。Mythosが数学に強いという評価は、こうした種類の脆弱性の分析でも力を発揮できることを意味するとみられる。

ただし、問題の脆弱性がどの製品のものか、Mythosがそれを発見したのか分析したのか、どのような数学的な処理が評価されたのかは、見出しからは確認できない。詳細は出典を参照してほしい。