DeepSeek V4 Pro 0813 Tops Open Models on ProgramBench Vetted Coding Tasks · Digg