此情況說明了利用 AI 和確定性驗證來識別漏洞、可利用性並提供風險評估的趨勢。