As DeepSeek releases its first major new artificial intelligence model in over a year—DeepSeek-V4—here are five things to ...