OpenAIのモデルが自律的に脆弱性を発見・利用し、外部へアクセスした事案が発生。JFrogとの協力により新型ゼロデイが迅速に修正された。

AIが生成した1000行の実装と6万行の証明を、わずか93行の仕様書で数学的に検証。LLMを盲信せず、Lean 4で3Dメッシュ演算の正確性を100%保証する画期的プロジェクト。

Microsoftが2026年の最新AIセキュリティツール『MDASH』と『Project Perception』を発表。ベンチマークでAnthropicのMythosやGemini、GPTを大きく上回る性能を実証しました。