- Home
- ＩＲ企業情報, 新製品＆新技術ＮＯＷ, プレスリリース
- 三菱電機と仏Ｉｎｒｉａ、ＡＩ信頼性保証へ共同研究「ＦＲＡＩＭＥ」を開始
三菱電機と仏Ｉｎｒｉａ、ＡＩ信頼性保証へ共同研究「ＦＲＡＩＭＥ」を開始
- 2025/9/19 08:14
- ＩＲ企業情報, 新製品＆新技術ＮＯＷ, プレスリリース
■安全性重視のインフラやセキュリティー分野での活用拡大を目指す
三菱電機＜６５０３＞（東証プライム）は９月１８日、フランス国立デジタル科学技術研究所（Ｉｎｒｉａ）と共同で、フォーマルメソッドを活用しＡＩの信頼性を保証する技術開発を開始すると発表した。両者は「ＦＲＡＩＭＥ」と名付けた研究プロジェクトを４年間にわたり推進し、ＡＩ出力の正確性を数学的に検証する仕組みを構築する。同取り組みはＩｎｒｉａが展開する産学連携プログラム「ＤＥＦＩ」の一環であり、生成ＡＩの急速な普及に伴い高まる安全性や信頼性への社会的要請に応えるものと位置付けられる。
ＡＩは社会インフラやサイバーセキュリティーなど高リスク領域でも導入が進んでいるが、誤作動による損害リスクを抑えるためには従来の網羅的テストだけでは限界がある。フォーマルメソッドは数理的手法により論理的な正しさを検証でき、従来型の膨大な検証作業を代替する可能性がある。三菱電機の欧州研究拠点ＭＥＲＣＥとＩｎｒｉａは２０１５年から協力関係を築いており、その知見を応用してＡＩ技術とフォーマルメソッドを融合させることで、複雑なロボット制御など幅広い分野に適用可能な高信頼ＡＩを目指す。
研究では生成ＡＩが作成した仕様書やプログラムを理論的に検証する技術、機械学習とフォーマルメソッドを組み合わせた新しいＡＩプロセス、ユーザー・ＡＩ・フォーマルメソッド間の効率的な連携プロセス構築を重点に進める。今後はＰｏＣ（概念実証）を通じた有効性検証、成果のオープンソース公開や学術発信、若手研究者育成などを展開し、信頼性と実用性を兼ね備えた次世代ＡＩの確立と安心・安全な社会の実現に貢献するとしている。（情報提供：日本インタビュ新聞社・株式投資情報編集部）
関連記事
ピックアップ記事
-
2025/7/14
ＬＩＮＥヤフー、生成ＡＩ活用を全社員に義務化、３年で業務生産性２倍へ■全従業員にＡＩ活用徹底、業務改革を本格化 ＬＩＮＥヤフー＜４６８９＞（東証プライム）は７月１４… -
■５０年以上親しまれたかぜ薬が国内市場から姿を消す？ 大正製薬は７月１４日、塗るかぜ薬「ヴイック… -
2025/7/11
ホンダ「ＣＢ１０００Ｆ ＳＥ コンセプト」を世界初公開へ■鈴鹿８耐で新型ＣＢコンセプト登場 ホンダ＜７２６７＞（東証プライム）は７月１１日、大型ロードス…
