Pramaana Labs 募得 2700 萬美元種子輪，要把形式驗證帶進 AI

新創 Pramaana Labs 拿下由 Khosla Ventures 領投的 2700 萬美元種子輪，要做的事很硬核：把「形式驗證」帶進 AI。它鎖定的是法律、新藥研發、報稅這類高度敏感的垂直領域——在這些地方，一個錯誤的代價可能極高，可靠性是不能妥協的底線。

形式驗證是什麼？它源自電腦科學，指的是用數學方法嚴格證明一個系統的輸出符合特定規則，而不是靠抽樣測試碰運氣。把這套思路套到 AI 上，目標就是讓模型給出的答案能被某種機制檢驗對錯，而不是讓使用者自己去賭它有沒有在唬爛。對法律、藥物、稅務這些容不得幻覺的場景，「能被驗證為正確」比「聽起來很流暢」重要太多。

這筆投資點到了當前生成式 AI 最痛的一個軟肋：可靠性。大型語言模型最為人詬病的就是會一本正經地胡說，在閒聊裡無傷大雅，但放到攸關權益與安全的專業場景就是災難。Pramaana 想賣的，正是讓 AI 在這些高風險領域「可被信任地使用」的那層保障，而 Khosla 願意領投，說明資本也認同「可驗證性」會是 AI 商業化下一個關鍵戰場。

對台灣的法律科技、生技、財稅服務業者，這個方向很值得追蹤。台灣這些專業領域同樣面臨「想用 AI 提效，又不敢讓它出錯」的兩難，而能對輸出做嚴格把關的技術，正是讓 AI 真正進得了專業工作流的鑰匙。短期內這類工具多半還在早期，但對任何想把 AI 導入高風險業務的團隊，「怎麼驗證它沒亂講」會是繞不開的問題。