2026年6月17日 23:15
Pramaana Labs、AI形式検証で$27M調達
Pramaana Labs raises $27M seed round from Khosla Ventures to bring formal verification to AI
3行まとめ
- •Pramaana Labsが$27Mシード調達を完了
- •Khosla Venturesがリード投資家として参加
- •法律・創薬・税務分野のAI信頼性向上が目標
詳細
背景
形式的検証（Formal Verification）は、数学的証明によってシステムの正確性を厳密に保証する手法で、航空宇宙・金融・半導体設計など安全性が最優先される分野で長年活用されてきた。AIの普及とともに、法律・創薬・税務といった誤りが許されない専門分野でのAI活用が急増している一方、AIの幻覚（ハルシネーション）や事実誤認が引き起こすリスクへの対処が業界全体の課題となっている。
内容
Pramaana Labsは、この課題に数学的アプローチで挑む米国スタートアップで、2026年6月にKhosla Venturesのリードによる2,700万ドル（約40億円）のシードラウンドを完了した。同社は、AIシステムの出力に形式的検証を組み込むことで、従来のAIが苦手とする「証明可能な正確性の保証」を実現しようとしている。ターゲット市場として法律・創薬・税務の3分野を設定しており、これらは誤りが訴訟リスク、患者への健康被害、税務当局への申告ミスに直結する高感度領域だ。
今後の影響
製品の詳細や商用提供時期は未公表だが、Khosla Venturesのリード投資は同社技術の実現可能性への高い評価を示す。AIの信頼性・安全性が厳しく問われる専門業務領域において、数学的保証を持つ検証レイヤーの普及は、これまでAI導入をためらってきた保守的な業界での採用促進につながる。
なぜ重要か
AIの誤りが致命的リスクとなる法律・創薬・税務分野に、数学的証明で正確性を保証する形式的検証を導入する試みで、専門業務でのAI活用の信頼性向上に直結する。
元記事を読む — TechCrunch AI