Pramaana、数学でAIのハルシネーションを解決するため$27Mを調達
Pramaana LabsはKhosla Ventures主導で$27Mを調達。LLMを形式検証で包み込み、Leanコードを活用して税務や法律などの高リスク分野で決定論的推論を可能にする。
プラマーナ・ラブスは、アクセルとボルドキャップが参加する中、コスラ・ベンチャーズがリードするシード資金調達で2,700万ドルを調達し、大規模言語モデルに形式検証手法を統合することでAIの信頼性を高めることを目指している。このスタートアップは、従来のLLMが自然言語処理を処理する一方で、Leanなどの言語を使用して決定論的検証レイヤーが出力を数学的に証明する、2層のアーキテクチャを採用している。税法、サイバーセキュリティ、創薬などのコード化されたルールを持つ分野をターゲットに、プラマーナは、元IRSコミッショナーのダニー・ウォーフェルや、IITデリーとUCバークリーの教授などのドメイン専門家と協力して、これらの複雑なシステムを形式化している。このアプローチは、企業がハイステークス環境でAIを展開するのを妨げている幻覚問題を解決しようとしている。