海外 Pramaana Labs、2700万ドルのシード資金調達——形式検証でAIの信頼性を守る AIシステムの信頼性を数学的に保証するスタートアップPramaana Labsが、Khosla Venturesから2700万ドルのシードラウンド資金を調達した。同社は形式検証技術をAI開発・展開プロセスに導入し、法律・創薬・税務など高感度 AI安全性 形式化验证 种子轮融资 Khosla Ventures 8時間前 48
