#LEAN の記事一覧（1）

形式検証AIとは？Pramaana Labsが27億円調達、法律・税務・創薬で「間違えないLLM」を狙う理由

インドのPramaana Labsが、Khosla Venturesらから27百万ドル（約42億円）のシードを調達。LLMの出力を数学証明用言語LEANで形式検証する仕組みで、法律・税務・創薬といった「間違いが許されない領域」を狙います。