Chinese startup says DeepSeek-V4-Pro beats all rival open models for maths and coding. Read the article here