# DeepSeek-Prover-V2

> Entity coverage from Web Pulse
> Last updated: 2026-06-13T12:32:05.281290+00:00
> 1 articles mentioning **DeepSeek-Prover-V2**

- [Pythagoras-Prover: Advancing Efficient Formal Proving via Augmented Lean Formalisation](https://wpnews.pro/news/pythagoras-prover-advancing-efficient-formal-proving-via-augmented-lean) — 2026-06-12