{"id":23546,"date":"2025-04-30T17:12:28","date_gmt":"2025-04-30T14:12:28","guid":{"rendered":"https:\/\/forklog.com\/en\/deepseek-unveils-mathematical-ai-model-prover-v2\/"},"modified":"2025-04-30T17:12:28","modified_gmt":"2025-04-30T14:12:28","slug":"deepseek-unveils-mathematical-ai-model-prover-v2","status":"publish","type":"post","link":"https:\/\/forklog.com\/en\/deepseek-unveils-mathematical-ai-model-prover-v2\/","title":{"rendered":"DeepSeek Unveils Mathematical AI Model Prover-V2"},"content":{"rendered":"<p>Chinese AI laboratory DeepSeek has released its new mathematics-oriented AI model, Prover, as open source. This was reported by <a href=\"https:\/\/www.scmp.com\/tech\/tech-trends\/article\/3308566\/deepseek-quietly-updates-open-source-model-handles-maths-proofs?utm_source=twitter&#038;utm_campaign=3308566&#038;utm_medium=share_widget\">SCMP<\/a>.\u00a0<\/p>\n<p>Prover-V2, available on Hugging Face without official announcements, is an update to Prover-V1.5, which debuted in August\u2014several months before the <a href=\"https:\/\/forklog.com\/en\/news\/deepseek-the-new-ai-front-runner-and-culprit-behind-cryptos-sell-off\">high-profile release of R1<\/a>. At that time, the company described the product as a model for formal theorem proving and mathematical reasoning.<\/p>\n<p>The Prover series consists of specific <span data-descr=\"large language models\" class=\"old_tooltip\">LLM<\/span> focused on mathematics. Details about the new tool have not been disclosed. Based on the uploaded files, it is built on <a href=\"https:\/\/forklog.com\/en\/news\/chinese-startup-deepseek-unveils-ai-model-surpassing-meta-and-openai\">DeepSeek V3<\/a>, which has 671 billion parameters and uses a Mixture-of-Experts (MoE) architecture.\u00a0<\/p>\n<p>The release of DeepSeek came a day after Chinese tech giant Alibaba <a href=\"https:\/\/forklog.com\/en\/news\/alibaba-unveils-hybrid-ai-models-qwen3\">introduced<\/a> a new family of AI models, Qwen3.<\/p>\n<p>In March, DeepSeek <a href=\"https:\/\/forklog.com\/en\/news\/deepseek-enhances-ai-model-v3\">released a major update<\/a> for V3, enhancing reasoning, programming, and writing capabilities.\u00a0<\/p>\n<p>Previously, the company <a href=\"https:\/\/forklog.com\/en\/news\/chinese-authorities-impose-restrictions-on-deepseek-employees\">attracted attention<\/a> from Chinese authorities. Employees are now working under stricter conditions.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Chinese AI laboratory DeepSeek has released its new mathematics-oriented AI model, Prover, as open source. This was reported by SCMP.\u00a0 Prover-V2, available on Hugging Face without official announcements, is an update to Prover-V1.5, which debuted in August\u2014several months before the high-profile release of R1. At that time, the company described the product as a model [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":23545,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"select":"","news_style_id":"","cryptorium_level":"","_short_excerpt_text":"","creation_source":"","_metatest_mainpost_news_update":false,"footnotes":""},"categories":[3],"tags":[438,1743],"class_list":["post-23546","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-news-and-analysis","tag-artificial-intelligence","tag-deepseek"],"aioseo_notices":[],"amp_enabled":true,"views":"25","promo_type":"","layout_type":"","short_excerpt":"","is_update":"","_links":{"self":[{"href":"https:\/\/forklog.com\/en\/wp-json\/wp\/v2\/posts\/23546","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/forklog.com\/en\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/forklog.com\/en\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/forklog.com\/en\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/forklog.com\/en\/wp-json\/wp\/v2\/comments?post=23546"}],"version-history":[{"count":0,"href":"https:\/\/forklog.com\/en\/wp-json\/wp\/v2\/posts\/23546\/revisions"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/forklog.com\/en\/wp-json\/wp\/v2\/media\/23545"}],"wp:attachment":[{"href":"https:\/\/forklog.com\/en\/wp-json\/wp\/v2\/media?parent=23546"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/forklog.com\/en\/wp-json\/wp\/v2\/categories?post=23546"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/forklog.com\/en\/wp-json\/wp\/v2\/tags?post=23546"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}