Microsoft’s using AI to fix security issues faster.