我没测试 写了一些业务代码，验证了下逻辑还行,但是这个榜单deepseek-v4pro比kimi K3强这对吗