三菱電機とInria、信頼性の高いAIシステムの実現に向け共同研究プロジェクト「FRAIME」を開始

　三菱電機とフランス国立デジタル科学技術研究所（以下、Inria）は、信頼性の高いAIシステムの実現に向けた共同研究プロジェクト「FRAIME」を開始すると発表した。

　三菱電機の欧州現地法人Mitsubishi Electric R&D Centre Europe（三菱電機R&Dセンター・ヨーロッパ、以下、MERCE）とInriaは、2015年よりフォーマルメソッドを活用した高度な検証技術の共同研究に取り組んできたという。同プロジェクトでは、長年にわたって培ってきた実績を基盤に、MERCEとInriaの知見を活かし、フォーマルメソッド技術と大規模言語モデルなどのAI技術とを組み合わせることで、AIの出力結果の正確性を理論的に検証する技術を開発するという。

共同研究プロジェクトの概要

研究内容の詳細

1. 生成AIの出力内容をフォーマルメソッドで理論的に検証する技術の確立
   • 生成AIによって自動生成された仕様書やプログラムなどに対し、数学的アプローチであるフォーマルメソッドを用いて正確性を理論的に検証する技術を確立
   • 信頼性の高いプログラム生成やメンテナンスを可能とし、機器の安全稼働や運用の安定化など、産業分野におけるAI活用の実効性を向上
2. フォーマルメソッドと機械学習とを融合した信頼性の高いAIプロセスの構築
   • ソフトウェア工学の複合技術であるフォーマルメソッドと統計的アプローチである機械学習の特徴を組み合わせることで、柔軟性と信頼性を兼ね備えたAIプロセスを構築
   • 複雑な判断や制御が求められるロボット制御システムなど、産業分野をはじめとする幅広い分野での適用を想定
3. ユーザー、AI、フォーマルメソッドの相互連携による効率的な作業プロセスの実現
   • ユーザー、AI、フォーマルメソッドの間に継続的なフィードバックループを構築することで、ユーザーが最小限の操作でAIの出力を自由かつ迅速に調整できる環境を実現
   • 自動的・持続的な検証機構により手戻りを削減し、実運用に耐えうる高い信頼性を維持しながらリードタイムの短縮とコスト低減を実現

　今後、フォーマルメソッド技術とAI技術の組み合わせによって、信頼性と実用性を兼ね備えた次世代AI技術の確立に取り組み、その有効性を検証するためのPoCを実施していくという。あわせて、次の取り組みを通じて社会貢献に資する中長期的なイノベーションを推進するとしている。

• オープンソースのプロトタイプ公開
• 学術論文による成果発信
• 新たな応用分野への展開

　また、安心・安全な社会の実現に向けて、将来の課題の特定とその解決に向けた関連技術の研究開発を進めるとともに、産学連携をより強化していくという。さらに、同プロジェクトを通じて、博士課程学生など若手研究者の育成にも取り組み、研究開発力の継続的な向上と、社会課題の解決、新たな価値の創出に貢献していくとのことだ。

【関連記事】
・対話型AI市場が大幅に拡大　売上が前年比46.9％増、25年度も45.7％増予測──ITR調査
・さくらインターネット・NICTら3者、“国内に完結”した生成AI利用を実現すべく協業へ
・「女性がもっとAIを活用できるように」WAIJが新プロジェクト始動！「AIシンゴ」による性格診断も