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
Mastodon is the best way to keep up with what's happening.
Follow anyone across the fediverse and see it all in chronological order. No algorithms, ads, or clickbait in sight.