- Home
- ＩＲ企業情報, 新製品＆新技術ＮＯＷ, プレスリリース
- 三菱電機と仏Ｉｎｒｉａ、ＡＩ信頼性保証へ共同研究「ＦＲＡＩＭＥ」を開始
三菱電機と仏Ｉｎｒｉａ、ＡＩ信頼性保証へ共同研究「ＦＲＡＩＭＥ」を開始
- 2025/9/19 08:14
- ＩＲ企業情報, 新製品＆新技術ＮＯＷ, プレスリリース
■安全性重視のインフラやセキュリティー分野での活用拡大を目指す
三菱電機＜６５０３＞（東証プライム）は９月１８日、フランス国立デジタル科学技術研究所（Ｉｎｒｉａ）と共同で、フォーマルメソッドを活用しＡＩの信頼性を保証する技術開発を開始すると発表した。両者は「ＦＲＡＩＭＥ」と名付けた研究プロジェクトを４年間にわたり推進し、ＡＩ出力の正確性を数学的に検証する仕組みを構築する。同取り組みはＩｎｒｉａが展開する産学連携プログラム「ＤＥＦＩ」の一環であり、生成ＡＩの急速な普及に伴い高まる安全性や信頼性への社会的要請に応えるものと位置付けられる。
ＡＩは社会インフラやサイバーセキュリティーなど高リスク領域でも導入が進んでいるが、誤作動による損害リスクを抑えるためには従来の網羅的テストだけでは限界がある。フォーマルメソッドは数理的手法により論理的な正しさを検証でき、従来型の膨大な検証作業を代替する可能性がある。三菱電機の欧州研究拠点ＭＥＲＣＥとＩｎｒｉａは２０１５年から協力関係を築いており、その知見を応用してＡＩ技術とフォーマルメソッドを融合させることで、複雑なロボット制御など幅広い分野に適用可能な高信頼ＡＩを目指す。
研究では生成ＡＩが作成した仕様書やプログラムを理論的に検証する技術、機械学習とフォーマルメソッドを組み合わせた新しいＡＩプロセス、ユーザー・ＡＩ・フォーマルメソッド間の効率的な連携プロセス構築を重点に進める。今後はＰｏＣ（概念実証）を通じた有効性検証、成果のオープンソース公開や学術発信、若手研究者育成などを展開し、信頼性と実用性を兼ね備えた次世代ＡＩの確立と安心・安全な社会の実現に貢献するとしている。（情報提供：日本インタビュ新聞社・株式投資情報編集部）
関連記事
ピックアップ記事
-
■離職率低下と顧客満足向上を実証、省人化潮流に逆行する人材重視戦略 「丸亀製麺」主力のトリドール… -
2025/9/18
ＮＴＴと三菱重工、レーザ無線給電で世界最高効率を実証、１ｋｍ先に１５２Ｗ送電成功■ビーム整形と出力平準化技術を融合し大気揺らぎを克服 ＮＴＴ＜９４３２＞（東証プライム）と三菱重… -
2025/9/18
日野自動車、国内初の燃料電池大型トラック「プロフィアＺ ＦＣＶ」を発売■航続距離６５０キロを実現、日野が新型ＦＣＶ大型トラック投入 日野自動車＜７２０５＞（東証プライ…
