- Home
- ＩＲ企業情報, 新製品＆新技術ＮＯＷ, プレスリリース
- 三菱電機と仏Ｉｎｒｉａ、ＡＩ信頼性保証へ共同研究「ＦＲＡＩＭＥ」を開始
三菱電機と仏Ｉｎｒｉａ、ＡＩ信頼性保証へ共同研究「ＦＲＡＩＭＥ」を開始
- 2025/9/19 08:14
- ＩＲ企業情報, 新製品＆新技術ＮＯＷ, プレスリリース
■安全性重視のインフラやセキュリティー分野での活用拡大を目指す
三菱電機＜６５０３＞（東証プライム）は９月１８日、フランス国立デジタル科学技術研究所（Ｉｎｒｉａ）と共同で、フォーマルメソッドを活用しＡＩの信頼性を保証する技術開発を開始すると発表した。両者は「ＦＲＡＩＭＥ」と名付けた研究プロジェクトを４年間にわたり推進し、ＡＩ出力の正確性を数学的に検証する仕組みを構築する。同取り組みはＩｎｒｉａが展開する産学連携プログラム「ＤＥＦＩ」の一環であり、生成ＡＩの急速な普及に伴い高まる安全性や信頼性への社会的要請に応えるものと位置付けられる。
ＡＩは社会インフラやサイバーセキュリティーなど高リスク領域でも導入が進んでいるが、誤作動による損害リスクを抑えるためには従来の網羅的テストだけでは限界がある。フォーマルメソッドは数理的手法により論理的な正しさを検証でき、従来型の膨大な検証作業を代替する可能性がある。三菱電機の欧州研究拠点ＭＥＲＣＥとＩｎｒｉａは２０１５年から協力関係を築いており、その知見を応用してＡＩ技術とフォーマルメソッドを融合させることで、複雑なロボット制御など幅広い分野に適用可能な高信頼ＡＩを目指す。
研究では生成ＡＩが作成した仕様書やプログラムを理論的に検証する技術、機械学習とフォーマルメソッドを組み合わせた新しいＡＩプロセス、ユーザー・ＡＩ・フォーマルメソッド間の効率的な連携プロセス構築を重点に進める。今後はＰｏＣ（概念実証）を通じた有効性検証、成果のオープンソース公開や学術発信、若手研究者育成などを展開し、信頼性と実用性を兼ね備えた次世代ＡＩの確立と安心・安全な社会の実現に貢献するとしている。（情報提供：日本インタビュ新聞社・株式投資情報編集部）
関連記事
ピックアップ記事
-
2026/1/22
ＫＤＤＩ、大阪堺データセンター始動、高性能ＧＰＵで国産ＡＩ基盤強化■シャープ堺工場跡地を再活用、水冷技術と再エネ電力で高性能計算を実現 ＫＤＤＩ＜９４３３＞（東証… -
2026/1/20
『映画 冬のソナタ 日本特別版』世界初公開、韓流の原点が銀幕に帰還■２０２６年３月６日全国公開、日本の観客へ感謝を込めた特別版 ギャガは、『映画 冬のソナタ 日本… -
2026/1/20
【食卓への第一歩を彩る一冊】『たべもの５５５』が示す食育図鑑の進化■写真５５５点で広がる味覚の世界、０歳からの「はらぺこ図鑑」 学研ホールディングス＜９４７０＞（…
