プラマーナ・ラボズ、Khosla Venturesから2700万ドルのシードラウンドを調達しAIに形式検証を導入

プラマーナ・ラボズは、Khosla Venturesが主導する2700万ドルのシードラウンドを発表し、大規模言語モデルの決定論的検証層を開発する計画です。同社はLEANプログラミング言語を用いてAI出力に対し形式的・数学的証明を適用し、法務、税務、薬剤発見などの分野での応用を目指しています。この資金は検証インフラの構築に充てられます。

以下のすべての記事をもとに作成しています。特定の一社によるものではありません。

自動翻訳です。元の記事はそれぞれの言語で書かれています。