{"id":20653,"date":"2026-11-04T12:10:47","date_gmt":"2026-11-04T04:10:47","guid":{"rendered":"https:\/\/dguan.com.cn\/ai\/?p=20653"},"modified":"2026-11-04T13:55:06","modified_gmt":"2026-11-04T05:55:06","slug":"anthropic%e5%bc%80%e6%ba%90flashprove%ef%bc%9a%e5%9b%9e%e7%ad%94%e5%87%ba%e8%87%aa%e5%93%aa%e4%b8%aa%e6%a8%a1%e5%9e%8b%ef%bc%8c%e6%99%ae%e9%80%9acpu%e5%8d%81%e5%87%a0%e7%a7%92%e5%8f%af%e9%aa%8c","status":"publish","type":"post","link":"https:\/\/dguan.com.cn\/ai\/anthropic%e5%bc%80%e6%ba%90flashprove%ef%bc%9a%e5%9b%9e%e7%ad%94%e5%87%ba%e8%87%aa%e5%93%aa%e4%b8%aa%e6%a8%a1%e5%9e%8b%ef%bc%8c%e6%99%ae%e9%80%9acpu%e5%8d%81%e5%87%a0%e7%a7%92%e5%8f%af%e9%aa%8c\/","title":{"rendered":"Anthropic\u5f00\u6e90FlashProve\uff1a\u56de\u7b54\u51fa\u81ea\u54ea\u4e2a\u6a21\u578b\uff0c\u666e\u901aCPU\u5341\u51e0\u79d2\u53ef\u9a8c\u771f"},"content":{"rendered":"<p>Anthropic\u4e8e11\u67082\u65e5\u53d1\u5e03\u7814\u7a76\u535a\u5ba2\u5e76\u5f00\u6e90\u4e00\u5957\u540d\u4e3aFlashProve\u7684\u5bc6\u7801\u5b66\u9a8c\u8bc1\u7cfb\u7edf\uff0c\u7528\u4e8e\u786e\u8ba4\u4e00\u6bb5AI\u56de\u7b54\u662f\u5426\u771f\u7684\u51fa\u81ea\u67d0\u4e2a\u6307\u5b9a\u6a21\u578b\uff1b\u4ee3\u7801\u3001\u6280\u672f\u6587\u6863\u4e0e\u5f62\u5f0f\u5316\u6570\u5b66\u8bc1\u660e\u4ee5Apache 2.0\u8bb8\u53ef\u8bc1\u516c\u5f00\u5728GitHub\u4e0a\uff0c\u4ed3\u5e93\u7248\u672c\u4e3a0.16.0\u3002\u8d22\u8054\u793e11\u67084\u65e5\u62a5\u9053\u4e86\u8fd9\u4e00\u8fdb\u5c55\u3002\u503c\u5f97\u6ce8\u610f\u7684\u662f\uff0c\u5b98\u65b9\u4ed3\u5e93\u540c\u65f6\u6ce8\u660e\uff0c\u8fd9\u662f\u4e00\u9879\u4e0d\u518d\u7ef4\u62a4\u3001\u4e5f\u4e0d\u63a5\u53d7\u5916\u90e8\u8d21\u732e\u7684\u7814\u7a76\u5236\u54c1\uff0c\u53d1\u5e03\u7684\u76ee\u7684\u5728\u4e8e\u8ba9\u5916\u754c\u68c0\u67e5\u3001\u91c7\u7528\u5e76\u6539\u8fdb\u3002<\/p>\n<p>\u7cfb\u7edf\u7684\u5de5\u4f5c\u6d41\u7a0b\u5206\u4e09\u6b65\u3002\u6a21\u578b\u63d0\u4f9b\u65b9\u5148\u79bb\u7ebf\u751f\u6210\u5e76\u516c\u5f00\u4e00\u4e2a\u9488\u5bf9\u6a21\u578b\u6743\u91cd\u7684\u5bc6\u7801\u5b66\u627f\u8bfa\u2014\u2014\u76f8\u5f53\u4e8e\u7ed9\u8fd9\u7ec4\u6743\u91cd\u6309\u4e0b\u4e00\u679a\u957f\u7ea66.5MB\u7684&#8221;\u6307\u7eb9&#8221;\uff0c\u4e00\u4efd\u627f\u8bfa\u7ea6\u53ef\u652f\u64911600\u4e07\u6b21\u8bf7\u6c42\u7684\u6821\u9a8c\uff1b\u6b64\u540e\u6bcf\u6b21\u670d\u52a1\uff0c\u63d0\u4f9b\u65b9\u7684GPU\u4e3a\u56de\u7b54\u9644\u5e26\u751f\u6210\u4e00\u4efd\u96f6\u77e5\u8bc6\u8bc1\u660e\uff08zkSNARK\uff09\uff1b\u7528\u6237\u62ff\u5230\u627f\u8bfa\u3001\u8f93\u5165\u3001\u56de\u7b54\u4e0e\u8bc1\u660e\u6587\u4ef6\u540e\uff0c\u5728\u666e\u901aCPU\u4e0a\u8fd0\u884c\u9a8c\u8bc1\u7a0b\u5e8fcp_verify\uff0c\u5341\u51e0\u79d2\u5373\u53ef\u5224\u5b9a\u771f\u4f2a\uff0c\u5168\u7a0b\u4e0d\u9700\u8981\u6743\u91cd\uff0c\u4e5f\u4e0d\u4f1a\u6cc4\u9732\u6743\u91cd\u3002\u5b8c\u6574\u6027\u3001\u53ef\u9760\u6027\u3001\u96f6\u77e5\u8bc6\u3001\u7b80\u6d01\u6027\u56db\u9879\u5b89\u5168\u6027\u8d28\u5747\u5df2\u7528Lean\u8bc1\u660e\u52a9\u624b\u5199\u6210\u673a\u5668\u53ef\u68c0\u9a8c\u7684\u6570\u5b66\u5b9a\u7406\uff0c\u6309\u4ed3\u5e93\u7ed9\u51fa\u7684\u4e0a\u754c\uff0c\u4f2a\u9020\u8005\u9a97\u8fc7\u9a8c\u8bc1\u7684\u6982\u7387\u7ea6\u4e3aq\/2^124\u52a02^-101\u3002\u9700\u8981\u5f3a\u8c03\uff0c\u5b83\u8bc1\u660e\u7684\u662f\u56de\u7b54\u7684\u6765\u6e90\uff0c\u800c\u975e\u56de\u7b54\u5185\u5bb9\u672c\u8eab\u662f\u5426\u6b63\u786e\u3002<\/p>\n<p>\u56e2\u961f\u5728Meta\u7684Llama 4 Maverick\u2014\u2014\u4e00\u4e2a4000\u4ebf\u53c2\u6570\u7684\u6df7\u5408\u4e13\u5bb6\u6a21\u578b\uff0c\u6bcf\u4e2atoken\u5b9e\u9645\u6fc0\u6d3b\u7ea6170\u4ebf\u53c2\u6570\u2014\u2014\u4e0a\u5b8c\u6210\u4e86\u5168\u5c3a\u5bf8\u9a8c\u8bc1\uff1a\u5355\u5f20H100\u4e0a\u8bc1\u660e\u751f\u6210\u901f\u5ea6\u7ea6\u6bcf\u79d2110\u4e2atoken\uff0c\u6bcf1024-token\u8bf7\u6c42\u7684\u8bc1\u660e\u6587\u4ef6\u7ea618.78MB\uff0c24\u7ebf\u7a0bCPU\u9a8c\u8bc1\u4e00\u4efd\u8bc1\u660e\u7ea617\u79d2\u3002\u6a2a\u5411\u5bf9\u6bd4\u66f4\u80fd\u8bf4\u660e\u91cf\u7ea7\uff1a\u6b64\u524d\u552f\u4e00\u8bc1\u660e\u8fc7\u540c\u6b3e\u6a21\u578b\u7684VerInf\u7cfb\u7edf\uff0c\u5904\u74061000\u4e2atoken\u9700\u898114.3\u5c0f\u65f6\uff0c\u8bc1\u660e\u6587\u4ef6\u8fbe93.6GB\uff0c\u9a8c\u8bc1\u8017\u65f6\u63a5\u8fd1\u4e00\u5929\uff1b\u672a\u5f00\u6e90\u7684\u5546\u4e1a\u7cfb\u7edfAttestable\u5219\u5728310\u4ebf\u53c2\u6570\u7ea7\u5bc6\u96c6\u6a21\u578b\u4e0a\u62a5\u544a\u8fc7\u6bcf\u79d253\u81f377\u4e2atoken\u7684\u6210\u7ee9\u3002<\/p>\n<p>4000\u4ebf\u53c2\u6570\u7684\u6a21\u578b\u4e4b\u6240\u4ee5\u80fd&#8221;\u585e\u8fdb&#8221;\u4e00\u5f2080GB\u663e\u5b58\u7684\u663e\u5361\uff0c\u9760\u7684\u662f\u4e00\u7ec4\u5c42\u5c42\u5378\u529b\u7684\u5de5\u7a0b\u8bbe\u8ba1\uff1a\u8bc1\u660e\u8ba1\u7b97\u91cf\u53ea\u4e0e\u5b9e\u9645\u6fc0\u6d3b\u7684\u7ea6170\u4ebf\u53c2\u6570\u6302\u94a9\uff0c\u800c\u975e\u5168\u90e84000\u4ebf\uff1b4-bit\u91cf\u5316\u540e\u7ea6232GB\u7684\u6743\u91cd\u88ab\u653e\u5728\u4e3b\u673a\u5185\u5b58\u4e2d\uff0c\u9010\u6bb5\u6d41\u5f0f\u9001\u5165GPU\u5904\u7406\uff1b\u4e13\u5bb6\u8def\u7531\u9009\u62e9\u7ecf\u96f6\u77e5\u8bc6\u7f16\u7801\u9690\u85cf\uff0c\u9a8c\u8bc1\u65b9\u5bf9\u5168\u90e8\u4e13\u5bb6\u505a\u52a0\u6743\u6c42\u548c\uff0c\u65e2\u7701\u4e0b\u7b97\u529b\uff0c\u53c8\u9632\u6b62\u5916\u754c\u4ece&#8221;\u54ea\u4e9b\u4e13\u5bb6\u88ab\u6fc0\u6d3b&#8221;\u53cd\u63a8\u6743\u91cd\u3002\u8fd9\u6761\u6280\u672f\u8def\u7ebf\u4e0e\u533a\u5757\u94fe\u4e8c\u5c42\u7f51\u7edc\u4f7f\u7528\u7684zkSNARK\u540c\u6e90\uff0c\u901a\u8fc7\u54c8\u5e0c\u51fd\u6570\u7f16\u8bd1\uff0c\u5b98\u65b9\u79f0\u5177\u5907\u540e\u91cf\u5b50\u5b89\u5168\u5c5e\u6027\u3002<\/p>\n<p>\u5b98\u65b9\u5728\u535a\u5ba2\u91cc\u540c\u65f6\u7ed9\u51fa\u4e86\u76f8\u5f53\u514b\u5236\u7684\u8fb9\u754c\u58f0\u660e\uff1a\u8bc1\u660e\u5f00\u9500\u4ecd\u662f\u539f\u751f\u63a8\u7406\u768470\u81f395\u500d\uff0c\u5168\u91cf\u5b9e\u65f6\u9a8c\u8bc1\u5728\u5546\u4e1a\u4e0a\u5c1a\u4e0d\u53ef\u884c\uff1b\u5f53\u524d\u53ea\u652f\u63011024\u4e2atoken\u7684\u4e0a\u4e0b\u6587\uff0c\u8fdc\u5c0f\u4e8e\u524d\u6cbf\u6a21\u578b\u6570\u5341\u4e07\u7ea7\u7684\u7a97\u53e3\uff1b\u5b9e\u9a8c\u4ec5\u8986\u76d6\u6574\u6570\u6743\u91cd\u4e0e\u8d2a\u5fc3\u89e3\u7801\uff0c\u6d6e\u70b9\u8fd0\u7b97\u548c\u968f\u673a\u91c7\u6837\u4e0b\u8f93\u51fa\u7684\u504f\u79bb\u672a\u88ab\u8bc1\u660e\u8986\u76d6\uff1bLean\u5f62\u5f0f\u5316\u534f\u8bae\u3001\u8bba\u6587\u4e0e\u5feb\u901fC++\u9a8c\u8bc1\u5668\u4e09\u8005\u4e4b\u95f4\u7684\u4e00\u81f4\u6027\u8fd8\u9700\u5ba1\u8ba1\uff1b\u6a21\u578b\u67b6\u6784\u672c\u8eab\u672a\u88ab\u9690\u85cf\uff0c\u8bc1\u660e\u751f\u6210\u65f6\u95f4\u7b49\u4fa7\u4fe1\u9053\u98ce\u9669\u4e5f\u7559\u5f85\u540e\u7eed\u5904\u7406\u3002\u6362\u8a00\u4e4b\uff0c\u8fd9\u9879\u6210\u679c\u89e3\u51b3\u7684\u662f\u6a21\u578b\u8eab\u4efd\u4e0e\u63a8\u7406\u5b8c\u6574\u6027\u95ee\u9898\uff0c\u6307\u5b9a\u6a21\u578b\u4ea7\u751f\u7684\u5e7b\u89c9\u8f93\u51fa\u7167\u6837\u53ef\u4ee5\u901a\u8fc7\u9a8c\u8bc1\u3002<\/p>\n<p>\u628a\u53d1\u5e03\u653e\u56de\u65f6\u95f4\u7ebf\u770b\uff0c\u8fd9\u9879\u5de5\u4f5c\u5bf9\u5e94\u7740Anthropic\u5b89\u5168\u8def\u7ebf\u56fe\u4e2d\u7684\u516c\u5f00\u76ee\u6807\u2014\u2014&#8221;\u63a8\u7406\u53ef\u9a8c\u8bc1&#8221;\u539f\u578b\u539f\u5b9a\u4e8e2026\u5e749\u670830\u65e5\u524d\u5b8c\u6210\uff0c\u6b64\u6b21\u5f00\u6e90\u76f8\u5f53\u4e8e\u4ea4\u5377\u3002\u53e6\u4e00\u4e2a\u503c\u5f97\u7559\u610f\u7684\u7ec6\u8282\u662f\uff0c\u968f\u9644\u7684\u534f\u8bae\u89c4\u8303\u7531Claude\u64b0\u5199\uff0c\u4ed3\u5e93README\u5f00\u7bc7\u5373\u4e3aAI\u4ee3\u7406\u8fd0\u884c\u800c\u8bbe\u8ba1\u64cd\u4f5c\u89c4\u7a0b\uff0c\u4eba\u7c7b\u7814\u7a76\u8005\u7684\u89d2\u8272\u6536\u7f29\u5230\u5ba1\u5b9a\u9876\u5c42\u5b89\u5168\u6027\u8d28\uff0c\u5176\u4f59\u63a8\u5bfc\u4ea4\u7531\u5f62\u5f0f\u5316\u9a8c\u8bc1\u5185\u6838\u9010\u884c\u6838\u9a8c\u3002\u968f\u7740\u6a21\u578b\u8c03\u7528\u94fe\u8def\u8d8a\u6765\u8d8a\u4f9d\u8d56\u7b2c\u4e09\u65b9\u8f6c\u53d1\u4e0e\u805a\u5408\uff0c\u8fd9\u79cd&#8221;\u4e0d\u6cc4\u9732\u6743\u91cd\u4e5f\u80fd\u9a8c\u660e\u6b63\u8eab&#8221;\u7684\u5bc6\u7801\u5b66\u51ed\u8bc1\uff0c\u53ef\u80fd\u9010\u6b65\u6210\u4e3a\u5ba1\u8ba1\u3001\u5b89\u5168\u8bc4\u4f30\u7b49\u9ad8\u4ef7\u503c\u573a\u666f\u9a8c\u6536\u6a21\u578b\u670d\u52a1\u65f6\u7684\u57fa\u7840\u8bbe\u65bd\u3002<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Anthropic\u4e8e11\u67082\u65e5\u53d1\u5e03\u7814\u7a76\u535a<\/p>\n","protected":false},"author":9,"featured_media":20652,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"_acf_changed":false,"colormag_page_container_layout":"default_layout","colormag_page_sidebar_layout":"default_layout","footnotes":""},"categories":[1],"tags":[],"class_list":["post-20653","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-uncategorized"],"acf":[],"_links":{"self":[{"href":"https:\/\/dguan.com.cn\/ai\/wp-json\/wp\/v2\/posts\/20653","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/dguan.com.cn\/ai\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/dguan.com.cn\/ai\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/dguan.com.cn\/ai\/wp-json\/wp\/v2\/users\/9"}],"replies":[{"embeddable":true,"href":"https:\/\/dguan.com.cn\/ai\/wp-json\/wp\/v2\/comments?post=20653"}],"version-history":[{"count":2,"href":"https:\/\/dguan.com.cn\/ai\/wp-json\/wp\/v2\/posts\/20653\/revisions"}],"predecessor-version":[{"id":20675,"href":"https:\/\/dguan.com.cn\/ai\/wp-json\/wp\/v2\/posts\/20653\/revisions\/20675"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/dguan.com.cn\/ai\/wp-json\/wp\/v2\/media\/20652"}],"wp:attachment":[{"href":"https:\/\/dguan.com.cn\/ai\/wp-json\/wp\/v2\/media?parent=20653"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/dguan.com.cn\/ai\/wp-json\/wp\/v2\/categories?post=20653"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/dguan.com.cn\/ai\/wp-json\/wp\/v2\/tags?post=20653"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}