From what I could find, a Samsung official response was that it is not changeable at this time.
However, you can download the WeatherBug app and it will add a temperature number to the lock screen (small and unobtrusive) which forces the clock into a regular HH:MM format. I'm doing that for now.