Claudeが10億行の証明を書いた！テストが見逃したバグも証明は逃さない

Claudeびいき · Oct 26, 2026 · 7m

アンソロピックが2026年10月22日、証明を専門にする会社Theoremと組み、Claudeに123のオープンソースのライブラリを形式検証させた結果を公表しました。64MB未満のどんな入力でも落ちないことを、専用の検証プログラムが確かめています。付録によると、Claudeが書いた証明はおよそ10億行で、検証をとおったのは約1億8千万行でした。わざと入れたバグを証明がすべて見つけた実験、専門家の講評、費用の壁まで整理します。