00:00
-00:00
Claudeが10億行の証明を書いた！テストが見逃したバグも証明は逃さない
2
アンソロピックが2026年10月22日、証明を専門にする会社Theoremと組み、Claudeに123のオープンソースのライブラリを形式検証させた結果を公表しました。64MB未満のどんな入力でも落ちないことを、専用の検証プログラムが確かめています。付録によると、Claudeが書いた証明はおよそ10億行で、検証をとおったのは約1億8千万行でした。わざと入れたバグを証明がすべて見つけた実験、専門家の講評、費用の壁まで整理します。
6日前
このチャンネルの新着放送
おすすめの放送
stand.fmの無料アプリでもっと便利に
放送が更新されたらプッシュでお知らせされるので最新の放送を聞き逃さない。
バックグラウンド再生で他のアプリを使用しながら、放送やライブが聴ける。
放送やライブ、コミュニティでコメントが送れて配信者とコミュニケーションができる。
アプリだけでかんたんに音声を収録して投稿できて音声の編集もできる。
stand.fmメディア
JASRAC許諾番号
9024598002Y31016
9024598004Y31016
NexTone許諾番号
000006134
© 2026 stand.fm, Inc.