{"id":2645,"date":"2026-03-23T19:45:07","date_gmt":"2026-03-23T11:45:07","guid":{"rendered":"https:\/\/7niuai.com\/information\/aippt\/%e7%be%8e%e5%9b%a2%e5%8f%91%e5%b8%83%e5%bc%80%e6%ba%90%e6%95%b0%e5%ad%a6%e8%af%81%e6%98%8e%e6%a8%a1%e5%9e%8blongcat-flash-prover\/"},"modified":"2026-03-23T19:45:07","modified_gmt":"2026-03-23T11:45:07","slug":"%e7%be%8e%e5%9b%a2%e5%8f%91%e5%b8%83%e5%bc%80%e6%ba%90%e6%95%b0%e5%ad%a6%e8%af%81%e6%98%8e%e6%a8%a1%e5%9e%8blongcat-flash-prover","status":"publish","type":"post","link":"https:\/\/7niuai.com\/information\/ai_news\/%e7%be%8e%e5%9b%a2%e5%8f%91%e5%b8%83%e5%bc%80%e6%ba%90%e6%95%b0%e5%ad%a6%e8%af%81%e6%98%8e%e6%a8%a1%e5%9e%8blongcat-flash-prover\/","title":{"rendered":"\u7f8e\u56e2\u53d1\u5e03\u5f00\u6e90\u6570\u5b66\u8bc1\u660e\u6a21\u578bLongCat-Flash-Prover"},"content":{"rendered":"<p>\u7f8e\u56e2\u6b63\u5f0f\u5f00\u6e90\u4e00\u6b3e\u540d\u4e3aLongCat-Flash-Prover\u7684\u5927\u6a21\u578b\uff0c\u8be5\u6a21\u578b\u91c7\u75285677\u4ebf\u53c2\u6570\u7684\u6df7\u5408\u4e13\u5bb6\uff08MoE\uff09\u67b6\u6784\uff0c\u4e13\u95e8\u805a\u7126\u4e8e\u590d\u6742\u6570\u5b66\u8bc1\u660e\u95ee\u9898\u7684\u89e3\u51b3\u3002\u6a21\u578b\u521b\u65b0\u6027\u5730\u5f15\u5165\u6df7\u5408\u4e13\u5bb6\u8fed\u4ee3\u6846\u67b6\uff0c\u5e76\u6574\u5408\u4e86Lean4\u4e0eAST\u591a\u9636\u6bb5\u4e25\u683c\u9a8c\u8bc1\u673a\u5236\uff0c\u80fd\u591f\u6709\u6548\u51cf\u5c11\u6570\u5b66\u63a8\u7406\u4e2d\u7684\u5e7b\u89c9\u73b0\u8c61\u3002\u5728MiniF2F-Test\u6d4b\u8bd5\u96c6\u4e0a\uff0c\u8be5\u6a21\u578b\u53d6\u5f97\u4e8697.1%\u7684\u4f18\u5f02\u6210\u7ee9\uff1b\u5728PutnamBench\u6d4b\u8bd5\u4e2d\uff0c\u6210\u529f\u89e3\u51b3\u4e8641.5%\u7684\u95ee\u9898\uff0c\u4e24\u9879\u6d4b\u8bd5\u7ed3\u679c\u5747\u5237\u65b0\u4e86\u5f53\u524d\u8be5\u9886\u57df\u7684\u6700\u4f73\u6c34\u5e73\uff08SOTA\uff09\u3002<\/p>\n","protected":false},"excerpt":{"rendered":"<p>\u7f8e\u56e2\u6b63\u5f0f\u5f00\u6e90\u4e00\u6b3e\u540d\u4e3aLongCat-Flash-Prover\u7684\u5927\u6a21\u578b\uff0c\u8be5\u6a21\u578b\u91c7\u75285677\u4ebf\u53c2\u6570\u7684\u6df7\u5408\u4e13\u5bb6\uff08MoE\uff09\u67b6\u6784\uff0c\u4e13\u95e8\u805a\u7126\u4e8e\u590d\u6742\u6570\u5b66\u8bc1\u660e\u95ee\u9898\u7684\u89e3\u51b3\u3002\u6a21\u578b\u521b\u65b0\u6027\u5730\u5f15\u5165\u6df7\u5408\u4e13\u5bb6\u8fed\u4ee3\u6846\u67b6\uff0c\u5e76\u6574\u5408\u4e86Lean4\u4e0eAST\u591a\u9636\u6bb5\u4e25\u683c\u9a8c\u8bc1\u673a\u5236\uff0c\u80fd\u591f\u6709\u6548\u51cf\u5c11\u6570\u5b66\u63a8\u7406\u4e2d\u7684\u5e7b\u89c9\u73b0\u8c61\u3002\u5728MiniF2F-Test\u6d4b\u8bd5\u96c6\u4e0a\uff0c\u8be5\u6a21\u578b\u53d6\u5f97\u4e8697.1%\u7684\u4f18\u5f02\u6210\u7ee9\uff1b\u5728PutnamBench\u6d4b\u8bd5\u4e2d\uff0c\u6210\u529f\u89e3\u51b3\u4e8641.5%\u7684\u95ee\u9898\uff0c\u4e24\u9879\u6d4b\u8bd5\u7ed3\u679c\u5747\u5237\u65b0\u4e86\u5f53\u524d\u8be5\u9886\u57df\u7684\u6700\u4f73\u6c34\u5e73\uff08SOTA\uff09\u3002<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"","ping_status":"","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[106],"tags":[110],"class_list":["post-2645","post","type-post","status-publish","format-standard","hentry","category-ai_news","tag-ai_news"],"_links":{"self":[{"href":"https:\/\/7niuai.com\/information\/wp-json\/wp\/v2\/posts\/2645","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/7niuai.com\/information\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/7niuai.com\/information\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/7niuai.com\/information\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/7niuai.com\/information\/wp-json\/wp\/v2\/comments?post=2645"}],"version-history":[{"count":0,"href":"https:\/\/7niuai.com\/information\/wp-json\/wp\/v2\/posts\/2645\/revisions"}],"wp:attachment":[{"href":"https:\/\/7niuai.com\/information\/wp-json\/wp\/v2\/media?parent=2645"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/7niuai.com\/information\/wp-json\/wp\/v2\/categories?post=2645"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/7niuai.com\/information\/wp-json\/wp\/v2\/tags?post=2645"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}