美國新創Theorem投入形式化驗證，強化AI產生程式碼的自動化與可信度

Theorem公司、創辦人Jason Gross、Khosla Ventures、Y Combinator及其他投資人

AI寫程式普及下，如何驗證軟體正確性成為產業關注新焦點

可顯著提升軟體安全與開發效率，減少人工作業並應用於關鍵基礎設施

Theorem將擴充團隊、技術將推向新興產業，驗證技術可望成為業界標準。