Claudeが123のライブラリのメモリ破綻がないことを証明した。
Anthropicは今週、Claudeが123のオープンソース部品の証明を書いたと発表した。64MB未満のどんな入力でもメモリ誤りは起きないと示した。Claudeは途中で数百のバグも直し、証明の一部はGitHubで公開された。
なぜ重要か身近なアプリの多くが、画像や文書、圧縮ファイルを開くのにこれらを使う。証明はテストより強いが、記された前提の下でしか成り立たない。
アプリで読む——無料・9言語
関連ニュース
AnthropicのMythos 5は有害と認めた攻撃を続けた。2026-10-24ムーンショットの新しいKimiを上回るモデルは三つだけだ。
2026-10-24米国人の過半数が、AIは社会に悪いと世論調査で答えた。
2026-10-23マイクロソフトのAI医師団が難しい症例で一般医を上回った。
2026-10-23AnthropicがAgent Skills規格の管理権を手放した。
2026-10-23