deepseek v4 pro就是训练失败了吗？ 
如题，现在的问题是：8.13凌晨发布的“deepseek v4 pro-0813”，和之前的“deepseek v4 pro preview”是一个模型吗？如果不是一个，那么这个版本就是正式版——也就是确实训练失败了？