Model ReleasesDeepSeek releases DeepSeek-Prover-V2, a second-generation open-source theorem prover for Lean 4 that sets new state-of-the-art benchmarks in formal mathematics.over 1 year ago5 min read
