DeepSeek-V4-Pro-Base’s pre-trained score reportedly matched on held-out code with 12x less training compute · Digg