ScalafromInfoQ2 months agoDeepSeek Launches Prover-V2 Open-Source LLM for Formal Math ProofsDeepSeek-Prover-V2 is an open-source language model designed for formal theorem proving in Lean 4.