動察 Beating 監測によると、AIへの数学的形式化検証を導入することに取り組むスタートアップ企業Pramaana Labsは、2700万ドルのシードラウンド資金調達を完了したと発表した。このラウンドはKhosla Venturesがリードし、Accel、BoldCap、Nexus Venture Partners、Premji Invest、Unboundが出資した。資金は、法律、医薬品開発、税務申告などの高感度かつ誤りを許容しない業界向けに、確定性検証層を構築するために使用される予定だ。
Pramaana Labsのシステムの基盤は依然として従来のLLM（大規模言語モデル）を動作させており、複雑な問題や自然言語の柔軟性を維持しているが、その核心的な革新は、LLMの上に確定性検証メカニズムを構築した点にある。このメカニズムは、数学定理の検証に用いられるオープンソースのLEANプログラミング言語を参考にしており、特定の業界ルールをコード化している。
異なる垂直産業向けにLEANスタイルの形式化検証システムを構築するために、Pramaanaは多くの分野の専門家を招き、監督と後援を受けている。税務分野では、同社は米国国税庁（IRS）の前局長Danny Werfelと協力を開始している。一方、ネットワークセキュリティや医薬品開発システムの分野では、インド工科大学（IIT）デリー校とマドラス校、カリフォルニア大学バークレー校の教授チームが主導している。
779.17K 人気度
1.41M 人気度
58.78K 人気度
868.47K 人気度
995.7K 人気度
AI形式化検証会社Pramaana Labsが2700万ドルのシードラウンド資金調達を実施、LEAN数学証明による幻覚問題の解決を導入
動察 Beating 監測によると、AIへの数学的形式化検証を導入することに取り組むスタートアップ企業Pramaana Labsは、2700万ドルのシードラウンド資金調達を完了したと発表した。このラウンドはKhosla Venturesがリードし、Accel、BoldCap、Nexus Venture Partners、Premji Invest、Unboundが出資した。資金は、法律、医薬品開発、税務申告などの高感度かつ誤りを許容しない業界向けに、確定性検証層を構築するために使用される予定だ。
Pramaana Labsのシステムの基盤は依然として従来のLLM（大規模言語モデル）を動作させており、複雑な問題や自然言語の柔軟性を維持しているが、その核心的な革新は、LLMの上に確定性検証メカニズムを構築した点にある。このメカニズムは、数学定理の検証に用いられるオープンソースのLEANプログラミング言語を参考にしており、特定の業界ルールをコード化している。
異なる垂直産業向けにLEANスタイルの形式化検証システムを構築するために、Pramaanaは多くの分野の専門家を招き、監督と後援を受けている。税務分野では、同社は米国国税庁（IRS）の前局長Danny Werfelと協力を開始している。一方、ネットワークセキュリティや医薬品開発システムの分野では、インド工科大学（IIT）デリー校とマドラス校、カリフォルニア大学バークレー校の教授チームが主導している。