幣界網消息，Claude在與形式化驗證公司Theorem的合作下，為123個開源庫編寫了約1.8億行數學證明，成功找出數百個軟體漏洞。傳統測試依賴隨機數據輸入，無法保證不遺漏錯誤，而這次通過數學證明，Claude試圖從根本上排除特定類型的錯誤。幾週內，Claude完成了239個測試入口的驗證，結果顯示在指定運行環境下，這些程序面對小於64MB的任意輸入，都不會觸發崩潰。證明過程中，Claude還發現並修復了數百個bug，包括內存越界寫入和圖像解碼漏洞等。過去，這類數學驗證極其耗時，例如sel4操作系統內核的數學驗證需耗時約20年。