https://www.infoq.com InfoQ Theorem Prover News feed https://www.infoq.com/news/2025/05/deepseek-prover-v2-formal-proof/?utm_campaign=infoq_content&utm_source=infoq&utm_medium=feed&utm_term=Theorem+Prover-news <img src="https://res.infoq.com/news/2025/05/deepseek-prover-v2-formal-proof/en/headerimage/generatedHeaderImage-1746998083329.jpg"/><p>DeepSeek has released DeepSeek-Prover-V2, a new open-source large language model specifically designed for formal theorem proving in Lean 4. The model builds on a recursive theorem proving pipeline powered by the company's DeepSeek-V3 foundation model.</p> <i>By Vinod Goje</i> Generative AI Theorem Prover Deep Learning Natural Language Processing AI Architecture Language Workbench Machine Learning AI, ML & Data Engineering news Mon, 12 May 2025 01:36:00 GMT https://www.infoq.com/news/2025/05/deepseek-prover-v2-formal-proof/?utm_campaign=infoq_content&utm_source=infoq&utm_medium=feed&utm_term=Theorem+Prover-news Vinod Goje 2025-05-12T01:36:00Z /news/2025/05/deepseek-prover-v2-formal-proof/en