Certora 強調在 DeFi 審計中需加強人工監督，儘管 AI 編碼技術不斷發展

根據Bijié Wǎng的報導，Certora首席科學家Mooly Sagiv強調，儘管開發人員日益廣泛使用AI工具進行程式碼生成（根據Stack Overflow 2025的數據，超過50%的開發人員每天使用AI），但在DeFi審計中，人類的監督仍然至關重要。只有3.1%的開發人員對AI的準確性表示高度信任。雖然AI可以提高生產力，但也會加速錯誤的傳播。Certora認為，目前AI審計工具尚無法複製複雜的漏洞場景，而人類的批判性思維在安全審計中仍然是不可或缺的。該公司管理著超過1000億美元的Solana TVL，主張採用結合AI與人類專業知識的混合方法，以達到最佳效果。