拥有顶尖的SR团队对构建AI审计系统至关重要。推理LLM存在弱点——例如，它们没有区块链状态的内部世界模型。没有SR的专业知识和创新设计，你的AI只能发现微不足道的错误。

审计的最佳方法是构建整个代码库的“心理解释器”，这样你就可以在脑海中运行它。这可能需要几周的时间。但随后错误会自动浮现出来。你可能会在早上醒来时脑海中想到一个新的错误。