Pramaana Labsは水曜日、Khosla Venturesをリード投資家として総額2,700万ドルのシードラウンド調達を発表した。Accel、Boldcap、Nexus Venture Partners、Premji Invest、Unboundが参加した。同社の目的は、数学的形式検証の手法をAIに統合し、法務、創薬、税務といったヒューマンエラーやハルシネーションが許されない重要分野でのAI信頼性を高めることである。 CEO兼創設者のRanjan Rajagopalan氏は、AIの柔軟性を維持しつつ不確実性を排除するため、既存のLLMエンジンに決定論的検証レイヤーを配置するアプローチを採用している。同システムはオープンソースの数学的証明検証言語「LEAN」を活用し、LLMの出力を厳密な論理ルールで検証する。この形式検証の概念は、フランスの税制や社会保障制度をコード化するCATALAプロジェクトなどで実績を有している。Pramaanaは各ユースケースごとに専門家が主導する独自検証フレームワークを構築する。税務分野では元IRS長官のDanny Werfel氏が関わり、サイバーセキュリティや創薬システムについてはIITデリー、IITマドラス、UCバークレーの教授陣が監督に当たっている。 Rajagopalan氏は、世界で最も困難な問題は解けないのではなく未だ形式化されていないと指摘する。健康、資産、自由に関わるドメインには確固たるルールが存在し、それをコード化することで推論を決定論的にできるという。同社のツールは、LLMが自然言語で複雑な課題に対処できる柔軟性と、形式検証がもたらす数学的確定性を両立させることを目指している。この取り組みは、企業のAIパイロット事業を実用的な業務インフラへと移行させる上で、信頼性とコンプライアンスの新たな基準を打ち立てる可能性がある。