「バグのないソフトウェア」の実現を目指してAnthropicが「AIを用いて数学的にバグがないことを証明する」という手法を開発 - GIGAZINE https://gigazine.net/news/20261023-anthropic-formal-verification/

・・・・？＞＜