Claude 快速发现硬件钱包潜伏多年的漏洞，OpenAI 数学证明与 Lean 漏洞争议、Grok 视频分析和 AI 法律误用共同提示：AI 能力越强，越需要可验证流程、权限边界与人类复核。