Pramaana Labs、Khosla Venturesから2700万ドルのシードラウンドを調達し、AIに形式検証をもたらす

Pramaana Labsが、AIに形式検証（formal verification）をもたらすためにKhosla Venturesから2700万ドルのシードラウンド資金を調達した。特に法律、創薬、税務など、誤りが許されない分野でのAIの信頼性向上を目指す。

• Pramaana LabsがKhosla Ventures主導で2700万ドルのシード資金を調達した。
• AIの信頼性問題を解決するため、数学的厳密性検証の技術をAIに適用する。
• 法律、創薬、税務申告など、誤りが許されない高度な分野にAIを導入することを目指す。
• 既存のLLMに、数学的証明に用いられるLEAN言語ベースの検証レイヤーを追加する。
• AIのハルシネーションやエラーに対する、より強力な保護機構を提供することを目指す。