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