{"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\/ru\/archives\/6382","title":{"rendered":"DeepSeek \u0432\u044b\u043f\u0443\u0441\u043a\u0430\u0435\u0442 \u043c\u043e\u0434\u0435\u043b\u044c Prover-V2: \u043f\u0430\u0440\u0430\u043c\u0435\u0442\u0440\u044b 671B \u043f\u043e\u0432\u044b\u0448\u0430\u044e\u0442 \u044d\u0444\u0444\u0435\u043a\u0442\u0438\u0432\u043d\u043e\u0441\u0442\u044c \u043c\u0430\u0442\u0435\u043c\u0430\u0442\u0438\u0447\u0435\u0441\u043a\u043e\u0433\u043e \u0434\u043e\u043a\u0430\u0437\u0430\u0442\u0435\u043b\u044c\u0441\u0442\u0432\u0430 \u0442\u0435\u043e\u0440\u0435\u043c"},"content":{"rendered":"<p>\u0412\u043e \u0432\u0440\u0435\u043c\u044f \u043f\u0435\u0440\u0432\u043e\u043c\u0430\u0439\u0441\u043a\u0438\u0445 \u043f\u0440\u0430\u0437\u0434\u043d\u0438\u043a\u043e\u0432 \u043a\u043e\u043c\u043f\u0430\u043d\u0438\u044f DeepSeek \u0432 \u043e\u0447\u0435\u0440\u0435\u0434\u043d\u043e\u0439 \u0440\u0430\u0437 \u043f\u0440\u0438\u043d\u0435\u0441\u043b\u0430 \u0432 \u0441\u0444\u0435\u0440\u0443 \u0418\u0418 \u0442\u044f\u0436\u0435\u043b\u0443\u044e \u043d\u043e\u0432\u043e\u0441\u0442\u044c - \u043e\u0442\u043a\u0440\u044b\u043b\u0430 \u0434\u043e\u0441\u0442\u0443\u043f \u043a \u043d\u043e\u0432\u043e\u0439 \u043c\u043e\u0434\u0435\u043b\u0438 DeepSeek-Prover-V2. \u041d\u0435\u0441\u043c\u043e\u0442\u0440\u044f \u043d\u0430 \u0441\u043b\u0443\u0445\u0438 \u043e \u0441\u043a\u043e\u0440\u043e\u043c \u0432\u044b\u0445\u043e\u0434\u0435 DeepSeek-R2, DeepSeek \u0432\u044b\u043f\u0443\u0441\u0442\u0438\u043b\u0430 \u044d\u0442\u0443 \u043c\u043e\u0449\u043d\u0443\u044e \u043c\u043e\u0434\u0435\u043b\u044c, \u043e\u0440\u0438\u0435\u043d\u0442\u0438\u0440\u043e\u0432\u0430\u043d\u043d\u0443\u044e \u043d\u0430 \u043c\u0430\u0442\u0435\u043c\u0430\u0442\u0438\u0447\u0435\u0441\u043a\u043e\u0435 \u0434\u043e\u043a\u0430\u0437\u0430\u0442\u0435\u043b\u044c\u0441\u0442\u0432\u043e \u0442\u0435\u043e\u0440\u0435\u043c, \u0438 \u043f\u0440\u043e\u0434\u043e\u043b\u0436\u0430\u0435\u0442 \u043f\u0440\u0438\u0434\u0435\u0440\u0436\u0438\u0432\u0430\u0442\u044c\u0441\u044f \u0441\u0432\u043e\u0435\u0433\u043e \u043e\u0431\u044b\u0447\u043d\u043e\u0433\u043e \u0434\u0443\u0445\u0430 \u043e\u0442\u043a\u0440\u044b\u0442\u043e\u0433\u043e \u043a\u043e\u0434\u0430.<\/p>\n\n\n\n<h2 class=\"wp-block-heading\" id=\"h-\u4e24\u6b3e\u5f3a\u5927\u6a21\u578b\u540c\u6b65\u5f00\u6e90\">\u0414\u0432\u0435 \u043c\u043e\u0449\u043d\u044b\u0435 \u043c\u043e\u0434\u0435\u043b\u0438, \u0441\u0438\u043d\u0445\u0440\u043e\u043d\u0438\u0437\u0438\u0440\u043e\u0432\u0430\u043d\u043d\u044b\u0435 \u0441 \u043e\u0442\u043a\u0440\u044b\u0442\u044b\u043c \u0438\u0441\u0445\u043e\u0434\u043d\u044b\u043c \u043a\u043e\u0434\u043e\u043c<\/h2>\n\n\n\n<p>\u041d\u0430 \u044d\u0442\u043e\u0442 \u0440\u0430\u0437 DeepSeek \u0432\u044b\u043b\u043e\u0436\u0438\u043b\u0430 \u0432 \u043e\u0442\u043a\u0440\u044b\u0442\u044b\u0439 \u0434\u043e\u0441\u0442\u0443\u043f \u0434\u0432\u0435 \u0432\u0435\u0440\u0441\u0438\u0438 \u043c\u043e\u0434\u0435\u043b\u0438 DeepSeek-Prover-V2.<\/p>\n\n\n\n<ul class=\"wp-block-list\">\n<li><strong>DeepSeek-Prover-V2-671B<\/strong>: \u041f\u043e\u0441\u0442\u0440\u043e\u0435\u043d \u043d\u0430 \u0431\u0430\u0437\u0435 DeepSeek-V3-Base, \u0438\u043c\u0435\u0435\u0442 671 \u043c\u0438\u043b\u043b\u0438\u0430\u0440\u0434 \u043f\u0430\u0440\u0430\u043c\u0435\u0442\u0440\u043e\u0432 \u0438 \u0432 \u043d\u0430\u0441\u0442\u043e\u044f\u0449\u0435\u0435 \u0432\u0440\u0435\u043c\u044f \u044f\u0432\u043b\u044f\u0435\u0442\u0441\u044f \u043a\u043e\u0440\u043e\u043b\u0435\u043c \u043f\u0440\u043e\u0438\u0437\u0432\u043e\u0434\u0438\u0442\u0435\u043b\u044c\u043d\u043e\u0441\u0442\u0438 \u0432 \u0434\u043e\u043a\u0430\u0437\u0430\u0442\u0435\u043b\u044c\u0441\u0442\u0432\u0435 \u0442\u0435\u043e\u0440\u0435\u043c.<\/li>\n\n\n\n<li><strong>DeepSeek-Prover-V2-7B<\/strong>: \u041f\u043e\u0441\u0442\u0440\u043e\u0435\u043d \u043d\u0430 \u0431\u0430\u0437\u0435 DeepSeek-Prover-V1.5-Base, \u0438\u043c\u0435\u0435\u0442 7 \u043c\u0438\u043b\u043b\u0438\u0430\u0440\u0434\u043e\u0432 \u043f\u0430\u0440\u0430\u043c\u0435\u0442\u0440\u043e\u0432 \u0438 \u043f\u043e\u0434\u0434\u0435\u0440\u0436\u0438\u0432\u0430\u0435\u0442 \u0434\u043b\u0438\u043d\u0443 \u043a\u043e\u043d\u0442\u0435\u043a\u0441\u0442\u0430 \u0434\u043e 32K \u0442\u043e\u043a\u0435\u043d\u043e\u0432<\/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>\u041e\u0431\u0435 \u043c\u043e\u0434\u0435\u043b\u0438 \u0431\u044b\u043b\u0438 \u043e\u0444\u0438\u0446\u0438\u0430\u043b\u044c\u043d\u043e \u0432\u044b\u043f\u0443\u0449\u0435\u043d\u044b \u043d\u0430 \u0441\u0430\u0439\u0442\u0435 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\">\u0427\u0442\u043e \u0442\u0430\u043a\u043e\u0435 DeepSeek-Prover-V2?<\/h2>\n\n\n\n<p>DeepSeek-Prover-V2 - \u044d\u0442\u043e \u043c\u043e\u0434\u0435\u043b\u044c \u0431\u043e\u043b\u044c\u0448\u043e\u0433\u043e \u044f\u0437\u044b\u043a\u0430 \u0441 \u043e\u0442\u043a\u0440\u044b\u0442\u044b\u043c \u0438\u0441\u0445\u043e\u0434\u043d\u044b\u043c \u043a\u043e\u0434\u043e\u043c \u0434\u043b\u044f \"\u043c\u0430\u0442\u0435\u043c\u0430\u0442\u0438\u0447\u0435\u0441\u043a\u043e\u0433\u043e \u044f\u0437\u044b\u043a\u0430 \u043f\u0440\u043e\u0433\u0440\u0430\u043c\u043c\u0438\u0440\u043e\u0432\u0430\u043d\u0438\u044f \u0418\u0418\" Lean 4, \u043e\u0440\u0438\u0435\u043d\u0442\u0438\u0440\u043e\u0432\u0430\u043d\u043d\u0430\u044f \u043d\u0430 \u0444\u043e\u0440\u043c\u0430\u043b\u044c\u043d\u043e\u0435 \u0434\u043e\u043a\u0430\u0437\u0430\u0442\u0435\u043b\u044c\u0441\u0442\u0432\u043e \u0442\u0435\u043e\u0440\u0435\u043c. \u041f\u0440\u043e\u0449\u0435 \u0433\u043e\u0432\u043e\u0440\u044f, \u043e\u043d \u043c\u043e\u0436\u0435\u0442 \u043f\u0440\u0435\u043e\u0431\u0440\u0430\u0437\u043e\u0432\u044b\u0432\u0430\u0442\u044c \u0430\u0431\u0441\u0442\u0440\u0430\u043a\u0442\u043d\u044b\u0435 \u043c\u0430\u0442\u0435\u043c\u0430\u0442\u0438\u0447\u0435\u0441\u043a\u0438\u0435 \u0442\u0435\u043e\u0440\u0435\u043c\u044b \u0432 \u0441\u0442\u0440\u043e\u0433\u0438\u0435 \u0434\u043e\u043a\u0430\u0437\u0430\u0442\u0435\u043b\u044c\u0441\u0442\u0432\u0430, \u043f\u0440\u043e\u0432\u0435\u0440\u044f\u0435\u043c\u044b\u0435 \u043d\u0430 \u043a\u043e\u043c\u043f\u044c\u044e\u0442\u0435\u0440\u0435, \u0447\u0442\u043e \u044f\u0432\u043b\u044f\u0435\u0442\u0441\u044f \u0440\u0435\u0432\u043e\u043b\u044e\u0446\u0438\u043e\u043d\u043d\u044b\u043c \u0438\u043d\u0441\u0442\u0440\u0443\u043c\u0435\u043d\u0442\u043e\u043c \u0434\u043b\u044f \u043c\u0430\u0442\u0435\u043c\u0430\u0442\u0438\u0447\u0435\u0441\u043a\u0438\u0445 \u0438\u0441\u0441\u043b\u0435\u0434\u043e\u0432\u0430\u043d\u0438\u0439.<\/p>\n\n\n\n<p>\u0415\u0435 \u043b\u0443\u0447\u0448\u0430\u044f \u043e\u0441\u043e\u0431\u0435\u043d\u043d\u043e\u0441\u0442\u044c - \u0441\u043f\u043e\u0441\u043e\u0431\u043d\u043e\u0441\u0442\u044c \u043e\u0440\u0433\u0430\u043d\u0438\u0447\u043d\u043e \u0441\u043e\u0447\u0435\u0442\u0430\u0442\u044c \u043d\u0435\u0444\u043e\u0440\u043c\u0430\u043b\u044c\u043d\u044b\u0435 \u043c\u0430\u0442\u0435\u043c\u0430\u0442\u0438\u0447\u0435\u0441\u043a\u0438\u0435 \u0440\u0430\u0441\u0441\u0443\u0436\u0434\u0435\u043d\u0438\u044f (\u0442.\u0435. \u043e\u0431\u044b\u0447\u043d\u043e \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u0443\u0435\u043c\u044b\u0435 \u043b\u044e\u0434\u044c\u043c\u0438) \u0441\u043e \u0441\u0442\u0440\u043e\u0433\u0438\u043c\u0438 \u0444\u043e\u0440\u043c\u0430\u043b\u044c\u043d\u044b\u043c\u0438 \u0434\u043e\u043a\u0430\u0437\u0430\u0442\u0435\u043b\u044c\u0441\u0442\u0432\u0430\u043c\u0438, \u0447\u0442\u043e \u043f\u043e\u0437\u0432\u043e\u043b\u044f\u0435\u0442 \u043c\u043e\u0434\u0435\u043b\u0438 \u043c\u044b\u0441\u043b\u0438\u0442\u044c \u0442\u0430\u043a \u0436\u0435 \u0433\u0438\u0431\u043a\u043e, \u043a\u0430\u043a \u0447\u0435\u043b\u043e\u0432\u0435\u043a, \u0438 \u0430\u0440\u0433\u0443\u043c\u0435\u043d\u0442\u0438\u0440\u043e\u0432\u0430\u0442\u044c \u0442\u0430\u043a \u0436\u0435 \u0441\u0442\u0440\u043e\u0433\u043e, \u043a\u0430\u043a \u043a\u043e\u043c\u043f\u044c\u044e\u0442\u0435\u0440, \u0434\u043e\u0441\u0442\u0438\u0433\u0430\u044f \u0438\u043d\u0442\u0435\u0433\u0440\u0438\u0440\u043e\u0432\u0430\u043d\u043d\u043e\u0433\u043e \u0441\u043e\u0447\u0435\u0442\u0430\u043d\u0438\u044f \u043c\u0430\u0442\u0435\u043c\u0430\u0442\u0438\u0447\u0435\u0441\u043a\u0438\u0445 \u0440\u0430\u0441\u0441\u0443\u0436\u0434\u0435\u043d\u0438\u0439.<\/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\">\u041f\u043e\u0442\u0440\u044f\u0441\u0430\u044e\u0449\u0430\u044f \u043f\u0440\u043e\u0438\u0437\u0432\u043e\u0434\u0438\u0442\u0435\u043b\u044c\u043d\u043e\u0441\u0442\u044c: \u0443\u0441\u0442\u0430\u043d\u043e\u0432\u043b\u0435\u043d\u0438\u0435 \u043c\u043d\u043e\u0436\u0435\u0441\u0442\u0432\u0430 \u0440\u0435\u043a\u043e\u0440\u0434\u043e\u0432<\/h2>\n\n\n\n<p>DeepSeek-Prover-V2-671B \u0434\u0435\u043c\u043e\u043d\u0441\u0442\u0440\u0438\u0440\u0443\u0435\u0442 \u0431\u0435\u0441\u043f\u0440\u0435\u0446\u0435\u0434\u0435\u043d\u0442\u043d\u0443\u044e \u0441\u0438\u043b\u0443 \u0432 \u0440\u0430\u0437\u043b\u0438\u0447\u043d\u044b\u0445 \u0431\u0435\u043d\u0447\u043c\u0430\u0440\u043a\u0430\u0445 \u043f\u043e \u0434\u043e\u043a\u0430\u0437\u0430\u0442\u0435\u043b\u044c\u0441\u0442\u0432\u0443 \u0442\u0435\u043e\u0440\u0435\u043c:<\/p>\n\n\n\n<ul class=\"wp-block-list\">\n<li>\u0414\u043e\u0441\u0442\u0438\u0433\u043d\u0443\u0442 \u0440\u0435\u043a\u043e\u0440\u0434\u043d\u044b\u0439 \u043f\u043e\u043a\u0430\u0437\u0430\u0442\u0435\u043b\u044c \u043f\u0440\u043e\u0445\u043e\u0436\u0434\u0435\u043d\u0438\u044f \u0442\u0435\u0441\u0442\u0430 MiniF2F - 88,9%<\/li>\n\n\n\n<li>\u0423\u0441\u043f\u0435\u0448\u043d\u043e \u0440\u0435\u0448\u0435\u043d\u043e 49 \u0438\u0437 658 \u0432\u043e\u043f\u0440\u043e\u0441\u043e\u0432 \u0432 \u043d\u0430\u0431\u043e\u0440\u0435 \u0434\u0430\u043d\u043d\u044b\u0445 PutnamBench<\/li>\n\n\n\n<li>\u0422\u0430\u043a\u0436\u0435 \u0445\u043e\u0440\u043e\u0448\u043e \u0441\u043f\u0440\u0430\u0432\u043b\u044f\u0435\u0442\u0441\u044f \u0441 \u0442\u0440\u0443\u0434\u043d\u044b\u043c\u0438 \u043a\u043e\u043d\u043a\u0443\u0440\u0441\u043d\u044b\u043c\u0438 \u0437\u0430\u0434\u0430\u0447\u0430\u043c\u0438 \u043f\u043e \u043c\u0430\u0442\u0435\u043c\u0430\u0442\u0438\u043a\u0435, \u0442\u0430\u043a\u0438\u043c\u0438 \u043a\u0430\u043a AIME 24 \u0438 25.<\/li>\n<\/ul>\n\n\n\n<p>\u041c\u043d\u043e\u0433\u0438\u0435 \u043d\u0435\u0442\u0438\u0437\u0435\u043d\u044b \u043f\u0440\u043e\u0442\u0435\u0441\u0442\u0438\u0440\u043e\u0432\u0430\u043b\u0438 \u043c\u043e\u0434\u0435\u043b\u044c \u0438 \u0437\u0430\u044f\u0432\u0438\u043b\u0438, \u0447\u0442\u043e \u043e\u043d\u0430 \u0441\u043f\u043e\u0441\u043e\u0431\u043d\u0430 \u0440\u0435\u0448\u0430\u0442\u044c \u0441\u043b\u043e\u0436\u043d\u044b\u0435 \u043c\u0430\u0442\u0435\u043c\u0430\u0442\u0438\u0447\u0435\u0441\u043a\u0438\u0435 \u0437\u0430\u0434\u0430\u0447\u0438 \u0434\u0430\u0436\u0435 \u043b\u0443\u0447\u0448\u0435, \u0447\u0435\u043c \u0442\u0430\u043a\u0438\u0435 \u0442\u043e\u043f\u043e\u0432\u044b\u0435 \u043c\u043e\u0434\u0435\u043b\u0438, \u043a\u0430\u043a o4-mini \u043e\u0442 OpenAI \u0438 Grok-3 \u043e\u0442 XAI. \u041d\u0435\u043a\u043e\u0442\u043e\u0440\u044b\u0435 \u0441\u0442\u0443\u0434\u0435\u043d\u0442\u044b, \u0443\u0447\u0430\u0441\u0442\u0432\u043e\u0432\u0430\u0432\u0448\u0438\u0435 \u0432 \u043e\u043b\u0438\u043c\u043f\u0438\u0430\u0434\u0435 \u043f\u043e \u043c\u0430\u0442\u0435\u043c\u0430\u0442\u0438\u043a\u0435, \u0432\u043e\u0441\u043a\u043b\u0438\u043a\u043d\u0443\u043b\u0438: \"\u041d\u0438\u043a\u043e\u0433\u0434\u0430 \u0435\u0449\u0435 \u043e\u043b\u0438\u043c\u043f\u0438\u0430\u0434\u0430 \u043d\u0435 \u0431\u044b\u043b\u0430 \u0442\u0430\u043a\u043e\u0439 \u043b\u0435\u0433\u043a\u043e\u0439!\"<\/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\">\u0422\u0435\u0445\u043d\u043e\u043b\u043e\u0433\u0438\u0447\u0435\u0441\u043a\u0438\u0435 \u0438\u043d\u043d\u043e\u0432\u0430\u0446\u0438\u0438: \u0441\u043e\u0447\u0435\u0442\u0430\u043d\u0438\u0435 \u0440\u0435\u043a\u0443\u0440\u0441\u0438\u0432\u043d\u043e\u0433\u043e \u043e\u0431\u0443\u0447\u0435\u043d\u0438\u044f \u0438 \u043e\u0431\u0443\u0447\u0435\u043d\u0438\u044f \u0441 \u043f\u043e\u0434\u043a\u0440\u0435\u043f\u043b\u0435\u043d\u0438\u0435\u043c<\/h2>\n\n\n\n<p>\u0412 \u0442\u0435\u0445\u043d\u0438\u0447\u0435\u0441\u043a\u043e\u043c \u043e\u0442\u0447\u0435\u0442\u0435 \u043a\u043e\u043c\u0430\u043d\u0434\u0430 DeepSeek \u0440\u0430\u0441\u043a\u0440\u044b\u0432\u0430\u0435\u0442 \u043e\u0441\u043d\u043e\u0432\u043d\u0443\u044e \u043c\u0435\u0442\u043e\u0434\u043e\u043b\u043e\u0433\u0438\u044e \u043e\u0431\u0443\u0447\u0435\u043d\u0438\u044f Prover-V2, \u043a\u043e\u0442\u043e\u0440\u0430\u044f \u043e\u0441\u043d\u043e\u0432\u0430\u043d\u0430 \u043d\u0430 \u0438\u043d\u043d\u043e\u0432\u0430\u0446\u0438\u043e\u043d\u043d\u043e\u0439 \u043a\u043e\u043c\u0431\u0438\u043d\u0430\u0446\u0438\u0438 \u0440\u0435\u043a\u0443\u0440\u0441\u0438\u0432\u043d\u043e\u0433\u043e \u043e\u0431\u0443\u0447\u0435\u043d\u0438\u044f + \u043e\u0431\u0443\u0447\u0435\u043d\u0438\u044f \u0441 \u043f\u043e\u0434\u043a\u0440\u0435\u043f\u043b\u0435\u043d\u0438\u0435\u043c. \u041f\u0440\u043e\u0446\u0435\u0441\u0441 \u043e\u0431\u0443\u0447\u0435\u043d\u0438\u044f \u043c\u043e\u0434\u0435\u043b\u0438 \u0440\u0430\u0437\u0434\u0435\u043b\u0435\u043d \u043d\u0430 \u043d\u0435\u0441\u043a\u043e\u043b\u044c\u043a\u043e \u043a\u043b\u044e\u0447\u0435\u0432\u044b\u0445 \u044d\u0442\u0430\u043f\u043e\u0432:<\/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. \u0420\u0435\u043a\u0443\u0440\u0441\u0438\u0432\u043d\u044b\u0439 \u043f\u043e\u0438\u0441\u043a \u0434\u043e\u043a\u0430\u0437\u0430\u0442\u0435\u043b\u044c\u0441\u0442\u0432 \u0441 \u043f\u043e\u043c\u043e\u0449\u044c\u044e \u0434\u0435\u043a\u043e\u043c\u043f\u043e\u0437\u0438\u0446\u0438\u0438 \u043f\u043e\u0434\u0446\u0435\u043b\u0435\u0439<\/h3>\n\n\n\n<p>DeepSeek-Prover-V2 \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u0443\u0435\u0442 \u0441\u043f\u043e\u0441\u043e\u0431 \u043c\u044b\u0448\u043b\u0435\u043d\u0438\u044f, \u0441\u0445\u043e\u0436\u0438\u0439 \u0441 \u043c\u044b\u0448\u043b\u0435\u043d\u0438\u0435\u043c \u0447\u0435\u043b\u043e\u0432\u0435\u043a\u0430-\u043c\u0430\u0442\u0435\u043c\u0430\u0442\u0438\u043a\u0430 - \u0440\u0430\u0437\u0431\u0438\u0435\u043d\u0438\u0435 \u0441\u043b\u043e\u0436\u043d\u044b\u0445 \u0442\u0435\u043e\u0440\u0435\u043c \u043d\u0430 \u0440\u044f\u0434 \u0431\u043e\u043b\u0435\u0435 \u043c\u0435\u043b\u043a\u0438\u0445 \u043b\u0435\u043c\u043c \u0434\u043b\u044f \u0434\u043e\u043a\u0430\u0437\u0430\u0442\u0435\u043b\u044c\u0441\u0442\u0432\u0430. \u041a\u043e\u043d\u043a\u0440\u0435\u0442\u043d\u044b\u0439 \u043f\u0440\u043e\u0446\u0435\u0441\u0441 \u0440\u0435\u0430\u043b\u0438\u0437\u0430\u0446\u0438\u0438 \u0432\u043a\u043b\u044e\u0447\u0430\u0435\u0442 \u0432 \u0441\u0435\u0431\u044f:<\/p>\n\n\n\n<ul class=\"wp-block-list\">\n<li>\u0421\u043d\u0430\u0447\u0430\u043b\u0430 DeepSeek-V3 \u043f\u0440\u0435\u0434\u043b\u0430\u0433\u0430\u0435\u0442\u0441\u044f \u0441\u0433\u0435\u043d\u0435\u0440\u0438\u0440\u043e\u0432\u0430\u0442\u044c \u043d\u0430\u0431\u0440\u043e\u0441\u043a\u0438 \u0434\u043e\u043a\u0430\u0437\u0430\u0442\u0435\u043b\u044c\u0441\u0442\u0432 \u043d\u0430 \u0435\u0441\u0442\u0435\u0441\u0442\u0432\u0435\u043d\u043d\u043e\u043c \u044f\u0437\u044b\u043a\u0435 \u0438 \u0444\u043e\u0440\u043c\u0430\u043b\u0438\u0437\u043e\u0432\u0430\u0442\u044c \u0438\u0445 \u0432 \u0432\u0438\u0434\u0435 \u0443\u0442\u0432\u0435\u0440\u0436\u0434\u0435\u043d\u0438\u0439 \u0442\u0435\u043e\u0440\u0435\u043c \u043d\u0430 \u044f\u0437\u044b\u043a\u0435 Lean.<\/li>\n\n\n\n<li>\u0414\u0435\u043a\u043e\u043c\u043f\u043e\u0437\u0438\u0440\u043e\u0432\u0430\u043d\u043d\u044b\u0435 \u043f\u043e\u0434\u0446\u0435\u043b\u0438 \u0437\u0430\u0442\u0435\u043c \u0440\u0435\u0448\u0430\u044e\u0442\u0441\u044f \u0440\u0435\u043a\u0443\u0440\u0441\u0438\u0432\u043d\u043e \u0441 \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u043d\u0438\u0435\u043c \u043c\u043e\u0434\u0435\u043b\u0438 \u0434\u043e\u043a\u0430\u0437\u0430\u0442\u0435\u043b\u044c\u0441\u0442\u0432\u0430 7B<\/li>\n\n\n\n<li>\u041d\u0430\u043a\u043e\u043d\u0435\u0446, \u0434\u043e\u043a\u0430\u0437\u0430\u0442\u0435\u043b\u044c\u0441\u0442\u0432\u0430 \u044d\u0442\u0438\u0445 \u043f\u043e\u0434\u0446\u0435\u043b\u0435\u0439 \u043e\u0431\u044a\u0435\u0434\u0438\u043d\u044f\u044e\u0442\u0441\u044f \u0434\u043b\u044f \u043f\u043e\u0441\u0442\u0440\u043e\u0435\u043d\u0438\u044f \u043f\u043e\u043b\u043d\u043e\u0433\u043e \u0444\u043e\u0440\u043c\u0430\u043b\u044c\u043d\u043e\u0433\u043e \u0434\u043e\u043a\u0430\u0437\u0430\u0442\u0435\u043b\u044c\u0441\u0442\u0432\u0430 \u0438\u0441\u0445\u043e\u0434\u043d\u043e\u0439 \u0441\u043b\u043e\u0436\u043d\u043e\u0439 \u0437\u0430\u0434\u0430\u0447\u0438<\/li>\n<\/ul>\n\n\n\n<p>\u0422\u0430\u043a\u043e\u0439 \u043f\u043e\u0434\u0445\u043e\u0434 \u043d\u0435 \u0442\u043e\u043b\u044c\u043a\u043e \u043f\u043e\u0432\u044b\u0448\u0430\u0435\u0442 \u044d\u0444\u0444\u0435\u043a\u0442\u0438\u0432\u043d\u043e\u0441\u0442\u044c \u0434\u043e\u043a\u0430\u0437\u0430\u0442\u0435\u043b\u044c\u0441\u0442\u0432\u0430, \u043d\u043e \u0438 \u0440\u0430\u0441\u0448\u0438\u0440\u044f\u0435\u0442 \u043a\u0440\u0443\u0433 \u0442\u0435\u043e\u0440\u0435\u043c, \u0441 \u043a\u043e\u0442\u043e\u0440\u044b\u043c\u0438 \u043c\u043e\u0436\u0435\u0442 \u0440\u0430\u0431\u043e\u0442\u0430\u0442\u044c \u043c\u043e\u0434\u0435\u043b\u044c.<\/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. \u0433\u0430\u0440\u043c\u043e\u043d\u0438\u0437\u0430\u0446\u0438\u044f \u043d\u0435\u0444\u043e\u0440\u043c\u0430\u043b\u044c\u043d\u044b\u0445 \u0440\u0430\u0441\u0441\u0443\u0436\u0434\u0435\u043d\u0438\u0439 \u0441 \u0444\u043e\u0440\u043c\u0430\u043b\u044c\u043d\u044b\u043c\u0438 \u0434\u043e\u043a\u0430\u0437\u0430\u0442\u0435\u043b\u044c\u0441\u0442\u0432\u0430\u043c\u0438<\/h3>\n\n\n\n<p>\u041a\u043e\u043c\u0430\u043d\u0434\u0430 DeepSeek \u0443\u043c\u0435\u043b\u043e \u0441\u043e\u0447\u0435\u0442\u0430\u0435\u0442 \u0432\u044b\u0441\u043e\u043a\u043e\u0443\u0440\u043e\u0432\u043d\u0435\u0432\u044b\u0435 \u0440\u0430\u0441\u0441\u0443\u0436\u0434\u0435\u043d\u0438\u044f \u043d\u0430 \u0435\u0441\u0442\u0435\u0441\u0442\u0432\u0435\u043d\u043d\u043e\u043c \u044f\u0437\u044b\u043a\u0435 \u0441 \u043d\u0438\u0437\u043a\u043e\u0443\u0440\u043e\u0432\u043d\u0435\u0432\u044b\u043c\u0438 \u043f\u0440\u043e\u0446\u0435\u0441\u0441\u0430\u043c\u0438 \u0442\u043e\u0447\u043d\u043e\u0433\u043e \u0434\u043e\u043a\u0430\u0437\u0430\u0442\u0435\u043b\u044c\u0441\u0442\u0432\u0430:<\/p>\n\n\n\n<ul class=\"wp-block-list\">\n<li>\u0412\u044b\u0431\u0435\u0440\u0438\u0442\u0435 \u043f\u0440\u043e\u0431\u043b\u0435\u043c\u044b, \u043a\u043e\u0442\u043e\u0440\u044b\u0435 \u043e\u0441\u043e\u0431\u0435\u043d\u043d\u043e \u0442\u0440\u0443\u0434\u043d\u043e \u0440\u0435\u0448\u0438\u0442\u044c, \u0438 \u0440\u0430\u0437\u0431\u0435\u0439\u0442\u0435 \u0438\u0445 \u043d\u0430 \u0431\u043e\u043b\u0435\u0435 \u043c\u0435\u043b\u043a\u0438\u0435 \u0446\u0435\u043b\u0438<\/li>\n\n\n\n<li>\u041a\u043e\u0433\u0434\u0430 \u043a\u0430\u0436\u0434\u0430\u044f \u0438\u0437 \u043c\u0438\u043d\u0438-\u0446\u0435\u043b\u0435\u0439 \u0434\u043e\u043a\u0430\u0437\u0430\u043d\u0430, \u043e\u043d\u0438 \u043e\u0431\u044a\u0435\u0434\u0438\u043d\u044f\u044e\u0442\u0441\u044f \u0432 \u043f\u043e\u043b\u043d\u043e\u0435 \u0441\u0442\u0440\u043e\u0433\u043e\u0435 \u0434\u043e\u043a\u0430\u0437\u0430\u0442\u0435\u043b\u044c\u0441\u0442\u0432\u043e<\/li>\n\n\n\n<li>\u0414\u043e\u0431\u0430\u0432\u044c\u0442\u0435 \u044d\u0442\u043e \u043f\u043e\u043b\u043d\u043e\u0435 \u0434\u043e\u043a\u0430\u0437\u0430\u0442\u0435\u043b\u044c\u0441\u0442\u0432\u043e \u043a \"\u0446\u0435\u043f\u043e\u0447\u043a\u0435 \u043c\u044b\u0441\u043b\u0435\u0439\", \u0441\u043e\u0437\u0434\u0430\u043d\u043d\u043e\u0439 DeepSeek-V3, \u0441\u043e\u0437\u0434\u0430\u0432 \u043e\u0431\u0443\u0447\u0430\u044e\u0449\u0438\u0435 \u0434\u0430\u043d\u043d\u044b\u0435, \u043a\u043e\u0442\u043e\u0440\u044b\u0435 \u0441\u043e\u0447\u0435\u0442\u0430\u044e\u0442 \u0432 \u0441\u0435\u0431\u0435 \u0447\u0435\u043b\u043e\u0432\u0435\u0447\u0435\u0441\u043a\u0443\u044e \u043c\u044b\u0441\u043b\u044c \u0438 \u043c\u0430\u0448\u0438\u043d\u043d\u0443\u044e \u043f\u0440\u043e\u0432\u0435\u0440\u043a\u0443.<\/li>\n<\/ul>\n\n\n\n<p>\u0422\u0430\u043a\u0438\u043c \u043e\u0431\u0440\u0430\u0437\u043e\u043c, \u043a\u043e\u043c\u0430\u043d\u0434\u0430 \u0441\u043e\u0431\u0440\u0430\u043b\u0430 \u0441\u043e\u0442\u043d\u0438 \u0432\u044b\u0441\u043e\u043a\u043e\u043a\u0430\u0447\u0435\u0441\u0442\u0432\u0435\u043d\u043d\u044b\u0445 \u043e\u0431\u0443\u0447\u0430\u044e\u0449\u0438\u0445 \u0434\u0430\u043d\u043d\u044b\u0445, \u043e\u0431\u0435\u0441\u043f\u0435\u0447\u0438\u0432 \u043f\u0440\u043e\u0447\u043d\u0443\u044e \u043e\u0441\u043d\u043e\u0432\u0443 \u0434\u043b\u044f \u043e\u0431\u0443\u0447\u0435\u043d\u0438\u044f \u043c\u043e\u0434\u0435\u043b\u0438.<\/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. \u0420\u0430\u0441\u0448\u0438\u0440\u0435\u043d\u043d\u043e\u0435 \u043e\u0431\u0443\u0447\u0435\u043d\u0438\u0435 \u0434\u043b\u044f \u0443\u043b\u0443\u0447\u0448\u0435\u043d\u0438\u044f \u043d\u0430\u0432\u044b\u043a\u043e\u0432 \u0440\u0430\u0441\u0441\u0443\u0436\u0434\u0435\u043d\u0438\u044f<\/h3>\n\n\n\n<p>\u041f\u043e\u0441\u043b\u0435 \u043f\u0435\u0440\u0432\u043e\u043d\u0430\u0447\u0430\u043b\u044c\u043d\u043e\u0439 \u043d\u0430\u0441\u0442\u0440\u043e\u0439\u043a\u0438 \u043a\u043e\u043c\u0430\u043d\u0434\u0430 \u0432\u043d\u0435\u0434\u0440\u0438\u043b\u0430 \u0430\u043b\u0433\u043e\u0440\u0438\u0442\u043c \u043f\u043e\u0434\u043a\u0440\u0435\u043f\u043b\u044f\u044e\u0449\u0435\u0433\u043e \u043e\u0431\u0443\u0447\u0435\u043d\u0438\u044f Group Relative Policy Optimization (GRPO):<\/p>\n\n\n\n<ul class=\"wp-block-list\">\n<li>\u0412\u044b\u0431\u043e\u0440\u043a\u0430 \u043d\u0435\u0441\u043a\u043e\u043b\u044c\u043a\u0438\u0445 \u0434\u043e\u043a\u0430\u0437\u0430\u0442\u0435\u043b\u044c\u0441\u0442\u0432 \u043a\u0430\u043d\u0434\u0438\u0434\u0430\u0442\u043e\u0432 \u0434\u043b\u044f \u043a\u0430\u0436\u0434\u043e\u0433\u043e \u0432\u043e\u043f\u0440\u043e\u0441\u0430 \u0438 \u043e\u043f\u0442\u0438\u043c\u0438\u0437\u0430\u0446\u0438\u044f \u0441\u0442\u0440\u0430\u0442\u0435\u0433\u0438\u0438 \u043f\u043e \u043e\u0442\u043d\u043e\u0441\u0438\u0442\u0435\u043b\u044c\u043d\u044b\u043c \u0432\u043e\u0437\u043d\u0430\u0433\u0440\u0430\u0436\u0434\u0435\u043d\u0438\u044f\u043c<\/li>\n\n\n\n<li>\u0418\u0441\u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u043d\u0438\u0435 \u0431\u0438\u043d\u0430\u0440\u043d\u043e\u0433\u043e \u043c\u0435\u0445\u0430\u043d\u0438\u0437\u043c\u0430 \u0432\u043e\u0437\u043d\u0430\u0433\u0440\u0430\u0436\u0434\u0435\u043d\u0438\u044f: \u0437\u0430 \u0443\u0441\u043f\u0435\u0448\u043d\u0443\u044e \u043f\u0440\u043e\u0432\u0435\u0440\u043a\u0443 Lean \u043f\u043e\u043b\u0443\u0447\u0430\u0435\u0442 1 \u0431\u0430\u043b\u043b, \u0437\u0430 \u043d\u0435\u0443\u0434\u0430\u0447\u043d\u0443\u044e - 0.<\/li>\n\n\n\n<li>\u0411\u043e\u043d\u0443\u0441 \u0441\u0442\u0440\u0443\u043a\u0442\u0443\u0440\u043d\u043e\u0439 \u0441\u043e\u0433\u043b\u0430\u0441\u043e\u0432\u0430\u043d\u043d\u043e\u0441\u0442\u0438 \u0441\u043f\u0435\u0446\u0438\u0430\u043b\u044c\u043d\u043e \u0440\u0430\u0437\u0440\u0430\u0431\u043e\u0442\u0430\u043d \u0434\u043b\u044f \u0442\u043e\u0433\u043e, \u0447\u0442\u043e\u0431\u044b \u0433\u0430\u0440\u0430\u043d\u0442\u0438\u0440\u043e\u0432\u0430\u0442\u044c, \u0447\u0442\u043e \u0434\u043e\u043a\u0430\u0437\u0430\u0442\u0435\u043b\u044c\u0441\u0442\u0432\u0430, \u0433\u0435\u043d\u0435\u0440\u0438\u0440\u0443\u0435\u043c\u044b\u0435 \u043c\u043e\u0434\u0435\u043b\u044c\u044e, \u0441\u043e\u0433\u043b\u0430\u0441\u0443\u044e\u0442\u0441\u044f \u0441 \u0438\u0434\u0435\u0435\u0439 \u0434\u0435\u043a\u043e\u043c\u043f\u043e\u0437\u0438\u0446\u0438\u0438 \u0446\u0435\u043f\u043e\u0447\u043a\u0438 \u043c\u044b\u0441\u043b\u0435\u0439.<\/li>\n<\/ul>\n\n\n\n<p>\u042d\u0442\u043e\u0442 \u043c\u0435\u0442\u043e\u0434 \u043e\u0431\u0443\u0447\u0435\u043d\u0438\u044f \u0437\u043d\u0430\u0447\u0438\u0442\u0435\u043b\u044c\u043d\u043e \u043f\u043e\u0432\u044b\u0448\u0430\u0435\u0442 \u0442\u043e\u0447\u043d\u043e\u0441\u0442\u044c \u043c\u043e\u0434\u0435\u043b\u0438 \u043f\u0440\u0438 \u0434\u043e\u043a\u0430\u0437\u0430\u0442\u0435\u043b\u044c\u0441\u0442\u0432\u0435 \u0441\u043b\u043e\u0436\u043d\u044b\u0445 \u0442\u0435\u043e\u0440\u0435\u043c.<\/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: \u043d\u043e\u0432\u044b\u0439 \u043d\u0430\u0431\u043e\u0440 \u043c\u0430\u0442\u0435\u043c\u0430\u0442\u0438\u0447\u0435\u0441\u043a\u0438\u0445 \u044d\u0442\u0430\u043b\u043e\u043d\u043e\u0432<\/h2>\n\n\n\n<p>\u041f\u043e\u043c\u0438\u043c\u043e \u0441\u0430\u043c\u043e\u0439 \u043c\u043e\u0434\u0435\u043b\u0438, DeepSeek \u0432\u044b\u043f\u0443\u0441\u0442\u0438\u043b\u0430 ProverBench - \u044d\u0442\u0430\u043b\u043e\u043d\u043d\u044b\u0439 \u043d\u0430\u0431\u043e\u0440 \u0434\u0430\u043d\u043d\u044b\u0445 \u0438\u0437 325 \u0432\u043e\u043f\u0440\u043e\u0441\u043e\u0432:<\/p>\n\n\n\n<ul class=\"wp-block-list\">\n<li>15 \u0432\u043e\u043f\u0440\u043e\u0441\u043e\u0432 \u043f\u043e \u0442\u0435\u043e\u0440\u0438\u0438 \u0447\u0438\u0441\u0435\u043b \u0438 \u0430\u043b\u0433\u0435\u0431\u0440\u0435 \u0438\u0437 \u043f\u043e\u0441\u043b\u0435\u0434\u043d\u0438\u0445 \u043c\u0430\u0442\u0435\u043c\u0430\u0442\u0438\u0447\u0435\u0441\u043a\u0438\u0445 \u043a\u043e\u043d\u043a\u0443\u0440\u0441\u043e\u0432, \u0442\u0430\u043a\u0438\u0445 \u043a\u0430\u043a AIME 24 \u0438 25<\/li>\n\n\n\n<li>310 \u0432\u043e\u043f\u0440\u043e\u0441\u043e\u0432, \u043e\u0442\u043e\u0431\u0440\u0430\u043d\u043d\u044b\u0445 \u0438\u0437 \u043f\u0440\u0438\u043c\u0435\u0440\u043e\u0432 \u0443\u0447\u0435\u0431\u043d\u0438\u043a\u0430 \u0438 \u0443\u0447\u0435\u0431\u043d\u044b\u0445 \u043f\u043e\u0441\u043e\u0431\u0438\u0439, \u043e\u0445\u0432\u0430\u0442\u044b\u0432\u0430\u044e\u0449\u0438\u0445 \u0448\u0438\u0440\u043e\u043a\u0438\u0439 \u0441\u043f\u0435\u043a\u0442\u0440 \u0443\u0440\u043e\u0432\u043d\u0435\u0439 \u0441\u043b\u043e\u0436\u043d\u043e\u0441\u0442\u0438 \u0438 \u043e\u0431\u043b\u0430\u0441\u0442\u0435\u0439.<\/li>\n<\/ul>\n\n\n\n<p>\u042d\u0442\u043e\u0442 \u043d\u0430\u0431\u043e\u0440 \u0434\u0430\u043d\u043d\u044b\u0445 \u043f\u0440\u0435\u0434\u043d\u0430\u0437\u043d\u0430\u0447\u0435\u043d \u0434\u043b\u044f \u0432\u0441\u0435\u0441\u0442\u043e\u0440\u043e\u043d\u043d\u0435\u0439 \u043e\u0446\u0435\u043d\u043a\u0438 \u043c\u043e\u0434\u0435\u043b\u0435\u0439 \u043a\u0430\u043a \u043d\u0430 \u0443\u0440\u043e\u0432\u043d\u0435 \u0448\u043a\u043e\u043b\u044c\u043d\u044b\u0445 \u0441\u043e\u0440\u0435\u0432\u043d\u043e\u0432\u0430\u043d\u0438\u0439, \u0442\u0430\u043a \u0438 \u043d\u0430 \u0443\u0440\u043e\u0432\u043d\u0435 \u043c\u0430\u0442\u0435\u043c\u0430\u0442\u0438\u0447\u0435\u0441\u043a\u043e\u0433\u043e \u0431\u0430\u043a\u0430\u043b\u0430\u0432\u0440\u0438\u0430\u0442\u0430, \u0430 \u0442\u0430\u043a\u0436\u0435 \u0434\u043b\u044f \u0441\u043e\u0437\u0434\u0430\u043d\u0438\u044f \u0431\u043e\u043b\u0435\u0435 \u0441\u0438\u0441\u0442\u0435\u043c\u0430\u0442\u0438\u0447\u0435\u0441\u043a\u043e\u0439 \u043f\u043b\u0430\u0442\u0444\u043e\u0440\u043c\u044b \u0434\u043b\u044f \u0442\u0435\u0441\u0442\u0438\u0440\u043e\u0432\u0430\u043d\u0438\u044f \u043c\u0430\u0442\u0435\u043c\u0430\u0442\u0438\u0447\u0435\u0441\u043a\u0438\u0445 \u0418\u0418-\u0438\u0441\u0441\u043b\u0435\u0434\u043e\u0432\u0430\u043d\u0438\u0439.<\/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\">\u042d\u043a\u0441\u043f\u0435\u0440\u0438\u043c\u0435\u043d\u0442\u0430\u043b\u044c\u043d\u044b\u0435 \u0440\u0435\u0437\u0443\u043b\u044c\u0442\u0430\u0442\u044b \u0438 \u043e\u0441\u043d\u043e\u0432\u043d\u044b\u0435 \u0432\u044b\u0432\u043e\u0434\u044b<\/h2>\n\n\n\n<p>\u0412 \u0445\u043e\u0434\u0435 \u0438\u0441\u0441\u043b\u0435\u0434\u043e\u0432\u0430\u043d\u0438\u044f \u043a\u043e\u043c\u0430\u043d\u0434\u0430 \u043e\u0431\u043d\u0430\u0440\u0443\u0436\u0438\u043b\u0430 \u043d\u0435\u0441\u043a\u043e\u043b\u044c\u043a\u043e \u0438\u043d\u0442\u0435\u0440\u0435\u0441\u043d\u044b\u0445 \u044f\u0432\u043b\u0435\u043d\u0438\u0439:<\/p>\n\n\n\n<h3 class=\"wp-block-heading\" id=\"h-cot-vs-non-cot\u6a21\u5f0f\">\u041c\u043e\u0434\u0435\u043b\u0438 CoT \u0438 \u043c\u043e\u0434\u0435\u043b\u0438 \u0431\u0435\u0437 CoT<\/h3>\n\n\n\n<p>DeepSeek-Prover-V2 \u043f\u043e\u0434\u0434\u0435\u0440\u0436\u0438\u0432\u0430\u0435\u0442 \u0434\u0432\u0430 \u0432\u0437\u0430\u0438\u043c\u043e\u0434\u043e\u043f\u043e\u043b\u043d\u044f\u044e\u0449\u0438\u0445 \u0440\u0435\u0436\u0438\u043c\u0430 \u0433\u0435\u043d\u0435\u0440\u0430\u0446\u0438\u0438 \u0434\u043e\u043a\u0430\u0437\u0430\u0442\u0435\u043b\u044c\u0441\u0442\u0432:<\/p>\n\n\n\n<ul class=\"wp-block-list\">\n<li><strong>\u0412\u044b\u0441\u043e\u043a\u043e\u044d\u0444\u0444\u0435\u043a\u0442\u0438\u0432\u043d\u0430\u044f \u043c\u043e\u0434\u0435\u043b\u044c \u0431\u0435\u0437 \u0446\u0435\u043f\u043e\u0447\u043a\u0438 \u043c\u044b\u0441\u043b\u0435\u0439 (non-CoT)<\/strong>: \u0411\u044b\u0441\u0442\u0440\u0430\u044f \u0433\u0435\u043d\u0435\u0440\u0430\u0446\u0438\u044f \u0431\u0435\u0440\u0435\u0436\u043b\u0438\u0432\u043e\u0433\u043e \u043a\u043e\u0434\u0430 Lean \u0431\u0435\u0437 \u043f\u0440\u043e\u043c\u0435\u0436\u0443\u0442\u043e\u0447\u043d\u044b\u0445 \u0448\u0430\u0433\u043e\u0432 \u0432\u044b\u0432\u043e\u0434\u0430<\/li>\n\n\n\n<li><strong>\u0412\u044b\u0441\u043e\u043a\u043e\u0442\u043e\u0447\u043d\u0430\u044f \u043c\u043e\u0434\u0435\u043b\u044c \u0446\u0435\u043f\u0438 \u043c\u044b\u0448\u043b\u0435\u043d\u0438\u044f (CoT)<\/strong>: \u0441\u0438\u0441\u0442\u0435\u043c\u0430\u0442\u0438\u0447\u0435\u0441\u043a\u043e\u0435 \u043f\u0440\u0435\u0434\u0441\u0442\u0430\u0432\u043b\u0435\u043d\u0438\u0435 \u043f\u0440\u043e\u0446\u0435\u0441\u0441\u0430 \u0440\u0430\u0441\u0441\u0443\u0436\u0434\u0435\u043d\u0438\u0439 \u0438 \u043f\u043e\u0441\u0442\u0435\u043f\u0435\u043d\u043d\u043e\u0435 \u043f\u043e\u0441\u0442\u0440\u043e\u0435\u043d\u0438\u0435 \u043b\u043e\u0433\u0438\u0447\u0435\u0441\u043a\u0438 \u044f\u0441\u043d\u044b\u0445 \u0434\u043e\u043a\u0430\u0437\u0430\u0442\u0435\u043b\u044c\u0441\u0442\u0432<\/li>\n<\/ul>\n\n\n\n<p>\u042d\u043a\u0441\u043f\u0435\u0440\u0438\u043c\u0435\u043d\u0442\u044b \u043f\u043e\u043a\u0430\u0437\u044b\u0432\u0430\u044e\u0442 \u0437\u043d\u0430\u0447\u0438\u0442\u0435\u043b\u044c\u043d\u043e\u0435 \u043f\u0440\u0435\u0438\u043c\u0443\u0449\u0435\u0441\u0442\u0432\u043e \u043c\u043e\u0434\u0435\u043b\u0438 CoT \u043d\u0430\u0434 \u043c\u043e\u0434\u0435\u043b\u044c\u044e \u0431\u0435\u0437 CoT \u0432 \u0444\u043e\u0440\u043c\u0430\u043b\u044c\u043d\u044b\u0445 \u043c\u0430\u0442\u0435\u043c\u0430\u0442\u0438\u0447\u0435\u0441\u043a\u0438\u0445 \u0440\u0430\u0441\u0441\u0443\u0436\u0434\u0435\u043d\u0438\u044f\u0445, \u043f\u043e\u0434\u0442\u0432\u0435\u0440\u0436\u0434\u0430\u044f \u044d\u0444\u0444\u0435\u043a\u0442\u0438\u0432\u043d\u043e\u0441\u0442\u044c \u043f\u043e\u0434\u0441\u043a\u0430\u0437\u043a\u0438 \u0446\u0435\u043f\u043e\u0447\u043a\u0438 \u0440\u0430\u0437\u043c\u044b\u0448\u043b\u0435\u043d\u0438\u0439 \u0432 \u043e\u0431\u043b\u0430\u0441\u0442\u0438 \u0434\u043e\u043a\u0430\u0437\u0430\u0442\u0435\u043b\u044c\u0441\u0442\u0432\u0430 \u0442\u0435\u043e\u0440\u0435\u043c.<\/p>\n\n\n\n<h3 class=\"wp-block-heading\" id=\"h-\u5c0f\u6a21\u578b\u7684\u610f\u5916\u80fd\u529b\">\u041d\u0435\u043e\u0436\u0438\u0434\u0430\u043d\u043d\u044b\u0435 \u0432\u043e\u0437\u043c\u043e\u0436\u043d\u043e\u0441\u0442\u0438 \u043c\u0430\u043b\u0435\u043d\u044c\u043a\u0438\u0445 \u043c\u043e\u0434\u0435\u043b\u0435\u0439<\/h3>\n\n\n\n<p>\u0423\u0434\u0438\u0432\u0438\u0442\u0435\u043b\u044c\u043d\u043e, \u043d\u043e DeepSeek-Prover-V2-7B \u043f\u0440\u0435\u0432\u0437\u043e\u0448\u0435\u043b \u0432\u0441\u0435 \u043e\u0436\u0438\u0434\u0430\u043d\u0438\u044f \u043f\u0440\u0438 \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u043d\u0438\u0438 \u043d\u0435-CoT-\u043c\u043e\u0434\u0435\u043b\u0438 \u0432 \u043d\u0430\u0431\u043e\u0440\u0435 \u0434\u0430\u043d\u043d\u044b\u0445 PutnamBench. \u041e\u043d\u0430 \u0434\u0430\u0436\u0435 \u0440\u0435\u0448\u0438\u043b\u0430 13 \u0432\u043e\u043f\u0440\u043e\u0441\u043e\u0432, \u043a\u043e\u0442\u043e\u0440\u044b\u0435 \u043d\u0435 \u0441\u043c\u043e\u0433\u043b\u0430 \u0440\u0435\u0448\u0438\u0442\u044c \u043c\u043e\u0434\u0435\u043b\u044c 671B!<\/p>\n\n\n\n<p>\u0410\u043d\u0430\u043b\u0438\u0437 \u043f\u043e\u043a\u0430\u0437\u0430\u043b, \u0447\u0442\u043e \u043c\u043e\u0434\u0435\u043b\u044c 7B \u043f\u0440\u0438\u043e\u0431\u0440\u0435\u043b\u0430 \u0443\u043d\u0438\u043a\u0430\u043b\u044c\u043d\u0443\u044e \u0442\u0435\u0445\u043d\u0438\u043a\u0443 - \u0447\u0430\u0441\u0442\u043e\u0435 \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u043d\u0438\u0435 Cardinal.toNat \u0438 Cardinal.natCast_inj \u0434\u043b\u044f \u0440\u0435\u0448\u0435\u043d\u0438\u044f \u0437\u0430\u0434\u0430\u0447 \u0441 \u043a\u043e\u043d\u0435\u0447\u043d\u044b\u043c\u0438 \u043e\u0441\u043d\u043e\u0432\u0430\u043d\u0438\u044f\u043c\u0438, - \u043a\u043e\u0442\u043e\u0440\u0430\u044f \u0440\u0435\u0434\u043a\u043e \u0432\u0441\u0442\u0440\u0435\u0447\u0430\u0435\u0442\u0441\u044f \u0432 \u043c\u043e\u0434\u0435\u043b\u0438 671B. \u042d\u0442\u043e\u0442 \u0432\u044b\u0432\u043e\u0434 \u0433\u043e\u0432\u043e\u0440\u0438\u0442 \u043e \u0442\u043e\u043c, \u0447\u0442\u043e \u043e\u0431\u0443\u0447\u0435\u043d\u0438\u0435 \u0441 \u043f\u043e\u0434\u043a\u0440\u0435\u043f\u043b\u0435\u043d\u0438\u0435\u043c \u043d\u0435 \u0442\u043e\u043b\u044c\u043a\u043e \u0443\u043b\u0443\u0447\u0448\u0430\u0435\u0442 \u043e\u0431\u0449\u0443\u044e \u043f\u0440\u043e\u0438\u0437\u0432\u043e\u0434\u0438\u0442\u0435\u043b\u044c\u043d\u043e\u0441\u0442\u044c, \u043d\u043e \u0438 \u043f\u043e\u0437\u0432\u043e\u043b\u044f\u0435\u0442 \u043c\u043e\u0434\u0435\u043b\u0438 \u0440\u0430\u0437\u0432\u0438\u0432\u0430\u0442\u044c \u0441\u043f\u0435\u0446\u0438\u0430\u043b\u0438\u0437\u0438\u0440\u043e\u0432\u0430\u043d\u043d\u044b\u0435 \u043c\u0435\u0442\u043e\u0434\u044b \u0440\u0435\u0448\u0435\u043d\u0438\u044f \u0437\u0430\u0434\u0430\u0447.<\/p>\n\n\n\n<h2 class=\"wp-block-heading\" id=\"h-\u5feb\u901f\u4e0a\u624b\u6307\u5357\">\u041a\u0440\u0430\u0442\u043a\u043e\u0435 \u0440\u0443\u043a\u043e\u0432\u043e\u0434\u0441\u0442\u0432\u043e \u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u0442\u0435\u043b\u044f<\/h2>\n\n\n\n<p>\u0425\u043e\u0442\u0438\u0442\u0435 \u043f\u043e\u043f\u0440\u043e\u0431\u043e\u0432\u0430\u0442\u044c DeepSeek-Prover-V2? \u0412\u043e\u0442 \u043f\u0440\u043e\u0441\u0442\u043e\u0439 \u043f\u0440\u0438\u043c\u0435\u0440, \u043f\u043e\u043a\u0430\u0437\u044b\u0432\u0430\u044e\u0449\u0438\u0439, \u043a\u0430\u043a \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u0442\u044c \u0431\u0438\u0431\u043b\u0438\u043e\u0442\u0435\u043a\u0443 Hugging Face's Transformers \u0434\u043b\u044f \u0432\u044b\u0432\u043e\u0434\u0430 \u043c\u043e\u0434\u0435\u043b\u0438:<\/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\n\u0438\u043c\u043f\u043e\u0440\u0442\u0438\u0440\u043e\u0432\u0430\u0442\u044c \u0444\u0430\u043a\u0435\u043b\n\ntorch.manual_seed(30)\nmodel_id = \"deepseek-ai\/DeepSeek-Prover-V2-7B\" # \u0438\u043b\u0438 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\/-- \u041a\u0430\u043a\u043e\u0432\u0430 \u043f\u043e\u043b\u043e\u0436\u0438\u0442\u0435\u043b\u044c\u043d\u0430\u044f \u0440\u0430\u0437\u043d\u043e\u0441\u0442\u044c \u043c\u0435\u0436\u0434\u0443 $120\\%$ \u0438\u0437 30 \u0438 $130\\%$ \u0438\u0437 20? \u041f\u043e\u043a\u0430\u0436\u0438\u0442\u0435, \u0447\u0442\u043e \u043e\u043d\u0430 \u0440\u0430\u0432\u043d\u0430 10.-\/\n\u0422\u0435\u043e\u0440\u0435\u043c\u0430 mathd_algebra_10 : abs ((120 : \u211d) \/ 100 * 30 - 130 \/ 100 * 20) = 10 := by\n    \u0438\u0437\u0432\u0438\u043d\u0438\u0442\u0435\n\"\"\".strip()\n\nprompt = \"\"\"\n\u0412\u044b\u043f\u043e\u043b\u043d\u0438\u0442\u0435 \u0441\u043b\u0435\u0434\u0443\u044e\u0449\u0438\u0439 \u043a\u043e\u0434 Lean 4.\n ``lean4\n{}<\/code><\/pre><\/div>\n\n\n\n<h2 class=\"wp-block-heading\" id=\"h-\u672a\u6765\u5c55\u671b\">\u043f\u0440\u043e\u0433\u043d\u043e\u0437 \u043d\u0430 \u0431\u0443\u0434\u0443\u0449\u0435\u0435<\/h2>\n\n\n\n<p>\u041a\u043e\u043c\u0430\u043d\u0434\u0430 DeepSeek \u0443\u0442\u0432\u0435\u0440\u0436\u0434\u0430\u0435\u0442, \u0447\u0442\u043e \u0432 \u0431\u0443\u0434\u0443\u0449\u0435\u043c \u0440\u0430\u0431\u043e\u0442\u0430 \u0431\u0443\u0434\u0435\u0442 \u0441\u043e\u0441\u0440\u0435\u0434\u043e\u0442\u043e\u0447\u0435\u043d\u0430 \u043d\u0430 \u0440\u0430\u0441\u0448\u0438\u0440\u0435\u043d\u0438\u0438 \u044d\u0442\u043e\u0433\u043e \u0444\u0440\u0435\u0439\u043c\u0432\u043e\u0440\u043a\u0430 \u0434\u043e AlphaProof-\u043f\u043e\u0434\u043e\u0431\u043d\u044b\u0445 \u0441\u0438\u0441\u0442\u0435\u043c. \u041a\u043e\u043d\u0435\u0447\u043d\u043e\u0439 \u0446\u0435\u043b\u044c\u044e \u044f\u0432\u043b\u044f\u0435\u0442\u0441\u044f \u0440\u0435\u0448\u0435\u043d\u0438\u0435 \u043c\u0430\u0442\u0435\u043c\u0430\u0442\u0438\u0447\u0435\u0441\u043a\u0438\u0445 \u0433\u043e\u043b\u043e\u0432\u043e\u043b\u043e\u043c\u043e\u043a \u0443\u0440\u043e\u0432\u043d\u044f IMO, \u043a\u043e\u0442\u043e\u0440\u044b\u0435 \u043f\u0440\u0435\u0434\u0441\u0442\u0430\u0432\u043b\u044f\u044e\u0442 \u0441\u043e\u0431\u043e\u0439 \u043f\u0435\u0440\u0435\u0434\u043d\u0438\u0439 \u043a\u0440\u0430\u0439 \u043e\u0431\u043b\u0430\u0441\u0442\u0438 \u0430\u0432\u0442\u043e\u043c\u0430\u0442\u0438\u0437\u0438\u0440\u043e\u0432\u0430\u043d\u043d\u043e\u0433\u043e \u0434\u043e\u043a\u0430\u0437\u0430\u0442\u0435\u043b\u044c\u0441\u0442\u0432\u0430 \u0442\u0435\u043e\u0440\u0435\u043c. \u0421 \u0432\u044b\u0445\u043e\u0434\u043e\u043c DeepSeek-Prover-V2 \u043c\u044b \u043c\u043e\u0436\u0435\u043c \u0441\u0442\u0430\u0442\u044c \u0441\u0432\u0438\u0434\u0435\u0442\u0435\u043b\u044f\u043c\u0438 \u0441\u0435\u0440\u044c\u0435\u0437\u043d\u044b\u0445 \u0438\u0437\u043c\u0435\u043d\u0435\u043d\u0438\u0439 \u0432 \u0438\u0437\u0443\u0447\u0435\u043d\u0438\u0438 \u043c\u0430\u0442\u0435\u043c\u0430\u0442\u0438\u043a\u0438. \u042d\u0442\u0430 \u043c\u043e\u0434\u0435\u043b\u044c \u043f\u0440\u0435\u0434\u0441\u0442\u0430\u0432\u043b\u044f\u0435\u0442 \u0441\u043e\u0431\u043e\u0439 \u043d\u0435 \u043f\u0440\u043e\u0441\u0442\u043e \u0442\u0435\u0445\u043d\u043e\u043b\u043e\u0433\u0438\u0447\u0435\u0441\u043a\u043e\u0435 \u0434\u043e\u0441\u0442\u0438\u0436\u0435\u043d\u0438\u0435, \u0430 \u043d\u043e\u0432\u0443\u044e \u043f\u0430\u0440\u0430\u0434\u0438\u0433\u043c\u0443 \u0441\u043e\u0442\u0440\u0443\u0434\u043d\u0438\u0447\u0435\u0441\u0442\u0432\u0430 \u0447\u0435\u043b\u043e\u0432\u0435\u043a\u0430 \u0441 \u0438\u0441\u043a\u0443\u0441\u0441\u0442\u0432\u0435\u043d\u043d\u044b\u043c \u0438\u043d\u0442\u0435\u043b\u043b\u0435\u043a\u0442\u043e\u043c \u0434\u043b\u044f \u0440\u0435\u0448\u0435\u043d\u0438\u044f \u0441\u043b\u043e\u0436\u043d\u044b\u0445 \u0437\u0430\u0434\u0430\u0447.<br><br>\u0422\u0435\u043c \u0432\u0440\u0435\u043c\u0435\u043d\u0435\u043c \u043e\u0436\u0438\u0434\u0430\u043d\u0438\u0435 DeepSeek-R2 \u0441\u0442\u0430\u043d\u043e\u0432\u0438\u0442\u0441\u044f \u0432\u0441\u0435 \u0441\u0438\u043b\u044c\u043d\u0435\u0435. \u041a\u0430\u043a \u0441\u043a\u0430\u0437\u0430\u043b \u043e\u0434\u0438\u043d \u0438\u0437 \u043d\u0435\u0442\u0438\u0437\u0435\u043d\u043e\u0432: \"\u0422\u0443\u043a-\u0442\u0443\u043a, \u044d\u0442\u043e\u0442 \u043c\u0430\u043b\u0435\u043d\u044c\u043a\u0438\u0439 \u0441\u0438\u043d\u0438\u0439 \u043a\u0438\u0442, \u043a\u043e\u0433\u0434\u0430 \u0436\u0435, \u0447\u0435\u0440\u0442 \u0432\u043e\u0437\u044c\u043c\u0438, \u0432\u044b\u0439\u0434\u0435\u0442 R2!\".<\/p>\n\n\n\n<p><strong>\u0415\u0441\u043b\u0438 \u0432\u044b \u0445\u043e\u0442\u0438\u0442\u0435 \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u0442\u044c \u043e\u0444\u0438\u0446\u0438\u0430\u043b\u044c\u043d\u044b\u0439 \u043f\u043b\u0430\u0442\u043d\u044b\u0439 \u044d\u043a\u0441\u043a\u043b\u044e\u0437\u0438\u0432\u043d\u044b\u0439 \u0430\u043a\u043a\u0430\u0443\u043d\u0442 GPT Plus, Claude Pro, Grok Super, \u0432\u044b \u043c\u043e\u0436\u0435\u0442\u0435 \u0441\u0432\u044f\u0437\u0430\u0442\u044c\u0441\u044f \u0441 \u043d\u0430\u0448\u0435\u0439 \u043f\u0440\u043e\u0444\u0435\u0441\u0441\u0438\u043e\u043d\u0430\u043b\u044c\u043d\u043e\u0439 \u043a\u043e\u043c\u0430\u043d\u0434\u043e\u0439 (wx: abch891), \u0435\u0441\u043b\u0438 \u0432\u044b \u043d\u0435 \u0437\u043d\u0430\u0435\u0442\u0435, \u043a\u0430\u043a \u043f\u043e\u043f\u043e\u043b\u043d\u0438\u0442\u044c \u0441\u0432\u043e\u0439 \u0441\u0447\u0435\u0442.<\/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\">\u0414\u043b\u044f \u043f\u043e\u043b\u0443\u0447\u0435\u043d\u0438\u044f \u0434\u043e\u043f\u043e\u043b\u043d\u0438\u0442\u0435\u043b\u044c\u043d\u043e\u0439 \u043f\u0440\u043e\u0434\u0443\u043a\u0446\u0438\u0438, \u043f\u043e\u0436\u0430\u043b\u0443\u0439\u0441\u0442\u0430, \u043e\u0437\u043d\u0430\u043a\u043e\u043c\u044c\u0442\u0435\u0441\u044c \u0441<\/h4>\n<\/th>\n<th style=\"width: 50%;height: 48px;border: 1px solid #ddd;padding: 8px\">\n<h4 style=\"margin: 0\">\u0421\u043c. \u043f\u043e\u0434\u0440\u043e\u0431\u043d\u0435\u0435<\/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\/ru\/\" data-linktype=\"2\">ShirtAI - \u043f\u0440\u043e\u043d\u0438\u043a\u0430\u044e\u0449\u0438\u0439 \u0438\u043d\u0442\u0435\u043b\u043b\u0435\u043a\u0442<\/a><\/td>\n<td style=\"width: 50%;height: 63px;border: 1px solid #ddd;padding: 8px\"><a href=\"https:\/\/www.myshirtai.com\/ru\/archives\/4425\/\" data-linktype=\"2\">\u0411\u043e\u043b\u044c\u0448\u0430\u044f \u043c\u043e\u0434\u0435\u043b\u044c AIGC: \u043d\u0430\u0447\u0430\u043b\u043e \u044d\u0440\u044b \u0434\u0432\u043e\u0439\u043d\u043e\u0439 \u0440\u0435\u0432\u043e\u043b\u044e\u0446\u0438\u0438 \u0432 \u0438\u043d\u0436\u0435\u043d\u0435\u0440\u043d\u043e\u043c \u0434\u0435\u043b\u0435 \u0438 \u043d\u0430\u0443\u043a\u0435 - \u041f\u0440\u043e\u043d\u0438\u043a\u0430\u044e\u0449\u0430\u044f \u0440\u0430\u0437\u0432\u0435\u0434\u043a\u0430<\/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\/ru\/\" data-linktype=\"2\">1:1 \u0412\u043e\u0441\u0441\u0442\u0430\u043d\u043e\u0432\u043b\u0435\u043d\u0438\u0435 \u041a\u043b\u043e\u0434\u0430 \u0438 GPT \u041e\u0444\u0438\u0446\u0438\u0430\u043b\u044c\u043d\u044b\u0439 \u0441\u0430\u0439\u0442 - 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\">\u041f\u0440\u0438\u043b\u043e\u0436\u0435\u043d\u0438\u0435 \u0434\u043b\u044f \u043f\u0440\u043e\u0441\u043c\u043e\u0442\u0440\u0430 \u043f\u0440\u044f\u043c\u044b\u0445 \u0442\u0440\u0430\u043d\u0441\u043b\u044f\u0446\u0438\u0439 \u043c\u0430\u0442\u0447\u0435\u0439 Global HD Sports Viewing Player (\u0440\u0435\u043a\u043e\u043c\u0435\u043d\u0434\u0443\u0435\u0442\u0441\u044f) - Blueshirt Technology<\/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\">\u0422\u0440\u0430\u043d\u0437\u0438\u0442\u043d\u044b\u0439 \u0441\u0435\u0440\u0432\u0438\u0441 \u043d\u0430 \u043e\u0441\u043d\u043e\u0432\u0435 \u043e\u0444\u0438\u0446\u0438\u0430\u043b\u044c\u043d\u043e\u0433\u043e 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\">\u041f\u043e\u043c\u043e\u0433\u0438\u0442\u0435, \u043c\u043e\u0436\u0435\u0442 \u043b\u0438 \u043a\u0442\u043e-\u043d\u0438\u0431\u0443\u0434\u044c \u0438\u0437 \u0432\u0430\u0441 \u0434\u0430\u0442\u044c \u043d\u0435\u0441\u043a\u043e\u043b\u044c\u043a\u043e \u0441\u043e\u0432\u0435\u0442\u043e\u0432 \u043e \u0442\u043e\u043c, \u043a\u0430\u043a \u0437\u0430\u0434\u0430\u0432\u0430\u0442\u044c \u0432\u043e\u043f\u0440\u043e\u0441\u044b \u0432 GPT? - \u0437\u043d\u0430\u043d\u0438\u0435<\/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\">\u0413\u043b\u043e\u0431\u0430\u043b\u044c\u043d\u044b\u0439 \u0446\u0438\u0444\u0440\u043e\u0432\u043e\u0439 \u043c\u0430\u0433\u0430\u0437\u0438\u043d \u0432\u0438\u0440\u0442\u0443\u0430\u043b\u044c\u043d\u044b\u0445 \u0442\u043e\u0432\u0430\u0440\u043e\u0432 - 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\">\u041d\u0430\u0441\u043a\u043e\u043b\u044c\u043a\u043e \u043c\u043e\u0449\u043d\u043e\u0439 \u044f\u0432\u043b\u044f\u0435\u0442\u0441\u044f \u0444\u0443\u043d\u043a\u0446\u0438\u044f Claude airtfacts, \u0447\u0442\u043e GPT \u043c\u0433\u043d\u043e\u0432\u0435\u043d\u043d\u043e \u043f\u0435\u0440\u0435\u0441\u0442\u0430\u0435\u0442 \u0445\u043e\u0440\u043e\u0448\u043e \u043f\u0430\u0445\u043d\u0443\u0442\u044c? -BeepBeep<\/a><\/td>\n<\/tr>\n<\/tbody>\n<\/table>","protected":false},"excerpt":{"rendered":"<p>1 \u043c\u0430\u044f \u043a\u043e\u043c\u043f\u0430\u043d\u0438\u044f DeepSeek \u0432\u044b\u043b\u043e\u0436\u0438\u043b\u0430 \u0432 \u043e\u0442\u043a\u0440\u044b\u0442\u044b\u0439 \u0434\u043e\u0441\u0442\u0443\u043f \u043c\u043e\u0434\u0435\u043b\u044c DeepSeek-Prover2, \u043f\u0440\u0435\u0434\u043d\u0430\u0437\u043d\u0430\u0447\u0435\u043d\u043d\u0443\u044e \u0434\u043b\u044f \u043c\u0430\u0442\u0435\u043c\u0430\u0442\u0438\u0447\u0435\u0441\u043a\u0438\u0445 \u0434\u043e\u043a\u0430\u0437\u0430\u0442\u0435\u043b\u044c\u0441\u0442\u0432 \u0438 \u0441\u043e\u0434\u0435\u0440\u0436\u0430\u0449\u0443\u044e 671 \u043c\u0438\u043b\u043b\u0438\u0430\u0440\u0434 \u043f\u0430\u0440\u0430\u043c\u0435\u0442\u0440\u043e\u0432, \u0430 \u0442\u0430\u043a\u0436\u0435 \u0432\u0435\u0440\u0441\u0438\u044e \u0441 7 \u043c\u0438\u043b\u043b\u0438\u0430\u0440\u0434\u0430\u043c\u0438 \u043f\u0430\u0440\u0430\u043c\u0435\u0442\u0440\u043e\u0432. \u041c\u043e\u0434\u0435\u043b\u044c \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u0443\u0435\u0442 \u043a\u043e\u043c\u0431\u0438\u043d\u0430\u0446\u0438\u044e \u0440\u0435\u043a\u0443\u0440\u0441\u0438\u0438 \u0438 \u043e\u0431\u0443\u0447\u0435\u043d\u0438\u044f \u0441 \u043f\u043e\u0434\u043a\u0440\u0435\u043f\u043b\u0435\u043d\u0438\u0435\u043c, \u0447\u0442\u043e \u043f\u043e\u0437\u0432\u043e\u043b\u044f\u0435\u0442 \u0435\u0439 \u0443\u0441\u043f\u0435\u0448\u043d\u043e \u0441\u043f\u0440\u0430\u0432\u043b\u044f\u0442\u044c\u0441\u044f \u0441 \u043d\u0435\u0441\u043a\u043e\u043b\u044c\u043a\u0438\u043c\u0438 \u043c\u0430\u0442\u0435\u043c\u0430\u0442\u0438\u0447\u0435\u0441\u043a\u0438\u043c\u0438 \u0442\u0435\u0441\u0442\u0430\u043c\u0438, \u043d\u0430\u043f\u0440\u0438\u043c\u0435\u0440 \u0441 \u0442\u0435\u0441\u0442\u043e\u043c MiniFF \u0441 \u043f\u043e\u043a\u0430\u0437\u0430\u0442\u0435\u043b\u0435\u043c 88,9%. \u0412\u044b\u043f\u0443\u0449\u0435\u043d\u043d\u044b\u0439 \u0442\u043e\u0433\u0434\u0430 \u0436\u0435 \u043d\u0430\u0431\u043e\u0440 \u0434\u0430\u043d\u043d\u044b\u0445 ProBench \u0441\u043e\u0434\u0435\u0440\u0436\u0438\u0442 325 \u0432\u043e\u043f\u0440\u043e\u0441\u043e\u0432 \u0434\u043b\u044f \u043e\u0446\u0435\u043d\u043a\u0438 \u0432\u043e\u0437\u043c\u043e\u0436\u043d\u043e\u0441\u0442\u0435\u0439 \u043c\u043e\u0434\u0435\u043b\u0438. \u042d\u043a\u0441\u043f\u0435\u0440\u0438\u043c\u0435\u043d\u0442\u044b \u043f\u043e\u043a\u0430\u0437\u0430\u043b\u0438, \u0447\u0442\u043e \u043c\u043e\u0434\u0435\u043b\u044c Chain of Thought \u0437\u043d\u0430\u0447\u0438\u0442\u0435\u043b\u044c\u043d\u043e \u043f\u043e\u0432\u044b\u0448\u0430\u0435\u0442 \u0442\u043e\u0447\u043d\u043e\u0441\u0442\u044c, \u0430 \u043c\u0438\u043d\u0438-\u043c\u043e\u0434\u0435\u043b\u044c \u0434\u0430\u0436\u0435 \u043f\u0440\u0435\u0432\u043e\u0441\u0445\u043e\u0434\u0438\u0442 \u0435\u0435 \u043f\u043e \u043e\u0442\u0434\u0435\u043b\u044c\u043d\u044b\u043c \u0437\u0430\u0434\u0430\u0447\u0430\u043c. \u041c\u043e\u0434\u0435\u043b\u044c \u0443\u0436\u0435 \u043d\u0430\u0445\u043e\u0434\u0438\u0442\u0441\u044f \u0432 Hugging Face, \u043f\u043e\u0434\u0434\u0435\u0440\u0436\u0438\u0432\u0430\u044f \u043d\u043e\u0432\u0443\u044e \u043f\u0430\u0440\u0430\u0434\u0438\u0433\u043c\u0443 \u0432 \u043c\u0430\u0442\u0435\u043c\u0430\u0442\u0438\u0447\u0435\u0441\u043a\u0438\u0445 \u0438\u0441\u0441\u043b\u0435\u0434\u043e\u0432\u0430\u043d\u0438\u044f\u0445.<\/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\/ru\/archives\/6382\/\" \/>\n<meta property=\"og:locale\" content=\"ru_RU\" \/>\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\/ru\/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=\"\u041d\u0430\u043f\u0438\u0441\u0430\u043d\u043e \u0430\u0432\u0442\u043e\u0440\u043e\u043c\" \/>\n\t<meta name=\"twitter:data1\" content=\"IvesFeng666\" \/>\n\t<meta name=\"twitter:label2\" content=\"\u041f\u0440\u0438\u043c\u0435\u0440\u043d\u043e\u0435 \u0432\u0440\u0435\u043c\u044f \u0434\u043b\u044f \u0447\u0442\u0435\u043d\u0438\u044f\" \/>\n\t<meta name=\"twitter:data2\" content=\"2 \u043c\u0438\u043d\u0443\u0442\u044b\" \/>\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\":\"ru-RU\",\"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\":\"ru-RU\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\/\/www.myshirtai.com\/archives\/6382\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"ru-RU\",\"@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\":\"ru-RU\"},{\"@type\":\"Organization\",\"@id\":\"https:\/\/www.myshirtai.com\/#organization\",\"name\":\"ShirtAI\",\"alternateName\":\"ShirtAI\",\"url\":\"https:\/\/www.myshirtai.com\/\",\"logo\":{\"@type\":\"ImageObject\",\"inLanguage\":\"ru-RU\",\"@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\":\"ru-RU\",\"@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\/ru\/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\/ru\/archives\/6382\/","og_locale":"ru_RU","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\/ru\/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":{"\u041d\u0430\u043f\u0438\u0441\u0430\u043d\u043e \u0430\u0432\u0442\u043e\u0440\u043e\u043c":"IvesFeng666","\u041f\u0440\u0438\u043c\u0435\u0440\u043d\u043e\u0435 \u0432\u0440\u0435\u043c\u044f \u0434\u043b\u044f \u0447\u0442\u0435\u043d\u0438\u044f":"2 \u043c\u0438\u043d\u0443\u0442\u044b"},"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":"ru-RU","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":"ru-RU","potentialAction":[{"@type":"ReadAction","target":["https:\/\/www.myshirtai.com\/archives\/6382"]}]},{"@type":"ImageObject","inLanguage":"ru-RU","@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":"ru-RU"},{"@type":"Organization","@id":"https:\/\/www.myshirtai.com\/#organization","name":"ShirtAI","alternateName":"ShirtAI","url":"https:\/\/www.myshirtai.com\/","logo":{"@type":"ImageObject","inLanguage":"ru-RU","@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":"ru-RU","@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\/ru\/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\/ru\/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\/ru\/wp-json\/wp\/v2\/posts\/6382","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.myshirtai.com\/ru\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.myshirtai.com\/ru\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.myshirtai.com\/ru\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/www.myshirtai.com\/ru\/wp-json\/wp\/v2\/comments?post=6382"}],"version-history":[{"count":0,"href":"https:\/\/www.myshirtai.com\/ru\/wp-json\/wp\/v2\/posts\/6382\/revisions"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.myshirtai.com\/ru\/wp-json\/wp\/v2\/media\/6381"}],"wp:attachment":[{"href":"https:\/\/www.myshirtai.com\/ru\/wp-json\/wp\/v2\/media?parent=6382"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.myshirtai.com\/ru\/wp-json\/wp\/v2\/categories?post=6382"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.myshirtai.com\/ru\/wp-json\/wp\/v2\/tags?post=6382"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}