开发自动驾驶与物理 AI 安全基础设施的 Imiron 完成 1.4 亿日圆 Pre-A 轮融资
Key facts
- 开发自动驾驶与物理 AI 安全基础设施的 Imiron 完成 1.4 亿日圆 Pre-A 轮融资
- 开发自动驾驶与机器人安全基础设施的 Imiron 完成了 1.4 亿日圆的 Pre-A 轮融资。由 DG Daiwa Ventures 等领投，资金将用于招募工程师及 AI 系统验证平台「SpecForge」的研发。该公司应用数理逻辑，确保物理 AI 的安全性与问责制。
- Date: Mon Jun 01 2026 12:00:02 GMT+0900 (Japan Standard Time)
Direct answer
开发自动驾驶与机器人安全基础设施的 Imiron 完成了 1.4 亿日圆的 Pre-A 轮融资。由 DG Daiwa Ventures 等领投，资金将用于招募工程师及 AI 系统验证平台「SpecForge」的研发。该公司应用数理逻辑，确保物理 AI 的安全性与问责制。
- Citation
- 开发自动驾驶与物理 AI 安全基础设施的 Imiron 完成 1.4 亿日圆 Pre-A 轮融资 (Mon Jun 01 2026 12:00:02 GMT+0900 (Japan Standard Time)), PR TIMES
- Source
- PR TIMES
- Date
- Mon Jun 01 2026 12:00:02 GMT+0900 (Japan Standard Time)
尚無 AI 分析資料。
常見問題
- Q: 什么是形式化方法？
- A: 这是一种使用数学方法来验证软件正确性的技术。
- Q: What are the key facts in this article?
- A: 开发自动驾驶与机器人安全基础设施的 Imiron 完成了 1.4 亿日圆的 Pre-A 轮融资。由 DG Daiwa Ventures 等领投，资金将用于招募工程师及 AI 系统验证平台「SpecForge」的研发。该公司应用数理逻辑，确保物理 AI 的安全性与问责制。
- Q: What is the direct answer?
- A: 开发自动驾驶与机器人安全基础设施的 Imiron 完成了 1.4 亿日圆的 Pre-A 轮融资。由 DG Daiwa Ventures 等领投，资金将用于招募工程师及 AI 系统验证平台「SpecForge」的研发。该公司应用数理逻辑，确保物理 AI 的安全性与问责制。