{"id":6382,"date":"2025-05-01T10:29:02","date_gmt":"2025-05-01T10:29:02","guid":{"rendered":"https:\/\/www.myshirtai.com\/archives\/6382"},"modified":"2025-05-01T10:29:02","modified_gmt":"2025-05-01T10:29:02","slug":"deepseek%e5%8f%91%e5%b8%83prover-v2%e6%a8%a1%e5%9e%8b%ef%bc%9a671b%e5%8f%82%e6%95%b0%e5%8a%a9%e5%8a%9b%e6%95%b0%e5%ad%a6%e5%ae%9a%e7%90%86%e8%af%81%e6%98%8e","status":"publish","type":"post","link":"https:\/\/www.myshirtai.com\/en\/archives\/6382","title":{"rendered":"DeepSeek Releases Prover-V2 Model: 671B Parameters to Boost Math Theorem Proving"},"content":{"rendered":"<p>During May Day, DeepSeek once again brought heavy news to the AI field - open-sourcing the new DeepSeek-Prover-V2 model. Despite recent rumors circulating on the web about the imminent release of DeepSeek-R2, DeepSeek went ahead and released this powerful model focusing on mathematical theorem proving, and continues to uphold its usual open source spirit.<\/p>\n\n\n\n<h2 class=\"wp-block-heading\" id=\"h-\u4e24\u6b3e\u5f3a\u5927\u6a21\u578b\u540c\u6b65\u5f00\u6e90\">Two powerful models synchronized open source<\/h2>\n\n\n\n<p>This time DeepSeek open-sourced two versions of the DeepSeek-Prover-V2 model.<\/p>\n\n\n\n<ul class=\"wp-block-list\">\n<li><strong>DeepSeek-Prover-V2-671B<\/strong>: Built on DeepSeek-V3-Base, with 671 billion parameters, currently the king of performance in theorem proving<\/li>\n\n\n\n<li><strong>DeepSeek-Prover-V2-7B<\/strong>: Built on DeepSeek-Prover-V1.5-Base, with 7 billion parameters and support for context lengths up to 32K tokens<\/li>\n<\/ul>\n\n\n\n<figure class=\"wp-block-image size-full\"><img decoding=\"async\" src=\"https:\/\/school.myshirtai.com\/wp-content\/uploads\/2025\/05\/image-1.png\" alt=\"\" class=\"wp-image-423\"\/><\/figure>\n\n\n\n<p>Both models have been officially released on Hugging Face:<\/p>\n\n\n\n<ul class=\"wp-block-list\">\n<li><strong>DeepSeek-Prover-V2-7B. <\/strong><a href=\"https:\/\/huggingface.co\/deepseek-ai\/DeepSeek-Prover-V2-7B\">https:\/\/huggingface.co\/deepseek-ai\/DeepSeek-Prover-V2-7B<\/a><\/li>\n\n\n\n<li><strong>DeepSeek-Prover-V2-671B. <\/strong><a href=\"https:\/\/huggingface.co\/deepseek-ai\/DeepSeek-Prover-V2-671B\">https:\/\/huggingface.co\/deepseek-ai\/DeepSeek-Prover-V2-671B<\/a><\/li>\n<\/ul>\n\n\n\n<h2 class=\"wp-block-heading\" id=\"h-\u4ec0\u4e48\u662fdeepseek-prover-v2\">What is DeepSeek-Prover-V2?<\/h2>\n\n\n\n<p>DeepSeek-Prover-V2 is an open-source large-language model for Lean 4, a \"Mathematical AI Programming Language\", focusing on formal theorem proving. Simply put, it can transform abstract mathematical theorems into rigorous computer-verifiable proofs, bringing a revolutionary tool for mathematical research.<\/p>\n\n\n\n<p>Its best feature is its ability to seamlessly combine non-formal mathematical reasoning (i.e., commonly used by humans) with rigorous formal proofs, so that the model can think as flexibly as a human being and argue as rigorously as a computer, realizing an integrated fusion of mathematical reasoning.<\/p>\n\n\n\n<figure class=\"wp-block-image size-full\"><img decoding=\"async\" src=\"https:\/\/school.myshirtai.com\/wp-content\/uploads\/2025\/05\/image.png\" alt=\"\" class=\"wp-image-422\"\/><\/figure>\n\n\n\n<h2 class=\"wp-block-heading\" id=\"h-\u60ca\u4eba\u6027\u80fd-\u5237\u65b0\u591a\u9879\u8bb0\u5f55\">Amazing performance: setting many records<\/h2>\n\n\n\n<p>DeepSeek-Prover-V2-671B shows unprecedented strength in various benchmarks of theorem proving:<\/p>\n\n\n\n<ul class=\"wp-block-list\">\n<li>Achieved an all-time high pass rate of 88.9% on the MiniF2F test set<\/li>\n\n\n\n<li>Successfully solved 49 out of 658 questions in PutnamBench dataset<\/li>\n\n\n\n<li>Also excelled on difficult math competition problems such as AIME 24 and 25<\/li>\n<\/ul>\n\n\n\n<p>Many netizens tested the model and said that it was even more capable of solving complex math problems than top models such as OpenAI's o4-mini and XAI's Grok-3. Some students who delved into the Math Olympiad exclaimed, \"The Olympiad has never been this easy!\"<\/p>\n\n\n\n<figure class=\"wp-block-image size-full\"><img decoding=\"async\" src=\"https:\/\/school.myshirtai.com\/wp-content\/uploads\/2025\/05\/image-4.png\" alt=\"\" class=\"wp-image-427\"\/><\/figure>\n\n\n\n<h2 class=\"wp-block-heading\" id=\"h-\u6280\u672f\u521b\u65b0-\u9012\u5f52\u4e0e\u5f3a\u5316\u5b66\u4e60\u7ed3\u5408\">Technological innovation: combining recursive and reinforcement learning<\/h2>\n\n\n\n<p>In the technical report, DeepSeek team reveals the core training methodology of Prover-V2, which is based on an innovative combination of \"recursive + reinforcement learning\". The model training process is divided into several key steps:<\/p>\n\n\n\n<h3 class=\"wp-block-heading\" id=\"h-1-\u901a\u8fc7\u5b50\u76ee\u6807\u5206\u89e3\u5b9e\u73b0\u9012\u5f52\u5f0f\u8bc1\u660e\u641c\u7d22\">1. Recursive proof search through subgoal decomposition<\/h3>\n\n\n\n<p>DeepSeek-Prover-V2 employs a similar way of thinking to that of a human mathematician - breaking down complex theorems into a series of smaller lemmas to prove them. The specific implementation process includes:<\/p>\n\n\n\n<ul class=\"wp-block-list\">\n<li>DeepSeek-V3 is first prompted to generate proof sketches in natural language form and formalize them into theorem statements in Lean language<\/li>\n\n\n\n<li>The decomposed subgoals are then solved recursively using the 7B proof model<\/li>\n\n\n\n<li>Finally the proofs of these subgoals are combined to construct a complete formal proof of the original complex problem<\/li>\n<\/ul>\n\n\n\n<p>This approach not only improves the efficiency of the proof, but also extends the range of theorems that the model can handle.<\/p>\n\n\n\n<figure class=\"wp-block-image size-full\"><img decoding=\"async\" src=\"https:\/\/school.myshirtai.com\/wp-content\/uploads\/2025\/05\/image-2.png\" alt=\"\" class=\"wp-image-424\"\/><\/figure>\n\n\n\n<h3 class=\"wp-block-heading\" id=\"h-2-\u7edf\u4e00\u975e\u5f62\u5f0f\u5316\u63a8\u7406\u4e0e\u5f62\u5f0f\u5316\u8bc1\u660e\">2. Harmonizing non-formal reasoning with formal proofs<\/h3>\n\n\n\n<p>The DeepSeek team skillfully blends high-level natural language reasoning with low-level exact proof processes:<\/p>\n\n\n\n<ul class=\"wp-block-list\">\n<li>Pick problems that are particularly difficult to solve and break them down into smaller goals<\/li>\n\n\n\n<li>When the mini-goals are each proved, they are combined into a complete rigorous proof<\/li>\n\n\n\n<li>Add this complete proof to the \"thought chain\" generated by DeepSeek-V3 to form training data that combines human thought and machine verification.<\/li>\n<\/ul>\n\n\n\n<p>In this way, the team collected hundreds of high-quality training data, providing a solid learning foundation for the model.<\/p>\n\n\n\n<figure class=\"wp-block-image size-full\"><img decoding=\"async\" src=\"https:\/\/school.myshirtai.com\/wp-content\/uploads\/2025\/05\/image-5.png\" alt=\"\" class=\"wp-image-428\"\/><\/figure>\n\n\n\n<h3 class=\"wp-block-heading\" id=\"h-3-\u5f3a\u5316\u5b66\u4e60\u63d0\u5347\u63a8\u7406\u80fd\u529b\">3. Enhanced learning to improve reasoning<\/h3>\n\n\n\n<p>After initial fine-tuning, the team introduced the Group Relative Policy Optimization (GRPO) reinforcement learning algorithm:<\/p>\n\n\n\n<ul class=\"wp-block-list\">\n<li>Sampling multiple candidate proofs for each question and optimizing the strategy by relative rewards<\/li>\n\n\n\n<li>Using a binary reward mechanism: Lean validation scores 1 for success and 0 for failure<\/li>\n\n\n\n<li>The structural consistency bonus is specifically designed to ensure that the model-generated proofs are consistent with the chain-of-thought decomposition idea<\/li>\n<\/ul>\n\n\n\n<p>This training method greatly improves the accuracy of the model in complex theorem proving.<\/p>\n\n\n\n<figure class=\"wp-block-image size-full\"><img decoding=\"async\" src=\"https:\/\/school.myshirtai.com\/wp-content\/uploads\/2025\/05\/image-3.png\" alt=\"\" class=\"wp-image-425\"\/><\/figure>\n\n\n\n<h2 class=\"wp-block-heading\" id=\"h-proverbench-\u5168\u65b0\u7684\u6570\u5b66\u57fa\u51c6\u6d4b\u8bd5\u96c6\">ProverBench: a new set of math benchmarks<\/h2>\n\n\n\n<p>In addition to the model itself, DeepSeek has released ProverBench - a benchmark dataset of 325 questions:<\/p>\n\n\n\n<ul class=\"wp-block-list\">\n<li>15 questions from number theory and algebra topics from the latest math competitions such as AIME 24 and 25<\/li>\n\n\n\n<li>310 questions selected from textbook examples and instructional tutorials, covering a wide range of difficulty levels and domains<\/li>\n<\/ul>\n\n\n\n<p>This dataset is intended to provide a comprehensive evaluation of models at both the high school competition and undergraduate math levels, providing a more systematic test bed for math AI research.<\/p>\n\n\n\n<p>ProverBench Link:<a href=\"https:\/\/huggingface.co\/datasets\/deepseek-ai\/DeepSeek-ProverBench\">https:\/\/huggingface.co\/datasets\/deepseek-ai\/DeepSeek-ProverBench<\/a><\/p>\n\n\n\n<h2 class=\"wp-block-heading\" id=\"h-\u5b9e\u9a8c\u7ed3\u679c\u4e0e\u4eae\u70b9\u53d1\u73b0\">Experimental Results and Highlighted Findings<\/h2>\n\n\n\n<p>During the course of the study, the team discovered several interesting phenomena:<\/p>\n\n\n\n<h3 class=\"wp-block-heading\" id=\"h-cot-vs-non-cot\u6a21\u5f0f\">CoT vs. non-CoT models<\/h3>\n\n\n\n<p>DeepSeek-Prover-V2 supports two complementary modes of proof generation:<\/p>\n\n\n\n<ul class=\"wp-block-list\">\n<li><strong>Highly efficient non-CoT (non-Chain of Thought) model<\/strong>: Fast generation of lean Lean code without intermediate inference steps<\/li>\n\n\n\n<li><strong>High-precision Chain of Thought (CoT) model<\/strong>: systematizing the process of expressing reasoning and gradually constructing logically clear proofs<\/li>\n<\/ul>\n\n\n\n<p>Experiments show that the CoT model has a significant performance advantage over the non-CoT model in formal mathematical reasoning, confirming the effectiveness of chain-of-thinking hints in the field of theorem proving.<\/p>\n\n\n\n<h3 class=\"wp-block-heading\" id=\"h-\u5c0f\u6a21\u578b\u7684\u610f\u5916\u80fd\u529b\">Unexpected capabilities of small models<\/h3>\n\n\n\n<p>Surprisingly, DeepSeek-Prover-V2-7B demonstrated the ability to exceed expectations when using the non-CoT model on the PutnamBench dataset. It even solved 13 questions that the 671B model failed to solve!<\/p>\n\n\n\n<p>The analysis revealed that the 7B model acquired a unique technique - the frequent use of Cardinal.toNat and Cardinal.natCast_inj for problems involving finite bases - that is rare in the 671B model. This finding suggests that reinforcement learning not only improves overall performance, but also allows the model to develop specialized problem-solving techniques.<\/p>\n\n\n\n<h2 class=\"wp-block-heading\" id=\"h-\u5feb\u901f\u4e0a\u624b\u6307\u5357\">Quick Start Guide<\/h2>\n\n\n\n<p>Want to try DeepSeek-Prover-V2? Here's a simple example showing how to use Hugging Face's Transformers library for model inference:<\/p>\n\n\n\n<div class=\"wp-block-code\"><div class=\"xhcode-toolbar\"><i class=\"xhcode-icon-codesvg\"><\/i><span>PHP<\/span><\/div><pre><code lang=\"php\" class=\"language-php\">from transformers import AutoModelForCausalLM, AutoTokenizer\nimport torch\n\ntorch.manual_seed(30)\nmodel_id = \"deepseek-ai\/DeepSeek-Prover-V2-7B\" # or deepseek-ai\/DeepSeek-Prover-V2-671B\ntokenizer = AutoTokenizer.from_pretrained(model_id)\n\nformal_statement = \"\"\"\nimport Mathlib\nimport Aesop\nset_option maxHeartbeats 0\nopen BigOperators Real Nat Topology Rat\n\/-- What is the positive difference between $120\\%$ of 30 and $130\\%$ of 20? Show that it is 10.-\/\ntheorem mathd_algebra_10 : abs ((120 : \u211d) \/ 100 * 30 - 130 \/ 100 * 20) = 10 := by\n    sorry\n\"\"\".strip()\n\nprompt = \"\"\"\nComplete the following Lean 4 code.\n ``lean4\n{}<\/code><\/pre><\/div>\n\n\n\n<h2 class=\"wp-block-heading\" id=\"h-\u672a\u6765\u5c55\u671b\">future outlook<\/h2>\n\n\n\n<p>The DeepSeek team says that future work will focus on extending this framework to AlphaProof-like systems. The ultimate goal is to solve IMO-level mathematical puzzles that represent the cutting edge of the automated theorem proving field. With the release of DeepSeek-Prover-V2, we may be witnessing a major change in the way math is studied. More than just a technological advancement, this model represents a new paradigm for humans to collaborate with AI to solve complex problems.<br><br>At the same time, the anticipation for DeepSeek-R2 has grown stronger. As one netizen said, \"Knock knock this little blue whale, when the hell is R2 going to be sent out!\"<\/p>\n\n\n\n<p><strong>If you want to use GPT Plus, Claude Pro, Grok Super official paid exclusive account, you can contact our professional team (wx: abch891) if you don't know how to recharge yourself.<\/strong><\/p>\n\n\n\n<table style=\"width: 100%;border-collapse: collapse;border: 1px solid #ddd\">\n<thead>\n<tr style=\"height: 48px;background-color: #f5f5f5\">\n<th style=\"width: 50%;height: 48px;border: 1px solid #ddd;padding: 8px\">\n<h4 style=\"margin: 0\">For more products, please check out<\/h4>\n<\/th>\n<th style=\"width: 50%;height: 48px;border: 1px solid #ddd;padding: 8px\">\n<h4 style=\"margin: 0\">See more at<\/h4>\n<\/th>\n<\/tr>\n<\/thead>\n<tbody>\n<tr style=\"height: 63px\">\n<td style=\"width: 50%;height: 63px;border: 1px solid #ddd;padding: 8px\"><a href=\"https:\/\/www.myshirtai.com\/en\/\" data-linktype=\"2\">ShirtAI - Penetrating Intelligence<\/a><\/td>\n<td style=\"width: 50%;height: 63px;border: 1px solid #ddd;padding: 8px\"><a href=\"https:\/\/www.myshirtai.com\/en\/archives\/4425\/\" data-linktype=\"2\">The AIGC Big Model: ushering in an era of dual revolution in engineering and science - Penetrating Intelligence<\/a><\/td>\n<\/tr>\n<tr style=\"height: 61px\">\n<td style=\"width: 50%;height: 61px;border: 1px solid #ddd;padding: 8px\"><a href=\"https:\/\/www.myshirtai.com\/en\/\" data-linktype=\"2\">1:1 Restoration of Claude and GPT Official Website - AI Cloud Native<\/a><\/td>\n<td style=\"width: 50%;height: 61px;border: 1px solid #ddd;padding: 8px\"><a href=\"https:\/\/www.bluelsqkj.com\/archives\/2876\" data-linktype=\"2\">Live Match App Global HD Sports Viewing Player (Recommended) - BlueShirt.com<\/a><\/td>\n<\/tr>\n<tr style=\"height: 54px\">\n<td style=\"width: 50%;height: 54px;border: 1px solid #ddd;padding: 8px\"><a href=\"https:\/\/api.mygptmeta.com\/\" data-linktype=\"2\">Transit service based on official API - GPTMeta API<\/a><\/td>\n<td style=\"width: 50%;height: 54px;border: 1px solid #ddd;padding: 8px\"><a href=\"https:\/\/www.zhihu.com\/question\/621055223\/answer\/3633615705\" data-linktype=\"2\">Help, can anyone of you provide some tips on how to ask questions on GPT? - Knowing<\/a><\/td>\n<\/tr>\n<tr style=\"height: 70px\">\n<td style=\"width: 50%;height: 70px;border: 1px solid #ddd;padding: 8px\"><a href=\"https:\/\/shop.blueshirtmap.com\/\" data-linktype=\"2\">Global Virtual Goods Digital Store - Global SmarTone (Feng Ling Ge)<\/a><\/td>\n<td style=\"width: 50%;height: 70px;border: 1px solid #ddd;padding: 8px\"><a href=\"https:\/\/www.bilibili.com\/video\/BV1efpneYE54\/?spm_id_from=333.1387.homepage.video_card.click\" data-linktype=\"2\">How powerful is Claude airtfacts feature that GPT instantly doesn't smell good? -BeepBeep<\/a><\/td>\n<\/tr>\n<\/tbody>\n<\/table>","protected":false},"excerpt":{"rendered":"<p>DeepSeek open-sourced the DeepSeek-Prover2 model designed for math proofs on May 1, containing 671 billion parameters and a 7 billion parameter version. The model uses a combination of recursion and reinforcement learning to perform well in several math tests, such as the MiniFF test with a pass rate of 88.9%. The ProBench dataset released at the same time contains 325 questions to evaluate the model's capabilities. Experiments have found that the Chain of Thought model significantly proves accuracy, and the mini-model even outperforms the model on specific problems. The model has been Hugging Face, supporting a new paradigm in math research.<\/p>","protected":false},"author":1,"featured_media":6381,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"_uag_custom_page_level_css":"","site-sidebar-layout":"default","site-content-layout":"","ast-site-content-layout":"","site-content-style":"default","site-sidebar-style":"default","ast-global-header-display":"","ast-banner-title-visibility":"","ast-main-header-display":"","ast-hfb-above-header-display":"","ast-hfb-below-header-display":"","ast-hfb-mobile-header-display":"","site-post-title":"","ast-breadcrumbs-content":"","ast-featured-img":"","footer-sml-layout":"","theme-transparent-header-meta":"","adv-header-id-meta":"","stick-header-meta":"","header-above-stick-meta":"","header-main-stick-meta":"","header-below-stick-meta":"","astra-migrate-meta-layouts":"default","ast-page-background-enabled":"default","ast-page-background-meta":{"desktop":{"background-color":"var(--ast-global-color-4)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-opacity":"","overlay-gradient":""},"tablet":{"background-color":"","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-opacity":"","overlay-gradient":""},"mobile":{"background-color":"","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-opacity":"","overlay-gradient":""}},"ast-content-background-meta":{"desktop":{"background-color":"var(--ast-global-color-5)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-opacity":"","overlay-gradient":""},"tablet":{"background-color":"var(--ast-global-color-5)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-opacity":"","overlay-gradient":""},"mobile":{"background-color":"var(--ast-global-color-5)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-opacity":"","overlay-gradient":""}},"footnotes":""},"categories":[53],"tags":[58,59],"class_list":["post-6382","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-blog","tag-theorem-proving","tag-mathematical-ai"],"yoast_head":"<!-- This site is optimized with the Yoast SEO Premium plugin v22.3 (Yoast SEO v25.2) - https:\/\/yoast.com\/wordpress\/plugins\/seo\/ -->\n<title>DeepSeek\u53d1\u5e03Prover-V2\u6a21\u578b\uff1a671B\u53c2\u6570\u52a9\u529b\u6570\u5b66\u5b9a\u7406\u8bc1\u660e - \u6e17\u900f\u667a\u80fd<\/title>\n<meta name=\"robots\" content=\"index, follow, max-snippet:-1, max-image-preview:large, max-video-preview:-1\" \/>\n<link rel=\"canonical\" href=\"https:\/\/www.myshirtai.com\/en\/archives\/6382\/\" \/>\n<meta property=\"og:locale\" content=\"en_US\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"DeepSeek\u53d1\u5e03Prover-V2\u6a21\u578b\uff1a671B\u53c2\u6570\u52a9\u529b\u6570\u5b66\u5b9a\u7406\u8bc1\u660e\" \/>\n<meta property=\"og:description\" content=\"DeepSeek\u5728\u4e94\u4e00\u671f\u95f4\u5f00\u6e90\u4e86\u4e13\u4e3a\u6570\u5b66\u8bc1\u660e\u8bbe\u8ba1\u7684DeepSeek-Prover2\u6a21\u578b\uff0c\u5305\u542b6710\u4ebf\u53c2\u6570\u548c70\u4ebf\u53c2\u6570\u7248\u672c\u3002\u8be5\u6a21\u578b\u91c7\u7528\u9012\u5f52\u4e0e\u5f3a\u5316\u5b66\u4e60\u7ed3\u5408\u7684\u6280\u672f\u5728\u591a\u9879\u6570\u5b66\u6d4b\u8bd5\u4e2d\u8868\u73b0\u4f18\u5f02\uff0c\u5982MiniFF\u6d4b\u8bd5\u901a\u8fc7\u7387\u8fbe88.9%\u3002\u540c\u65f6\u53d1\u5e03\u7684ProBench\u6570\u636e\u96c6\u5305\u542b325\u9053\u9898\u76ee\uff0c\u8bc4\u4f30\u6a21\u578b\u80fd\u529b\u3002\u5b9e\u9a8c\u53d1\u73b0\u601d\u7ef4\u94fe\u6a21\u5f0f\u80fd\u663e\u8457\u8bc1\u660e\u51c6\u786e\u7387\uff0c\u5c0f\u6a21\u578b\u5728\u7279\u5b9a\u95ee\u9898\u4e0a\u751a\u81f3\u8d85\u8d8a\u6a21\u578b\u3002\u6a21\u578b\u5df2\u5728Hugging Face\uff0c\u652f\u6301\u6570\u5b66\u7814\u7a76\u65b0\u8303\u5f0f\u3002\" \/>\n<meta property=\"og:url\" content=\"https:\/\/www.myshirtai.com\/en\/archives\/6382\/\" \/>\n<meta property=\"og:site_name\" content=\"\u6e17\u900f\u667a\u80fd\" \/>\n<meta property=\"article:published_time\" content=\"2025-05-01T10:29:02+00:00\" \/>\n<meta property=\"og:image\" content=\"https:\/\/www.myshirtai.com\/wp-content\/uploads\/2025\/05\/maxresdefault.jpg\" \/>\n\t<meta property=\"og:image:width\" content=\"1280\" \/>\n\t<meta property=\"og:image:height\" content=\"720\" \/>\n\t<meta property=\"og:image:type\" content=\"image\/jpeg\" \/>\n<meta name=\"author\" content=\"IvesFeng666\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<meta name=\"twitter:label1\" content=\"Written by\" \/>\n\t<meta name=\"twitter:data1\" content=\"IvesFeng666\" \/>\n\t<meta name=\"twitter:label2\" content=\"Est. reading time\" \/>\n\t<meta name=\"twitter:data2\" content=\"2 minutes\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\/\/schema.org\",\"@graph\":[{\"@type\":\"Article\",\"@id\":\"https:\/\/www.myshirtai.com\/archives\/6382#article\",\"isPartOf\":{\"@id\":\"https:\/\/www.myshirtai.com\/archives\/6382\"},\"author\":{\"name\":\"IvesFeng666\",\"@id\":\"https:\/\/www.myshirtai.com\/#\/schema\/person\/793ffae65b0212a937f22250e83b51e2\"},\"headline\":\"DeepSeek\u53d1\u5e03Prover-V2\u6a21\u578b\uff1a671B\u53c2\u6570\u52a9\u529b\u6570\u5b66\u5b9a\u7406\u8bc1\u660e\",\"datePublished\":\"2025-05-01T10:29:02+00:00\",\"mainEntityOfPage\":{\"@id\":\"https:\/\/www.myshirtai.com\/archives\/6382\"},\"wordCount\":142,\"commentCount\":0,\"publisher\":{\"@id\":\"https:\/\/www.myshirtai.com\/#organization\"},\"image\":{\"@id\":\"https:\/\/www.myshirtai.com\/archives\/6382#primaryimage\"},\"thumbnailUrl\":\"https:\/\/www.myshirtai.com\/wp-content\/uploads\/2025\/05\/maxresdefault.jpg\",\"keywords\":[\"\u5b9a\u7406\u8bc1\u660e\",\"\u6570\u5b66AI\"],\"articleSection\":[\"\u535a\u5ba2\"],\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"CommentAction\",\"name\":\"Comment\",\"target\":[\"https:\/\/www.myshirtai.com\/archives\/6382#respond\"]}]},{\"@type\":\"WebPage\",\"@id\":\"https:\/\/www.myshirtai.com\/archives\/6382\",\"url\":\"https:\/\/www.myshirtai.com\/archives\/6382\",\"name\":\"DeepSeek\u53d1\u5e03Prover-V2\u6a21\u578b\uff1a671B\u53c2\u6570\u52a9\u529b\u6570\u5b66\u5b9a\u7406\u8bc1\u660e - \u6e17\u900f\u667a\u80fd\",\"isPartOf\":{\"@id\":\"https:\/\/www.myshirtai.com\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\/\/www.myshirtai.com\/archives\/6382#primaryimage\"},\"image\":{\"@id\":\"https:\/\/www.myshirtai.com\/archives\/6382#primaryimage\"},\"thumbnailUrl\":\"https:\/\/www.myshirtai.com\/wp-content\/uploads\/2025\/05\/maxresdefault.jpg\",\"datePublished\":\"2025-05-01T10:29:02+00:00\",\"breadcrumb\":{\"@id\":\"https:\/\/www.myshirtai.com\/archives\/6382#breadcrumb\"},\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\/\/www.myshirtai.com\/archives\/6382\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\/\/www.myshirtai.com\/archives\/6382#primaryimage\",\"url\":\"https:\/\/www.myshirtai.com\/wp-content\/uploads\/2025\/05\/maxresdefault.jpg\",\"contentUrl\":\"https:\/\/www.myshirtai.com\/wp-content\/uploads\/2025\/05\/maxresdefault.jpg\",\"width\":1280,\"height\":720},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\/\/www.myshirtai.com\/archives\/6382#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"\u9996\u9875\",\"item\":\"https:\/\/www.myshirtai.com\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"DeepSeek\u53d1\u5e03Prover-V2\u6a21\u578b\uff1a671B\u53c2\u6570\u52a9\u529b\u6570\u5b66\u5b9a\u7406\u8bc1\u660e\"}]},{\"@type\":\"WebSite\",\"@id\":\"https:\/\/www.myshirtai.com\/#website\",\"url\":\"https:\/\/www.myshirtai.com\/\",\"name\":\"\u6e17\u900f\u667a\u80fd\",\"description\":\"ShirtAI\",\"publisher\":{\"@id\":\"https:\/\/www.myshirtai.com\/#organization\"},\"alternateName\":\"ShirtAI\",\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":{\"@type\":\"EntryPoint\",\"urlTemplate\":\"https:\/\/www.myshirtai.com\/?s={search_term_string}\"},\"query-input\":{\"@type\":\"PropertyValueSpecification\",\"valueRequired\":true,\"valueName\":\"search_term_string\"}}],\"inLanguage\":\"en-US\"},{\"@type\":\"Organization\",\"@id\":\"https:\/\/www.myshirtai.com\/#organization\",\"name\":\"ShirtAI\",\"alternateName\":\"ShirtAI\",\"url\":\"https:\/\/www.myshirtai.com\/\",\"logo\":{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\/\/www.myshirtai.com\/#\/schema\/logo\/image\/\",\"url\":\"https:\/\/www.myshirtai.com\/wp-content\/uploads\/2023\/11\/ShirtAI1279\u00d7675.png\",\"contentUrl\":\"https:\/\/www.myshirtai.com\/wp-content\/uploads\/2023\/11\/ShirtAI1279\u00d7675.png\",\"width\":1200,\"height\":675,\"caption\":\"ShirtAI\"},\"image\":{\"@id\":\"https:\/\/www.myshirtai.com\/#\/schema\/logo\/image\/\"}},{\"@type\":\"Person\",\"@id\":\"https:\/\/www.myshirtai.com\/#\/schema\/person\/793ffae65b0212a937f22250e83b51e2\",\"name\":\"IvesFeng666\",\"image\":{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\/\/www.myshirtai.com\/#\/schema\/person\/image\/\",\"url\":\"https:\/\/secure.gravatar.com\/avatar\/0e40122f3ea588c331477d2b5778ab521f0ef9275880700b47f592c999e721b7?s=96&d=mm&r=g\",\"contentUrl\":\"https:\/\/secure.gravatar.com\/avatar\/0e40122f3ea588c331477d2b5778ab521f0ef9275880700b47f592c999e721b7?s=96&d=mm&r=g\",\"caption\":\"IvesFeng666\"},\"sameAs\":[\"http:\/\/www.myshirtai.com\"],\"url\":\"https:\/\/www.myshirtai.com\/en\/archives\/author\/admin\"}]}<\/script>\n<!-- \/ Yoast SEO Premium plugin. -->","yoast_head_json":{"title":"DeepSeek\u53d1\u5e03Prover-V2\u6a21\u578b\uff1a671B\u53c2\u6570\u52a9\u529b\u6570\u5b66\u5b9a\u7406\u8bc1\u660e - \u6e17\u900f\u667a\u80fd","robots":{"index":"index","follow":"follow","max-snippet":"max-snippet:-1","max-image-preview":"max-image-preview:large","max-video-preview":"max-video-preview:-1"},"canonical":"https:\/\/www.myshirtai.com\/en\/archives\/6382\/","og_locale":"en_US","og_type":"article","og_title":"DeepSeek\u53d1\u5e03Prover-V2\u6a21\u578b\uff1a671B\u53c2\u6570\u52a9\u529b\u6570\u5b66\u5b9a\u7406\u8bc1\u660e","og_description":"DeepSeek\u5728\u4e94\u4e00\u671f\u95f4\u5f00\u6e90\u4e86\u4e13\u4e3a\u6570\u5b66\u8bc1\u660e\u8bbe\u8ba1\u7684DeepSeek-Prover2\u6a21\u578b\uff0c\u5305\u542b6710\u4ebf\u53c2\u6570\u548c70\u4ebf\u53c2\u6570\u7248\u672c\u3002\u8be5\u6a21\u578b\u91c7\u7528\u9012\u5f52\u4e0e\u5f3a\u5316\u5b66\u4e60\u7ed3\u5408\u7684\u6280\u672f\u5728\u591a\u9879\u6570\u5b66\u6d4b\u8bd5\u4e2d\u8868\u73b0\u4f18\u5f02\uff0c\u5982MiniFF\u6d4b\u8bd5\u901a\u8fc7\u7387\u8fbe88.9%\u3002\u540c\u65f6\u53d1\u5e03\u7684ProBench\u6570\u636e\u96c6\u5305\u542b325\u9053\u9898\u76ee\uff0c\u8bc4\u4f30\u6a21\u578b\u80fd\u529b\u3002\u5b9e\u9a8c\u53d1\u73b0\u601d\u7ef4\u94fe\u6a21\u5f0f\u80fd\u663e\u8457\u8bc1\u660e\u51c6\u786e\u7387\uff0c\u5c0f\u6a21\u578b\u5728\u7279\u5b9a\u95ee\u9898\u4e0a\u751a\u81f3\u8d85\u8d8a\u6a21\u578b\u3002\u6a21\u578b\u5df2\u5728Hugging Face\uff0c\u652f\u6301\u6570\u5b66\u7814\u7a76\u65b0\u8303\u5f0f\u3002","og_url":"https:\/\/www.myshirtai.com\/en\/archives\/6382\/","og_site_name":"\u6e17\u900f\u667a\u80fd","article_published_time":"2025-05-01T10:29:02+00:00","og_image":[{"width":1280,"height":720,"url":"https:\/\/www.myshirtai.com\/wp-content\/uploads\/2025\/05\/maxresdefault.jpg","type":"image\/jpeg"}],"author":"IvesFeng666","twitter_card":"summary_large_image","twitter_misc":{"Written by":"IvesFeng666","Est. reading time":"2 minutes"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"Article","@id":"https:\/\/www.myshirtai.com\/archives\/6382#article","isPartOf":{"@id":"https:\/\/www.myshirtai.com\/archives\/6382"},"author":{"name":"IvesFeng666","@id":"https:\/\/www.myshirtai.com\/#\/schema\/person\/793ffae65b0212a937f22250e83b51e2"},"headline":"DeepSeek\u53d1\u5e03Prover-V2\u6a21\u578b\uff1a671B\u53c2\u6570\u52a9\u529b\u6570\u5b66\u5b9a\u7406\u8bc1\u660e","datePublished":"2025-05-01T10:29:02+00:00","mainEntityOfPage":{"@id":"https:\/\/www.myshirtai.com\/archives\/6382"},"wordCount":142,"commentCount":0,"publisher":{"@id":"https:\/\/www.myshirtai.com\/#organization"},"image":{"@id":"https:\/\/www.myshirtai.com\/archives\/6382#primaryimage"},"thumbnailUrl":"https:\/\/www.myshirtai.com\/wp-content\/uploads\/2025\/05\/maxresdefault.jpg","keywords":["\u5b9a\u7406\u8bc1\u660e","\u6570\u5b66AI"],"articleSection":["\u535a\u5ba2"],"inLanguage":"en-US","potentialAction":[{"@type":"CommentAction","name":"Comment","target":["https:\/\/www.myshirtai.com\/archives\/6382#respond"]}]},{"@type":"WebPage","@id":"https:\/\/www.myshirtai.com\/archives\/6382","url":"https:\/\/www.myshirtai.com\/archives\/6382","name":"DeepSeek\u53d1\u5e03Prover-V2\u6a21\u578b\uff1a671B\u53c2\u6570\u52a9\u529b\u6570\u5b66\u5b9a\u7406\u8bc1\u660e - \u6e17\u900f\u667a\u80fd","isPartOf":{"@id":"https:\/\/www.myshirtai.com\/#website"},"primaryImageOfPage":{"@id":"https:\/\/www.myshirtai.com\/archives\/6382#primaryimage"},"image":{"@id":"https:\/\/www.myshirtai.com\/archives\/6382#primaryimage"},"thumbnailUrl":"https:\/\/www.myshirtai.com\/wp-content\/uploads\/2025\/05\/maxresdefault.jpg","datePublished":"2025-05-01T10:29:02+00:00","breadcrumb":{"@id":"https:\/\/www.myshirtai.com\/archives\/6382#breadcrumb"},"inLanguage":"en-US","potentialAction":[{"@type":"ReadAction","target":["https:\/\/www.myshirtai.com\/archives\/6382"]}]},{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/www.myshirtai.com\/archives\/6382#primaryimage","url":"https:\/\/www.myshirtai.com\/wp-content\/uploads\/2025\/05\/maxresdefault.jpg","contentUrl":"https:\/\/www.myshirtai.com\/wp-content\/uploads\/2025\/05\/maxresdefault.jpg","width":1280,"height":720},{"@type":"BreadcrumbList","@id":"https:\/\/www.myshirtai.com\/archives\/6382#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"\u9996\u9875","item":"https:\/\/www.myshirtai.com\/"},{"@type":"ListItem","position":2,"name":"DeepSeek\u53d1\u5e03Prover-V2\u6a21\u578b\uff1a671B\u53c2\u6570\u52a9\u529b\u6570\u5b66\u5b9a\u7406\u8bc1\u660e"}]},{"@type":"WebSite","@id":"https:\/\/www.myshirtai.com\/#website","url":"https:\/\/www.myshirtai.com\/","name":"\u6e17\u900f\u667a\u80fd","description":"ShirtAI","publisher":{"@id":"https:\/\/www.myshirtai.com\/#organization"},"alternateName":"ShirtAI","potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https:\/\/www.myshirtai.com\/?s={search_term_string}"},"query-input":{"@type":"PropertyValueSpecification","valueRequired":true,"valueName":"search_term_string"}}],"inLanguage":"en-US"},{"@type":"Organization","@id":"https:\/\/www.myshirtai.com\/#organization","name":"ShirtAI","alternateName":"ShirtAI","url":"https:\/\/www.myshirtai.com\/","logo":{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/www.myshirtai.com\/#\/schema\/logo\/image\/","url":"https:\/\/www.myshirtai.com\/wp-content\/uploads\/2023\/11\/ShirtAI1279\u00d7675.png","contentUrl":"https:\/\/www.myshirtai.com\/wp-content\/uploads\/2023\/11\/ShirtAI1279\u00d7675.png","width":1200,"height":675,"caption":"ShirtAI"},"image":{"@id":"https:\/\/www.myshirtai.com\/#\/schema\/logo\/image\/"}},{"@type":"Person","@id":"https:\/\/www.myshirtai.com\/#\/schema\/person\/793ffae65b0212a937f22250e83b51e2","name":"IvesFeng666","image":{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/www.myshirtai.com\/#\/schema\/person\/image\/","url":"https:\/\/secure.gravatar.com\/avatar\/0e40122f3ea588c331477d2b5778ab521f0ef9275880700b47f592c999e721b7?s=96&d=mm&r=g","contentUrl":"https:\/\/secure.gravatar.com\/avatar\/0e40122f3ea588c331477d2b5778ab521f0ef9275880700b47f592c999e721b7?s=96&d=mm&r=g","caption":"IvesFeng666"},"sameAs":["http:\/\/www.myshirtai.com"],"url":"https:\/\/www.myshirtai.com\/en\/archives\/author\/admin"}]}},"uagb_featured_image_src":{"full":["https:\/\/www.myshirtai.com\/wp-content\/uploads\/2025\/05\/maxresdefault.jpg",1280,720,false],"thumbnail":["https:\/\/www.myshirtai.com\/wp-content\/uploads\/2025\/05\/maxresdefault-150x84.jpg",150,84,true],"medium":["https:\/\/www.myshirtai.com\/wp-content\/uploads\/2025\/05\/maxresdefault-1024x576.jpg",1024,576,true],"medium_large":["https:\/\/www.myshirtai.com\/wp-content\/uploads\/2025\/05\/maxresdefault-768x432.jpg",768,432,true],"large":["https:\/\/www.myshirtai.com\/wp-content\/uploads\/2025\/05\/maxresdefault.jpg",1280,720,false],"1536x1536":["https:\/\/www.myshirtai.com\/wp-content\/uploads\/2025\/05\/maxresdefault.jpg",1280,720,false],"2048x2048":["https:\/\/www.myshirtai.com\/wp-content\/uploads\/2025\/05\/maxresdefault.jpg",1280,720,false],"trp-custom-language-flag":["https:\/\/www.myshirtai.com\/wp-content\/uploads\/2025\/05\/maxresdefault-18x10.jpg",18,10,true]},"uagb_author_info":{"display_name":"IvesFeng666","author_link":"https:\/\/www.myshirtai.com\/en\/archives\/author\/admin"},"uagb_comment_info":0,"uagb_excerpt":"DeepSeek\u5728\u4e94\u4e00\u671f\u95f4\u5f00\u6e90\u4e86\u4e13\u4e3a\u6570\u5b66\u8bc1\u660e\u8bbe\u8ba1\u7684DeepSeek-Prover2\u6a21\u578b\uff0c\u5305\u542b6710\u4ebf\u53c2\u6570\u548c7&hellip;","_links":{"self":[{"href":"https:\/\/www.myshirtai.com\/en\/wp-json\/wp\/v2\/posts\/6382","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.myshirtai.com\/en\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.myshirtai.com\/en\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.myshirtai.com\/en\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/www.myshirtai.com\/en\/wp-json\/wp\/v2\/comments?post=6382"}],"version-history":[{"count":0,"href":"https:\/\/www.myshirtai.com\/en\/wp-json\/wp\/v2\/posts\/6382\/revisions"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.myshirtai.com\/en\/wp-json\/wp\/v2\/media\/6381"}],"wp:attachment":[{"href":"https:\/\/www.myshirtai.com\/en\/wp-json\/wp\/v2\/media?parent=6382"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.myshirtai.com\/en\/wp-json\/wp\/v2\/categories?post=6382"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.myshirtai.com\/en\/wp-json\/wp\/v2\/tags?post=6382"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}