{"id":810757,"date":"2026-07-06T17:51:43","date_gmt":"2026-07-06T09:51:43","guid":{"rendered":"https:\/\/www.alphaseek.cn\/?p=810757"},"modified":"2026-07-06T17:51:43","modified_gmt":"2026-07-06T09:51:43","slug":"%e9%9d%a2%e5%90%91%e6%95%b0%e5%ad%a6%e5%bd%a2%e5%bc%8f%e5%8c%96%e8%af%81%e6%98%8e%ef%bc%9amistral%e6%8e%a8leanstral-1-5%e4%bd%8e%e4%bd%bf%e7%94%a8%e6%88%90%e6%9c%ac%e6%a8%a1%e5%9e%8b","status":"publish","type":"post","link":"https:\/\/www.alphaseek.cn\/?p=810757","title":{"rendered":"\u9762\u5411\u6570\u5b66\u5f62\u5f0f\u5316\u8bc1\u660e\uff1aMistral\u63a8Leanstral 1.5\u4f4e\u4f7f\u7528\u6210\u672c\u6a21\u578b"},"content":{"rendered":"<p>IT\u4e4b\u5bb6 7 \u6708 6 \u65e5\u6d88\u606f\uff0c<a href=\"https:\/\/www.alphaseek.cn\/?tag=%e6%ac%a7%e6%b4%b2\" title=\"View all posts in \u6b27\u6d32\" target=\"_blank\" class=\"tag_link\">\u6b27\u6d32<\/a><a href=\"https:\/\/www.alphaseek.cn\/?tag=%e4%ba%ba%e5%b7%a5%e6%99%ba%e8%83%bd\" title=\"View all posts in \u4eba\u5de5\u667a\u80fd\" target=\"_blank\" class=\"tag_link\">\u4eba\u5de5\u667a\u80fd<\/a>\u4f01\u4e1a Mistral AI \u5f53\u5730\u65f6\u95f4\u672c\u6708 2 \u65e5\u5ba3\u5e03\u63a8\u51fa<strong>\u9762\u5411\u6570\u5b66\u5f62\u5f0f\u5316\u8bc1\u660e\u7a0b\u5e8f\u8bed\u8a00 Lean 4 \u7684 Leanstral 1.5 \u6a21\u578b<\/strong>\u3002\u8be5\u6a21\u578b\u603b\u5171\u62e5\u6709 119B \u53c2\u6570\uff0c\u6fc0\u6d3b 6B \u53c2\u6570\uff0c\u4ee5 Apache-2.0 \u8bb8\u53ef\u5f00\u6e90\u3002<\/p>\n<p><img data-lazyload=\"https:\/\/x0.ifengimg.com\/res\/2026\/613CA693C018CDADF0453F6C45927B2B9927958F_size296_w768_h427.png\" src=\"https:\/\/tech.ifeng.com\/c\/data:image\/png;base64,iVBORw0KGgoAAAANSUhEUgAAAAEAAAABAQMAAAAl21bKAAAAA1BMVEXy8vJkA4prAAAACklEQVQI12NgAAAAAgAB4iG8MwAAAABJRU5ErkJggg==\" style=\"display:block; margin-left:auto; margin-right:auto\" alt=\"\u9762\u5411\u6570\u5b66\u5f62\u5f0f\u5316\u8bc1\u660e\uff1aMistral\u63a8Leanstral 1.5\u4f4e\u4f7f\u7528\u6210\u672c\u6a21\u578b\"  \/><\/p>\n<p>Mistral AI \u8868\u793a\uff0cLeanstral 1.5 \u6a21\u578b\u5728 miniF2F \u5f62\u5f0f\u6570\u5b66\u57fa\u51c6\u6d4b\u8bd5\u7684\u9a8c\u8bc1\u96c6\u548c\u6d4b\u8bd5\u96c6\u4e0a\u5747\u5b9e\u73b0\u4e86 100% \u7684\u5b8c\u6210\u7387\uff1b\u5728 PutnamBench \u6570\u5b66\u7ade\u8d5b\u95ee\u9898\u96c6\u7684 672 \u9053 Lean 4 \u95ee\u9898\u4e2d\u53ef\u89e3\u51b3 587 \u9053\uff1b\u5bf9\u4e8e FATE \u7cfb\u5217\u62bd\u8c61\u4ee3\u6570\u57fa\u51c6\u6d4b\u8bd5\uff0c\u5176\u5728\u7855\u58eb\u7ea7 FATE-H \u4e0a\u5b9e\u73b0\u4e86 87% \u7684\u8fbe\u6210\u7387\uff0c\u535a\u58eb\u7ea7 FATE-X \u8fbe\u6210\u7387\u5219\u4e3a 34%\uff0c\u5747\u4e3a\u6700\u4f73\u8868\u73b0\u3002<\/p>\n<\/p>\n<p>Mistral AI <strong>\u5f3a\u8c03\u4e86\u65b0\u6a21\u578b\u7684\u6210\u672c\u4f18\u52bf<\/strong>\uff1a\u5bf9\u4e8e PutnamBench \u6570\u636e\u96c6\u4e2d\u7684\u95ee\u9898\uff0cLeanstral 1.5 \u7684\u5e73\u5747\u89e3\u51b3\u5f00\u652f\u4ec5\u6709 4 \u7f8e\u5143\uff0c\u800c Seed-Prover 1.5 \u9700\u8981 300 \u7f8e\u5143\u4ee5\u4e0a\uff0cAleph Prover \u4e5f\u9700\u8981 54~68 \u7f8e\u5143\u3002<\/p>\n<p>\u800c\u5728\u5b9e\u9645\u573a\u666f\u5e94\u7528\u4e2d\uff0cLeanstral 1.5 \u5728\u6d4b\u8bd5\u7684 57 \u4e2a\u4ee3\u7801\u5e93\u4e2d\u6807\u8bb0\u4e86 47 \u4e2a\u8fdd\u89c4\u5c5e\u6027\uff0c\u5176\u4e2d 11 \u4e2a\u6307\u5411\u4e86\u771f\u5b9e\u7684\u7f3a\u9677\uff0c<strong>\u5305\u62ec 5 \u4e2a\u6b64\u524d\u672a\u5728 GitHub \u4e0a\u88ab\u62a5\u544a\u8fc7\u7684\u95ee\u9898<\/strong>\u3002<\/p>\n<p>(\u6765\u6e90\uff1a\u65b0\u6d6a\u79d1\u6280)<\/p>\n","protected":false},"excerpt":{"rendered":"<p>IT\u4e4b\u5bb6 7 \u6708 6 \u65e5\u6d88\u606f\uff0c\u6b27\u6d32\u4eba\u5de5\u667a\u80fd\u4f01\u4e1a Mistral AI \u5f53\u5730\u65f6\u95f4\u672c\u6708 2 \u65e5\u5ba3\u5e03\u63a8\u51fa\u9762\u5411\u6570\u5b66\u5f62\u5f0f [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":[],"categories":[6],"tags":[148,186],"views":2,"_links":{"self":[{"href":"https:\/\/www.alphaseek.cn\/index.php?rest_route=\/wp\/v2\/posts\/810757"}],"collection":[{"href":"https:\/\/www.alphaseek.cn\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.alphaseek.cn\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.alphaseek.cn\/index.php?rest_route=\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/www.alphaseek.cn\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=810757"}],"version-history":[{"count":0,"href":"https:\/\/www.alphaseek.cn\/index.php?rest_route=\/wp\/v2\/posts\/810757\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.alphaseek.cn\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=810757"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.alphaseek.cn\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=810757"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.alphaseek.cn\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=810757"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}