An open-source model on par with DeepSeek v4 has appeared in South Korea