一位人工智能审计师发现了来自补给漏洞的错误。 该协议由两家主要审计公司进行审计，但都未能发现这个问题。我一直在关注一个名为 @savantchat 的人工智能审计项目，因此我很想知道它是否能找到根本原因。 它正确识别了缺失的零或极大（>1e36）价格检查，但对其所做的评估却存在矛盾。在第3个问题中，它表示0汇率绕过了偿付能力检查，但在第4个问题中，它表示同样的值使每个借款人瞬间破产。 这仍然是一个令人印象深刻的结果，表明人类审计师与人工智能工具合作，很可能会发现这个问题。希望不久的将来，我们能在持续集成管道中看到人工智能审计师的身影。 特别感谢 @igorgulamov 为我进行这项工作。