几周前，我们把CertiK的AI Auditor扔进了火里：在一个生产级别的DeFi合约中隐藏一个真实的、会耗尽资金的漏洞，多次尝试调整它以对抗实时工具，看看你能不能让它悄悄通过。 结果出来了。