開發自動駕駛與物理 AI 安全基礎設施的 Imiron 完成 1.4 億日圓 Pre-A 輪融資
開發自動駕駛與機器人安全基礎設施的 Imiron 完成了 1.4 億日圓的 Pre-A 輪融資。由 DG Daiwa Ventures 等領投,資金將用於招募工程師及 AI 系統驗證平台「SpecForge」的研發。該公司應用數理邏輯,確保物理 AI 的安全性與問責制。
📋 文章處理履歷
- 📰 發表: 2026年6月1日 12:00
- 🔍 收集: 2026年6月1日 12:28(發表後28分鐘)
- 🤖 AI分析完成: 2026年6月1日 12:31(收集後2分鐘)
開發自動駕駛車輛與機器人 AI 運作時的安全防護技術及邏輯解釋基礎設施的 Imiron 株式會社(東京都千代田區,代表董事:足立正和,以下簡稱「Imiron」)宣布,已完成由 DG Daiwa Ventures (DGDV) 領投,三菱 UFJ Capital 及 Gogin Capital 參與的 Pre-A 輪融資。隨著 AI 從螢幕走向物理世界,成為「物理 AI」,無論是在自動駕駛、醫療設備、機器人等關鍵任務領域,還是在聊天機器人等 AI 應用系統中,都嚴禁出現幻覺(Hallucination),且對符合標準與法規的系統安全性、品質及問責制的需求比以往任何時候都更加強烈。Imiron 由三位研究人員創立,旨在消除硬體設計與實作之間的「部署差距」,並大幅提升 AI 時代系統開發的品質保證。透過此次融資,公司將強化全球頂尖工程師的招募,並進一步加速基於數理邏輯的物理 AI 次世代 AI 系統驗證平台「SpecForge」的研發與業務擴展。「SpecForge」是一個次世代平台,能將抽象且模糊的需求描述並驗證為「數學上嚴謹」的規格。透過獨家開發的語言「Lilo」與 LLM(大型語言模型)的支援,大幅提升了過去難以掌握的形式規格描述效率。
常見問題
什麼是形式化方法?
這是一種使用數學方法來驗證軟體正確性的技術。