Anthropic、AIで「バグのないソフトウェア」の実現を目指す

AI企業のAnthropicが、AIを活用してソフトウェアにバグがないことを数学的に証明する「形式的検証」手法の開発に取り組んでいることを明らかにした。近年、AIの高性能化により大量のバグが発見されており、PHPの緊急アップデートのように大きな影響を及ぼす事例も増えている。形式的検証は従来から存在する手法だが、実用化には高度な専門知識が必要で普及が進んでいなかった。AnthropicのアプローチはAIの力を借りてこのプロセスを自動化・簡易化し、より安全なソフトウェア開発の実現を目指すものだ。

本記事は外部記事の要約です。原典は次のリンクを参照してください。