KeyShot uses the sRGB color profile internally.
The color profile set in the Preferences is only applied to the Real-time View to ensure the color output is correct on your screen.
It is important to note that the rendering is not done in the Adobe RGB. When the color profile is set in Prefererences, the Real-time View output is just translated from sRGB to Adobe RGB to ensure the colors look correct on your screen.
The rendering result will still be in sRGB and is directly saved to the output file as sRGB without applying the color profile.
Since sRGB is a widely used color profile for web applications this is sufficient for most users. And since it’s a widely use color profile, most image editing applications are able to translate from sRGB to Adobe RGB for further editing.