#deepseekproverv2 — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #deepseekproverv2, aggregated by home.social.
-
Introducing #DeepSeekProverV2 - a new #opensource #LLM designed for formal theorem proving in Lean 4.
The model builds on a recursive #TheoremProving pipeline powered by the company's DeepSeek-V3 foundation model.
Learn more: https://bit.ly/3ZlTt7h