ソフトが「どんな入力でも落ちない」ことをClaudeが証明、公開ソフト123本で数百のバグも発見
Anthropicは10月22日、Claudeが公開ソフト123本の239か所について「どんな入力でも異常終了しない」ことを数学的に証明したと発表した。証明の途中で数百のバグも見つけて直した。人なら何十人年もかかる作業を数週間で済ませた。
出典：Anthropic・Hacker News・Interesting Engineering
#形式検証
形式検証に関する海外の最新ニュース1本を日本語でまとめています。公式発表・論文・海外メディアの報道をもとに、ビジネスへの影響まで解説します。