AI×経営戦略10/19（月）依存グラフ検索が定理証明AIの精度を引き上げLean 4向けの依存グラフ検索「LeanGraphSearch」が、補題の検索精度と証明成功率を既存手法より高めた。論理の検証を要する業務へのAI適用で、検索設計が鍵となることを示す。
AI×経営戦略6/19（金）拡散型AIが定理証明で自己回帰モデルを超越香港科技大学などの研究チームが、拡散型大規模言語モデルを用いた形式的定理証明フレームワーク「Diffusion-Proof」を発表した。数学的推論の精度向上により、金融・半導体・法務分野のソフトウェア検証コスト削減に直結する可能性がある。
