私たちのFrontier Red Teamブログで新しい情報：Claudeを使って大規模なソフトウェアを正式に検証する方法。

正式な検証により、コードに特定のバグがないことを証明することができるが、歴史的にこれは小規模なコードベースに対してのみ実行可能であった（または多くの専門家の時間を要した）。

しかし、AIモデルを利用することで、この状況が変わり始めています。@theoremlabsと協力して、Claudeを使い、数週間の間に100以上の実世界のオープンソースライブラリにおいてセキュリティ特性を検証しました。

全文はこちらでご覧ください：https://www.anthropic.com/research/formal-verification