マイクロソフト研究部門、AIのコードが仕様どおりか証明する手法

掲載 2026年11月9日・出典の発表 2026年11月5日

マイクロソフトの研究部門が、AIが書いたコードが仕様どおりかを数学的に確かめる手法を発表した。約5,000行ある通販の見本アプリで、ログイン処理を対象に試し、既にあった不具合も見つけた。証明しきれない部分は試験で補う。

マイクロソフト研究部門の建物（2008年、米レドモンド）

写真: Robert Scoble / Wikimedia Commons, CC BY 2.0 (cropped)

出典