形式検証AIとは？Pramaana Labsが27億円調達、法律・税務・創薬で「間違えないLLM」を狙う理由
インドのPramaana Labsが、Khosla Venturesらから27百万ドル（約42億円）のシードを調達。LLMの出力を数学証明用言語LEANで形式検証する仕組みで、法律・税務・創薬といった「間違いが許されない領域」を狙います。
#リーガルテック の記事一覧（3）
インハウス法務向けAI「Sandstone」とは？HarveyやLegoraと何が違うのかを解説
インハウス法務チーム向けのAIワークフロー自動化を手がけるSandstoneが、Lightspeed Venture Partners主導で3,000万ドルのシリーズAを調達しました。1月にSequoia主導で1,000万ドルのシード調達を実施してからわずか6か月での大型調達で、外部法律事務所向けが主戦場だったリーガルAI市場に「社内法務」という新しい主戦場が立ち上がりつつあります。
AIで弁護士費用は下がらない？UPL規制・敵対的構造・人間の関与という3つのボトルネック
Lawfareに掲載された論考は、GPT-4が司法試験に合格しAIリーダーが知識労働の変革を予言する一方で、米国の法律サービス費用は自動的には下がらないと主張します。米大手法律事務所のパートナー時給は2024年中央値で1,050ドル、一部は2,300ドル超に達し、AI導入だけでは構造的に解消されないと指摘します。