1.0inteligencia osmóticahttps://www.myshirtai.com/esIvesFeng666https://www.myshirtai.com/es/archives/author/adminrich600338<blockquote class="wp-embedded-content" data-secret="5YqJPXCxe0"><a href="https://www.myshirtai.com/es/archives/6382">DeepSeek lanza el modelo Prover-V2: los parámetros 671B mejoran la comprobación de teoremas matemáticos</a></blockquote><iframe sandbox="allow-scripts" security="restricted" src="https://www.myshirtai.com/es/archives/6382/embed#?secret=5YqJPXCxe0" width="600" height="338" title="«DeepSeek发布Prover-V2模型：671B参数助力数学定理证明» — 渗透智能" data-secret="5YqJPXCxe0" frameborder="0" marginwidth="0" marginheight="0" scrolling="no" class="wp-embedded-content"></iframe><script> /*! This file is auto-generated */ !function(d,l){"use strict";l.querySelector&&d.addEventListener&&"undefined"!=typeof URL&&(d.wp=d.wp||{},d.wp.receiveEmbedMessage||(d.wp.receiveEmbedMessage=function(e){var t=e.data;if((t||t.secret||t.message||t.value)&&!/[^a-zA-Z0-9]/.test(t.secret)){for(var s,r,n,a=l.querySelectorAll('iframe[data-secret="'+t.secret+'"]'),o=l.querySelectorAll('blockquote[data-secret="'+t.secret+'"]'),c=new RegExp("^https?:$","i"),i=0;i<o.length;i++)o[i].style.display="none";for(i=0;i<a.length;i++)s=a[i],e.source===s.contentWindow&&(s.removeAttribute("style"),"height"===t.message?(1e3<(r=parseInt(t.value,10))?r=1e3:~~r<200&&(r=200),s.height=r):"link"===t.message&&(r=new URL(s.getAttribute("src")),n=new URL(t.value),c.test(n.protocol))&&n.host===r.host&&l.activeElement===s&&(d.top.location.href=t.value))}},d.addEventListener("message",d.wp.receiveEmbedMessage,!1),l.addEventListener("DOMContentLoaded",function(){for(var e,t,s=l.querySelectorAll("iframe.wp-embedded-content"),r=0;r<s.length;r++)(t=(e=s[r]).getAttribute("data-secret"))||(t=Math.random().toString(36).substring(2,12),e.src+="#?secret="+t,e.setAttribute("data-secret",t)),e.contentWindow.postMessage({message:"ready",secret:t},"*")},!1)))}(window,document); </script>https://www.myshirtai.com/wp-content/uploads/2025/05/maxresdefault.jpg1280720DeepSeek在五一期间开源了专为数学证明设计的DeepSeek-Prover2模型，包含6710亿参数和70亿参数版本。该模型采用递归与强化学习结合的技术在多项数学测试中表现优异，如MiniFF测试通过率达88.9%。同时发布的ProBench数据集包含325道题目，评估模型能力。实验发现思维链模式能显著证明准确率，小模型在特定问题上甚至超越模型。模型已在Hugging Face，支持数学研究新范式。