ソフトウェア工学のための人工知能：確実性から証明可能性へ

本稿では、AIをソフトウェア工学に応用する際、確率的な推論（probable）から数学的に証明可能（provable）な保証へと移行する必要性を論じる。従来のAIベースのソフトウェア開発手法は高い確率で正しいコードを生成できるが、ミッションクリティカルなシステムでは証明可能な正しさが求められる。このギャップを埋めるためのアプローチと今後の研究方向性を提示する。