開發自動駕駛與物理 AI 安全基礎設施的 Imiron 完成 1.4 億日圓 Pre-A 輪融資
NQ 評分
54/100
N1 內容完整性
10
AI 摘要（NQ 加工版）
開發自動駕駛與機器人安全基礎設施的 Imiron 完成了 1.4 億日圓的 Pre-A 輪融資。由 DG Daiwa Ventures 等領投，資金將用於招募工程師及 AI 系統驗證平台「SpecForge」的研發。該公司應用數理邏輯，確保物理 AI 的安全性與問責制。
AI 分析
常見問題
- Q: 什麼是形式化方法？
- A: 這是一種使用數學方法來驗證軟體正確性的技術。