- Home
- ＩＲ企業情報, 新製品＆新技術ＮＯＷ, プレスリリース
- 三菱電機と仏Ｉｎｒｉａ、ＡＩ信頼性保証へ共同研究「ＦＲＡＩＭＥ」を開始
三菱電機と仏Ｉｎｒｉａ、ＡＩ信頼性保証へ共同研究「ＦＲＡＩＭＥ」を開始
- 2025/9/19 08:14
- ＩＲ企業情報, 新製品＆新技術ＮＯＷ, プレスリリース
■安全性重視のインフラやセキュリティー分野での活用拡大を目指す
三菱電機＜６５０３＞（東証プライム）は９月１８日、フランス国立デジタル科学技術研究所（Ｉｎｒｉａ）と共同で、フォーマルメソッドを活用しＡＩの信頼性を保証する技術開発を開始すると発表した。両者は「ＦＲＡＩＭＥ」と名付けた研究プロジェクトを４年間にわたり推進し、ＡＩ出力の正確性を数学的に検証する仕組みを構築する。同取り組みはＩｎｒｉａが展開する産学連携プログラム「ＤＥＦＩ」の一環であり、生成ＡＩの急速な普及に伴い高まる安全性や信頼性への社会的要請に応えるものと位置付けられる。
ＡＩは社会インフラやサイバーセキュリティーなど高リスク領域でも導入が進んでいるが、誤作動による損害リスクを抑えるためには従来の網羅的テストだけでは限界がある。フォーマルメソッドは数理的手法により論理的な正しさを検証でき、従来型の膨大な検証作業を代替する可能性がある。三菱電機の欧州研究拠点ＭＥＲＣＥとＩｎｒｉａは２０１５年から協力関係を築いており、その知見を応用してＡＩ技術とフォーマルメソッドを融合させることで、複雑なロボット制御など幅広い分野に適用可能な高信頼ＡＩを目指す。
研究では生成ＡＩが作成した仕様書やプログラムを理論的に検証する技術、機械学習とフォーマルメソッドを組み合わせた新しいＡＩプロセス、ユーザー・ＡＩ・フォーマルメソッド間の効率的な連携プロセス構築を重点に進める。今後はＰｏＣ（概念実証）を通じた有効性検証、成果のオープンソース公開や学術発信、若手研究者育成などを展開し、信頼性と実用性を兼ね備えた次世代ＡＩの確立と安心・安全な社会の実現に貢献するとしている。（情報提供：日本インタビュ新聞社・株式投資情報編集部）
関連記事
ピックアップ記事
-
2025/12/15
ベルシステム２４、ＡＶＩＬＥＮ、伊藤忠商事、ＡＩエージェント共創支援で業務提携■オーダーメイド開発と人材リスキリングで業務変革を伴走支援 ベルシステム２４ホールディングス＜６… -
2025/12/14
国税庁、令和６事務年度の税務調査結果を公表、追徴税額は過去最高、ＡＩ活用で調査高度化■調査件数拡大と効率化で追徴税額１４３１億円 国税庁は１２月、令和６事務年度における所得税および… -
2025/12/14
【クマ出没と企業活動への影響：調査】企業の６．５％で影響、地域経済への影響が拡大■企業の６．５％がクマ出没による業務影響と回答、宿泊業で４割に迫る 東京商工リサーチ（ＴＳＲ）は…
