an ai auditor found a bug from resupply exploit the protocol was audited by two major audit firms, both of which have missed the issue. i was following this ai auditing endeavor called @savantchat so i was interested if it would catch the root cause. it correctly identified the missing checks for zero or extremely large (>1e36) price, but the assessment of what it does was contradictory. in issue 3 it says 0 exchange rate bypasses solvency checks, but in issue 4 it says the same value makes every borrower instantly insolvent. this is still an impressive result and it shows a human auditor working together with an ai tool would've likely caught this issue. hopefully soon we will have ai auditors even as a part of ci pipeline. special thanks to @igorgulamov for running this for me.