ソフトウェアの安全

Claude、オープンソース123ライブラリを形式検証し数百のバグを修正

Anthropic が Claude で123のオープンソース・ライブラリを形式検証し、数百のバグを直した。何が証明され、何が守られないのか。日々のアプリの安全にどう届くのかを読む。