Looks like they will release an updated version of deepseek-v4-pro soon, which most likely will beat kimi k3 at both intelligence and cost (judging by the vast improvements to dsv4 flash)