from Hacker News

DeepSeek-Prover-V2-671B

by dvrp on 4/30/25, 9:03 AM with 3 comments

• by dvrp on 4/30/25, 9:07 AM

  Saw on X that it's about automating mathematical proofs, but I don't know if that's true. I was not able to find a blog-post or GitHub repository yet.

• by dvrp on 4/30/25, 9:27 AM

  seems like it's not a new 671 B behemoth, just the V3 MoE engine with long-context RoPE + FA2, retargeted at theorem proving. see [1,2]:

  [1]: https://arxiv.org/abs/2405.14333

  [2]: https://arxiv.org/abs/2408.08152