はてなブックマーク - LLMs are making formal software verification feasible at a much larger scale https://b.hatena.ne.jp/entry/s/www.anthropic.com/research/formal-verification Keane Lucas, Aengus Lynch, Luna Tong, Luke Champine, Zygi Straznickas, Dino Distefano, Harshikaa Agrawal Evyatar Ben Asher, Ava Howell, Sami Jawhar, Chris Rohlf, Nickolai Zeldovich Nicholas Carlini... tsimo https://b.hatena.ne.jp/tsimo/20261024#bookmark-4794820513946977858 2026-10-24T12:16:54Z isudzumi https://b.hatena.ne.jp/isudzumi/20261024#bookmark-4794820513946977858 2026-10-24T10:42:08Z amagitakayosi https://b.hatena.ne.jp/amagitakayosi/20261024#bookmark-4794820513946977858 2026-10-24T09:43:03Z ZAORIKU https://b.hatena.ne.jp/ZAORIKU/20261024#bookmark-4794820513946977858 2026-10-24T03:04:37Z takayamaki https://b.hatena.ne.jp/takayamaki/20261024#bookmark-4794820513946977858 2026-10-24T03:02:24Z shade001 https://b.hatena.ne.jp/shade001/20261024#bookmark-4794820513946977858 2026-10-24T02:58:52Z あとで読む toshikish https://b.hatena.ne.jp/toshikish/20261024#bookmark-4794820513946977858 2026-10-24T00:38:39Z kknsd https://b.hatena.ne.jp/kknsd/20261024#bookmark-4794820513946977858 2026-10-24T00:33:59Z aku_su1 https://b.hatena.ne.jp/aku_su1/20261024#bookmark-4794820513946977858 2026-10-23T22:50:45Z tnoda78 https://b.hatena.ne.jp/tnoda78/20261024#bookmark-4794820513946977858 2026-10-23T21:58:13Z あとで読む Buchi_6uclz1 https://b.hatena.ne.jp/Buchi_6uclz1/20261024#bookmark-4794820513946977858 2026-10-23T16:05:26Z ducky19999 https://b.hatena.ne.jp/ducky19999/20261024#bookmark-4794820513946977858 2026-10-23T15:21:02Z threeMonths https://b.hatena.ne.jp/threeMonths/20261023#bookmark-4794820513946977858 2026-10-23T14:45:24Z hathewy https://b.hatena.ne.jp/hathewy/20261023#bookmark-4794820513946977858 2026-10-23T14:38:36Z kamada-math https://b.hatena.ne.jp/kamada-math/20261023#bookmark-4794820513946977858 2026-10-23T14:03:49Z razokulover https://b.hatena.ne.jp/razokulover/20261023#bookmark-4794820513946977858 2026-10-23T13:30:20Z alpha37 https://b.hatena.ne.jp/alpha37/20261023#bookmark-4794820513946977858 2026-10-23T13:26:38Z nguyen-oi https://b.hatena.ne.jp/nguyen-oi/20261023#bookmark-4794820513946977858 数学的な検証をAIでスケールさせるの、セキュリティのゲームチェンジャーになりそう。夢が広がる 2026-10-23T12:12:12Z mshkh https://b.hatena.ne.jp/mshkh/20261023#bookmark-4794820513946977858 2026-10-23T11:43:27Z LLM ソフトウェア AI 形式検証 証明 Anthropic Claude Theorem masterq https://b.hatena.ne.jp/masterq/20261023#bookmark-4794820513946977858 https://gigazine.net/news/20261023-anthropic-formal-verification/ 2026-10-23T08:27:49Z ai llm verify oss opensource risc-v fuzzing mkusaka https://b.hatena.ne.jp/mkusaka/20261023#bookmark-4794820513946977858 Claudeは123のOSSライブラリで239の入口を対象に、最大64MB入力でのクラッシュ不在をRISC-Vバイナリ上で形式証明し、未発見の不具合も見つけました。 2026-10-23T07:43:14Z AI要約 formal-ver LLM security Claude article