DeepSeek-V4-Pro-0813 Publish

I beg you DeepSeek just name it 4.1, you are not going to run out of numbers. While we're at it why don't you also append the git commit hash to the name as well

Supposedly these benchmarks came from Deepseek WeChat group, so grain of salt perhaps:

https://www.reddit.com/r/DeepSeek/comments/1vmhser/benchmark...

I wonder what the price is going to be after the "significant increase" they plan to introduce in the near future.

Some more discussion: https://news.ycombinator.com/item?id=49274600

No vision looks like. Was hoping...