Pramaana Labs が Khosla Ventures 主導で$27 million（約43億円） の資金調達を完了し、数学的検証の手法を組み合わせて AI の信頼性を高める技術を開発します。

何が起きたか：Pramaana Labs が Khosla Ventures、Accel、BoldCap、Nexus Venture Partners、Premji Invest、Unbound から$27 million（約43億円） のシード資金を調達しました。同社は従来の LLM（文章を理解・生成する AI）に対して、LEAN プログラミング言語を用いた数学的検証レイヤーを重ねることで、AI の出力の正確性を確認する仕組みを構築します。

なぜ重要か：企業が AI の試験的運用を実際のビジネスに統合する際、幻覚（事実ではない情報を生成すること）やエラーのリスクが大きな課題になっています。法務、医薬品開発、税務申告など誤りが大きな損害につながる分野では、現在の AI だけでは十分な信頼性を確保できず、より強固な保護が求められているとみられます。

注目点：Pramaana は各分野ごとに専門家の監督下で検証システムを構築していきます。税務法については元 IRS 長官 Danny Werfel、サイバーセキュリティと医薬品開発については IIT Delhi、IIT Madras、UC Berkeley の教授たちが関与しています。