一位 AI 審計師發現了來自補給漏洞的錯誤。 該協議由兩家主要的審計公司進行審計，但兩者都錯過了這個問題。我一直在關注這個名為 @savantchat 的 AI 審計項目，因此我對它是否能找到根本原因感到興趣。 它正確識別了缺少對零或極大 (>1e36) 價格的檢查，但對其所做的評估卻存在矛盾。在第 3 期中，它表示 0 的匯率繞過了償付能力檢查，但在第 4 期中，它表示相同的值使每個借款人立即破產。 這仍然是一個令人印象深刻的結果，顯示出人類審計師與 AI 工具合作，可能會發現這個問題。希望不久的將來，我們能在 CI 流程中擁有 AI 審計師。 特別感謝 @igorgulamov 為我運行這個。