Theorem宣布完成600萬美元融資，推動自動化形式化驗證技術

Theorem公司、Khosla Ventures、Y Combinator、創辦人Jason Gross等

形式化驗證有助解決AI生成程式碼的信任與軟體安全問題，有潛力應用於關鍵基礎設施

可大幅縮短驗證時間並降低人工審查需求，提高企業部署信心

Theorem預計擴充團隊並進軍新興產業，技術驗證將成為AI開發重要關鍵。