Pramaana Labs、形式検証でAI信頼性向上へ2700万ドル調達
Pramaana Labsは2026年6月17日(現地時間)、シードファンディングラウンドで2,700万ドルを調達したと発表した。このラウンドはKhosla Venturesが主導し、Accel、BoldCap、Nexus Venture Partners、Premji Invest、Unboundが参加した。同社は、数学的形式検証ツールを活用し、AIのハルシネーションやエラーに対する強力な保護を提供することで、法律、創薬、税務準備といった信頼性が重視される分野に特化する。