deepseek-ai

/

DeepSeek-Prover-V2-671B

like 660

Follow

DeepSeek 63.8k

is that real? where is it come from?

is that real? where is it come from?

The URL is given above the figure :)

Wondering how the performance of DeepSeek-Prover-V2 is compared to the current SotA Kimina-Prover Preview:
https://github.com/MoonshotAI/Kimina-Prover-Preview

catch zhengying here

is that real? where is it come from?

The URL is given above the figure :)

I mistook 1.5 for 2.0 lol