I was wondering if DeepSeek-Prover-V2-671B has been implemented on the web version of DeepSeek. Has anyone heard anything about this?
3 Answers
So, if it's not on the web version, where can you actually use it?
Nope, it looks like they’re not planning to implement it on the web version since it's not a general-purpose language model.
Just to add, I think it’s a version aimed specifically at mathematics, similar to coding models but focused on math instead.
You can find it available on Hugging Face if you want to try it out!