イミロン、プレシリーズAで1.4億円調達自動運転AIの安全性向上に貢献

イミロン、プレシリーズAで資金調達に成功

自動運転やフィジカルAIの研究開発を行う【株式会社イミロン】が、1.4億円のプレシリーズA資金調達を実施しました。この資金調達には、【株式会社DG Daiwa Ventures】をリード投資家とし、三菱UFJキャピタル株式会社やごうぎんキャピタル株式会社が参加しています。この資金をもとに、今後の事業展開が期待されます。

資金調達の背景

近年、AIがスクリーンから実際の世界に進出する中、自動運転や医療機器、さらにロボティクスなどの重要な分野において、システムの安全性と品質が求められています。特に、AIの誤動作である「ハルシネーション」を防ぐためには、より強固なセーフガード技術が必要です。従来の自然言語での仕様書や図解式の設計手法では、明確でない仕様からくる問題を解決するのは難しく、より精密な「仕様の明確化」が不可欠です。これは、品質と説明性を両立させるために極めて重要な要素と言えます。

イミロンは、システム設計と実装の間で起こる「デプロイメント・ギャップ」をなくし、新たなシステム開発の品質保証のあり方を提案しています。代表取締役の足立氏は、自動運転や車載ソフトウェアの研究開発を手がけ、多くの実績を誇っています。また、蓮尾氏やJames Haydon氏もそれぞれの分野で優れた研究背景を持つ専門家です。この三名の集結により、イミロンは次世代の自動運転やフィジカルAIの時代に必要な「説明可能で検証可能なシステム開発」を推進することを目指しています。

目指す次世代プラットフォーム『SpecForge』

今回の資金調達を受けてイミロンは、自社開発の次世代AIシステム検証プラットフォーム『SpecForge』の研究開発を加速させます。『SpecForge』は、自動運転車やロボットに求められる高い安全基準や説明責任を満たすために、曖昧さを排除した仕様を数学的に記述・検証できる技術です。

・ 形式仕様の民主化：独自の言語「Lilo」とLLM（大規模言語モデル）を用いることで、これまで難しかった形式仕様の記述を革命的に効率化します。

・ 仕様の自動検証機能：合理的で矛盾のない仕様は設計品質の向上だけでなく、運用時の振る舞いを自動検証するルールとしても機能します。

・ SpecDevOpsの実現：設計・実装・運用・改善に至るまで一貫した仕様に基づくAIシステムの継続的な品質保証を実現します。

『SpecForge』は「EdgeTech+ AWARD2025」にてAI設計支援優秀賞も受賞しており、その評価の高さもうかがえます。

様々な企業からの期待

DG Daiwa Ventures代表者は、自動運転におけるソフトウェアの複雑化と安全性証明の必要性について言及し、イミロンの技術力を評価しました。特に、数学的アプローチを用いることでシステムの正しさを検証する重要性が高まっているとしています。

三菱UFJキャピタルの代表者も、曖昧な仕様書が引き起こすリスクに正面から取り組むイミロンのアプローチを支持し、さらにごうぎんキャピタルもイミロンの革新的な技術が将来的に「17の重点分野」を支えると期待しています。

代表取締役・足立正和の意気込み

足立氏は、システム設計における仕様の不明確さが引き起こす問題を指摘し、生成AIの普及に伴いその重要性が今までにないほど増していると述べています。AIを安全に活用するためには、明確な仕様の設定が不可欠です。今後、イミロンは世界的な技術者と共に「コードを書くように仕様を鍛える」新しい開発体験を提供していく計画です。今回の資金調達をフルに活用し、より安全なAI利用の社会実現を目指します。