根據 Foresight News 報導，Monad 的 Category Labs 團隊近期分享了對 Monad 區塊鏈進行形式化驗證的結果，揭露了多個安全漏洞，這些漏洞是包括 Claude Opus 4.8 和 Codex 在內的高級 AI 模型在程式碼審查中未能發現的。
發現的錯誤涉及 Monad 非同步執行機制中的 Reserve Balance 設計，以及 MIP-8 存儲優化中未定義的 C++ 行為問題。該團隊展示形式化驗證成功捕捉到這些缺陷，強調在要求 AI 尋找反例之前先定義精確的正確性命題，比直接要求程式碼審查更能有效揭露隱藏漏洞。
