Chinese start-up says DeepSeek-V4-Pro beats all rival open models for math and coding.