{"id":39293,"date":"2025-03-08T21:02:30","date_gmt":"2025-03-08T13:02:30","guid":{"rendered":"https:\/\/17aitech.com\/?p=39293"},"modified":"2025-03-08T21:02:30","modified_gmt":"2025-03-08T13:02:30","slug":"7b%e7%ba%a7%e5%bd%a2%e5%bc%8f%e5%8c%96%e6%8e%a8%e7%90%86%e4%b8%8e%e9%aa%8c%e8%af%81%e5%b0%8f%e6%a8%a1%e5%9e%8b%ef%bc%8c%e5%aa%b2%e7%be%8e%e6%bb%a1%e8%a1%80%e7%89%88deepseek-r1%ef%bc%8c%e5%85%a8","status":"publish","type":"post","link":"https:\/\/17aitech.com\/?p=39293","title":{"rendered":"7B\u7ea7\u5f62\u5f0f\u5316\u63a8\u7406\u4e0e\u9a8c\u8bc1\u5c0f\u6a21\u578b\uff0c\u5ab2\u7f8e\u6ee1\u8840\u7248DeepSeek-R1\uff0c\u5168\u9762\u5f00\u6e90\uff01"},"content":{"rendered":"<p>\u6587\u7ae0\u6765\u6e90\u4e8e\u4e92\u8054\u7f51:<a href=\"https:\/\/www.jiqizhixin.com\/articles\/2025-03-08-9\" target=\"_blank\">7B\u7ea7\u5f62\u5f0f\u5316\u63a8\u7406\u4e0e\u9a8c\u8bc1\u5c0f\u6a21\u578b\uff0c\u5ab2\u7f8e\u6ee1\u8840\u7248DeepSeek-R1\uff0c\u5168\u9762\u5f00\u6e90\uff01<\/a><\/p>\n<p><a href=\"https:\/\/17aitech.com\/wp-content\/uploads\/2025\/03\/frc-29dc27fd091b5515d463f7ef462765e1.png\" data-fancybox=\"images\" data-fancybox=\"gallery\"><img decoding=\"async\" src=\"https:\/\/17aitech.com\/wp-content\/uploads\/2025\/03\/frc-29dc27fd091b5515d463f7ef462765e1.png\"><\/a><\/p>\n<section><strong>\u7814\u7a76\u56e2\u961f\u6784\u6210\uff1a\u9999\u6e2f\u79d1\u6280\u5927\u5b66\u3001\u4e2d\u56fd\u79d1\u5b66\u9662\u8f6f\u4ef6\u7814\u7a76\u6240\u3001\u897f\u5b89\u7535\u5b50\u79d1\u6280\u5927\u5b66\u548c\u91cd\u5e86\u5927\u5b66\u3002\u56e2\u961f\u6838\u5fc3\u6210\u5458\uff1a\u9999\u6e2f\u79d1\u6280\u5927\u5b66\u7684\u7814\u7a76\u52a9\u7406\u6559\u6388\u66f9\u5609\u4f26\uff0c\u4e3b\u8981\u7814\u7a76\u9886\u57df\u5305\u62ec AI&amp;SE\u3001\u4eba\u5de5\u667a\u80fd\u6d4b\u8bd5\u3001\u5f62\u5f0f\u5316\u9a8c\u8bc1\u7b49\uff1b\u4e2d\u56fd\u79d1\u5b66\u9662\u8f6f\u4ef6\u7814\u7a76\u6240\u526f\u7814\u7a76\u5458\u9646\u579a\u6770\uff0c\u4e3b\u8981\u7814\u7a76\u9886\u57df\u5305\u62ec\u5927\u8bed\u8a00\u6a21\u578b\u53ca\u5176\u5e94\u7528\u3002<\/strong><\/section>\n<p>\u968f\u7740 DeepSeek-R1 \u7684\u6d41\u884c\u4e0e AI4Math \u7814\u7a76\u7684\u6df1\u5165\uff0c\u5927\u6a21\u578b\u5728<strong>\u8f85\u52a9\u5f62\u5f0f\u5316\u8bc1\u660e\u5199\u4f5c<\/strong>\u65b9\u9762\u7684\u9700\u6c42\u65e5\u76ca\u589e\u957f\u3002\u4f5c\u4e3a\u6570\u5b66\u63a8\u7406\u6700\u76f4\u63a5\u7684\u5e94\u7528\u573a\u666f\uff0c<strong>\u5f62\u5f0f\u5316\u63a8\u7406\u4e0e\u9a8c\u8bc1\uff08formal reasoning and verification\uff09<\/strong>\uff0c\u4e5f\u83b7\u5f97\u6301\u7eed\u5173\u6ce8\u3002<\/p>\n<p>\u7136\u800c\uff0c\u8fd1\u671f\u7684\u5f62\u5f0f\u5316\u63a8\u7406\u5927\u6a21\u578b\u5927\u591a\u53ea\u9488\u5bf9\u5355\u4e00\u5f62\u5f0f\u5316\u8bed\u8a00\u6a21\u578b\uff0c\u7f3a\u4e4f\u5bf9<strong>\u591a\u5f62\u5f0f\u5316\u8bed\u8a00<\/strong>\u3001<strong>\u591a\u5f62\u5f0f\u5316\u4efb\u52a1\u573a\u666f<\/strong>\u7684\u6df1\u5ea6\u63a2\u7d22\u3002\u00a0<\/p>\n<p>\u8fd1\u65e5\uff0c\u7531\u9999\u6e2f\u79d1\u6280\u5927\u5b66\u7275\u5934\uff0c\u8054\u5408\u4e2d\u79d1\u9662\u8f6f\u4ef6\u6240\u3001\u897f\u5b89\u7535\u5b50\u79d1\u6280\u5927\u5b66\u3001\u91cd\u5e86\u5927\u5b66\u7b49\u5355\u4f4d\uff0c<strong>\u5f00\u6e90\u4e86\u4e00\u7cfb\u5217<\/strong><strong>\u5f62\u5f0f\u5316\u63a8\u7406\u4e0e\u9a8c\u8bc1\u5927\u6a21\u578b\uff0c\u4ec5\u7528 7B\uff0c\u5373\u53ef\u5728\u76f8\u5173\u4efb\u52a1\u4e0a\u83b7\u5f97\u4e0e 671B \u6ee1\u8840\u7248 DeepSeek-R1 \u76f8\u5f53\u7684\u6c34\u5e73<\/strong><strong>\uff01<\/strong><\/p>\n<p><a href=\"https:\/\/17aitech.com\/wp-content\/uploads\/2025\/03\/frc-b46a589e27fda4e859bd56fbe0cdcce7.png\" data-fancybox=\"images\" data-fancybox=\"gallery\"><img decoding=\"async\" src=\"https:\/\/17aitech.com\/wp-content\/uploads\/2025\/03\/frc-b46a589e27fda4e859bd56fbe0cdcce7.png\"><\/a><\/p>\n<ul>\n<li>\n<p>\u8bba\u6587\u6807\u9898\uff1aFrom Informal to Formal\u2013Incorporating and Evaluating LLMs on Natural Language Requirements to Verifiable Formal Proofs<\/p>\n<\/li>\n<li>\n<p>\u8bba\u6587\u94fe\u63a5\uff1ahttps:\/\/arxiv.org\/abs\/2501.16207<\/p>\n<\/li>\n<li>\n<p>Hugging Face \u6a21\u578b\u94fe\u63a5\uff1ahttps:\/\/huggingface.co\/fm-universe<\/p>\n<\/li>\n<\/ul>\n<p>\u6b63\u5982 Meta FAIR \u548c\u65af\u5766\u798f\u5927\u5b66\u7b49\u591a\u6240\u673a\u6784\u5728\u53bb\u5e74\u5e74\u5e95\u7684\u7acb\u573a\u8bba\u6587\uff08Formal Mathematical Reasoning: A New Frontier in AI\uff09\u4e2d\u6240\u6307\u51fa\u7684\uff0c<strong>\u591a\u8bed\u8a00\u5f62\u5f0f\u5316\u9a8c\u8bc1\u6a21\u578b\u6b63\u65e5\u76ca\u6210\u4e3a\u4e1a\u754c\u53d1\u5c55\u7684\u8d8b\u52bf<\/strong>\u3002<\/p>\n<p>\u4e8b\u5b9e\u4e0a\uff0c<strong>\u5f62\u5f0f\u5316\u9a8c\u8bc1\uff08formal verification\uff09\u4e0d\u4ec5\u662f\u8ba1\u7b97\u673a\u79d1\u5b66\u7684\u6838\u5fc3\u95ee\u9898\uff0c\u4e5f\u662f\u5f62\u5f0f\u5316\u6570\u5b66\u6700\u76f4\u63a5\u7684\u5e94\u7528\u4e4b\u4e00<\/strong>\u3002\u7136\u800c\uff0c\u7531\u4e8e\u5176\u95e8\u69db\u9ad8\u3001\u4eba\u529b\u6d88\u8017\u5927\u548c\u90e8\u7f72\u6210\u672c\u9ad8\uff0c\u5f62\u5f0f\u5316\u9a8c\u8bc1\u7684\u666e\u53ca\u4e0e\u63a8\u5e7f\u4e00\u76f4\u53d7\u5230\u9650\u5236\u3002<\/p>\n<p>\u51ed\u501f\u5927\u6a21\u578b\u5728\u8bed\u4e49\u7406\u89e3\u3001\u4ee3\u7801\u81ea\u52a8\u751f\u6210\u7b49\u65b9\u9762\u7684\u4f18\u52bf\uff0c\u5f15\u5165\u8be5\u6280\u672f\u6709\u671b\u5927\u5e45\u52a0\u901f\u9a8c\u8bc1\u6d41\u7a0b\uff0c\u4ece\u800c\u6709\u6548\u964d\u4f4e\u4eba\u529b\u6210\u672c\u5e76\u63d0\u5347\u81ea\u52a8\u9a8c\u8bc1\u6548\u7387\u3002<\/p>\n<p><strong>\u5f62\u5f0f\u5316\u4efb\u52a1\u62c6\u89e3<\/strong><\/p>\n<p>\u7814\u7a76\u56e2\u961f\u9996\u5148\u5bf9\u5f62\u5f0f\u5316\u9a8c\u8bc1\u4efb\u52a1\u8fdb\u884c\u4e86\u5206\u5c42\u62c6\u89e3\uff0c\u4ece<strong>\u975e\u5f62\u5f0f\u5316\u7684\u81ea\u7136\u8bed\u8a00\u8f93\u5165\u5230\u53ef\u9a8c\u8bc1\u7684\u5f62\u5f0f\u5316\u8bc1\u660e\uff08formal proof\uff09\u6216\u53ef\u68c0\u6d4b\u7684\u6a21\u578b\uff08model checking\uff09<\/strong>\u3002\u5728\u6b64\u57fa\u7840\u4e0a\uff0c\u7814\u7a76\u56e2\u961f\u5c06\u4f20\u7edf\u7684\u7aef\u5230\u7aef\u5f62\u5f0f\u5316\u9a8c\u8bc1\u6d41\u7a0b\u7ec6\u5316\u4e3a\u516d\u4e2a\u5b50\u4efb\u52a1\uff0c\u5305\u62ec\u9a8c\u8bc1\u9700\u6c42\u5206\u89e3\u3001\u5f62\u5f0f\u5316\u89c4\u7ea6\u7247\u6bb5\u751f\u6210\u3001\u89c4\u7ea6\u8865\u5168\u3001\u586b\u7a7a\uff0c\u4ee5\u53ca\u4ee3\u7801\u5230\u5f62\u5f0f\u5316\u89c4\u7ea6\u7684\u81ea\u52a8\u751f\u6210\u3002<\/p>\n<p><a href=\"https:\/\/17aitech.com\/wp-content\/uploads\/2025\/03\/frc-d6e1ba4c82ab3dfd72ab5c0d001bdee9.png\" data-fancybox=\"images\" data-fancybox=\"gallery\"><img decoding=\"async\" src=\"https:\/\/17aitech.com\/wp-content\/uploads\/2025\/03\/frc-d6e1ba4c82ab3dfd72ab5c0d001bdee9.png\"><\/a><\/p>\n<p><em><sup>\u00a0 \u00a0 \u00a0 \u00a0 \u00a0 \u00a0 \u00a0 \u00a0 \u00a0 \u00a0 \u00a0 \u00a0 \u00a0 \u00a0 \u00a0 \u00a0 \u00a0 \u00a0 \u00a0 \u00a0 \u56fe 1 \u5f62\u5f0f\u5316\u9a8c\u8bc1\u4efb\u52a1\u62c6\u89e3<\/sup><\/em><\/p>\n<p>\u8fd9\u4e00\u8fc7\u7a0b\u53ef\u4ee5\u4e0e<strong>\u4ee3\u7801\u751f\u6210\uff08code generation\uff09\u4efb\u52a1\u76f8\u5bf9\u7167<\/strong>\uff1a\u4ee3\u7801\u751f\u6210\u4efb\u52a1\u65e8\u5728\u5c06\u81ea\u7136\u8bed\u8a00\u63cf\u8ff0\u7684\u529f\u80fd\u8f6c\u6362\u4e3a\u76f8\u5e94\u7684\u4ee3\u7801\u5b9e\u73b0\uff0c\u800c\u5f62\u5f0f\u5316\u8bc1\u660e\u751f\u6210\u6216\u6a21\u578b\u751f\u6210\uff08formal proof\/model generation\uff09\u5219<strong>\u5c06\u81ea\u7136\u8bed\u8a00\u63cf\u8ff0\u7684\u9a8c\u8bc1\u9700\u6c42\u8f6c\u5316\u4e3a\u7531\u5f62\u5f0f\u5316\u8bed\u8a00\u7f16\u5199\u7684\u5f62\u5f0f\u5316\u8bc1\u660e\uff08proof\uff09\u6216\u6a21\u578b\uff08model\uff09<\/strong>\u3002<\/p>\n<p><a href=\"https:\/\/17aitech.com\/wp-content\/uploads\/2025\/03\/frc-41f682aecd07f6dbcdf0136c6051b55f.png\" data-fancybox=\"images\" data-fancybox=\"gallery\"><img decoding=\"async\" src=\"https:\/\/17aitech.com\/wp-content\/uploads\/2025\/03\/frc-41f682aecd07f6dbcdf0136c6051b55f.png\"><\/a><\/p>\n<p><em><sup>\u00a0 \u00a0 \u00a0 \u00a0 \u00a0 \u00a0 \u00a0 \u00a0 \u00a0 \u00a0 \u00a0 \u00a0 \u00a0 \u00a0 \u00a0 \u00a0 \u00a0 \u00a0 \u00a0 \u56fe 2 \u4ece\u4ee3\u7801\u751f\u6210\u5230\u5f62\u5f0f\u5316\u8bc1\u660e\u751f\u6210<\/sup><\/em><\/p>\n<p>\u7814\u7a76\u56e2\u961f\u4ece Github \u6536\u96c6\u4e86\u4e94\u79cd\u5f62\u5f0f\u5316\u8bed\u8a00\u7684\u7ecf\u8fc7\u4e00\u7cfb\u5217\u6570\u636e\u6536\u96c6\u3001\u6e05\u6d17\u4e0e\u6574\u7406\uff0c<strong>\u6700\u7ec8\u5f97\u5230\u4e86 14k \u6570\u636e\u7528\u4e8e\u8bad\u7ec3\u5fae\u8c03<\/strong>\uff08fm-alpaca\uff09\uff0c<strong>4k \u6570\u636e\u7528\u4e8e\u6d4b\u8bd5<\/strong>\uff08fm-bench\uff09\u3002<\/p>\n<p><a href=\"https:\/\/17aitech.com\/wp-content\/uploads\/2025\/03\/frc-3494f7ab2f794592bf8de9c5a4ec50a3.png\" data-fancybox=\"images\" data-fancybox=\"gallery\"><img decoding=\"async\" src=\"https:\/\/17aitech.com\/wp-content\/uploads\/2025\/03\/frc-3494f7ab2f794592bf8de9c5a4ec50a3.png\"><\/a><\/p>\n<p><em><sup>\u00a0 \u00a0 \u00a0 \u00a0 \u00a0 \u00a0 \u00a0 \u00a0 \u00a0 \u00a0 \u00a0 \u00a0 \u00a0 \u00a0 \u00a0 \u00a0 \u00a0 \u00a0 \u00a0 \u00a0 \u00a0 \u00a0 \u00a0 \u00a0 \u00a0 \u00a0 \u00a0 \u00a0 \u00a0 \u00a0 \u00a0 \u00a0 \u00a0 \u00a0 \u00a0 \u00a0\u56fe 3 \u6570\u636e\u51c6\u5907\u8fc7\u7a0b<\/sup><\/em><\/p>\n<p><strong>\u5927\u6a21\u578b\u5728\u5f62\u5f0f\u5316\u7ec6\u5206\u4efb\u52a1\u4e0a\u7684\u80fd\u529b\u5bf9\u6bd4<\/strong><\/p>\n<p>\u901a\u8fc7\u5bf9\u4e94\u79cd\u5f62\u5f0f\u5316\u8bed\u8a00\uff08Coq, Lean4, Dafny, ACSL, TLA+\uff09\u5728\u5f62\u5f0f\u5316\u8bc1\u660e\u5199\u4f5c\u4e0a\u516d\u79cd\u7ec6\u5206\u80fd\u529b\u5bf9\u6bd4\uff0c\u7814\u7a76\u56e2\u961f\u83b7\u5f97\u4e86\u4e00\u4e9b\u6709\u8da3\u7684\u53d1\u73b0\u3002<\/p>\n<p>\u4ece<strong>\u5f62\u5f0f\u5316\u4efb\u52a1<\/strong>\u7684\u89d2\u5ea6\uff08\u5982\u56fe 4\uff09\uff0c\u672a\u7ecf\u5fae\u8c03\u7684\u901a\u7528\u6307\u4ee4\u5927\u6a21\u578b<strong>\u66f4\u64c5\u957f\u4ece\u4ee3\u7801\u751f\u6210\u5f62\u5f0f\u5316\u8bc1\u660e<\/strong>\uff08\u51c6\u786e\u7387 43.57%\uff09\uff0c\u800c<strong>\u4e0d\u64c5\u957f\u4ece\u81ea\u7136\u8bed\u8a00\u751f\u6210\u5f62\u5f0f\u5316\u8bc1\u660e<\/strong>\uff088.65%\uff5e10.61%\uff09\uff0c\u8fdc\u4f4e\u4e8e\u4ee3\u7801\u751f\u6210\u4efb\u52a1\uff08\u4ece\u81ea\u7136\u8bed\u8a00\u751f\u6210\u7f16\u7a0b\u8bed\u8a00\u5982 Python\uff09\u3002<\/p>\n<p>\u6ee1\u8840\u7248\uff08671B\uff09DeepSeek-R1 \u5e73\u5747\u51c6\u786e\u7387\u4e3a 27.11%\uff0c\u800c\u5176\u4ed6\u53c2\u6570\u89c4\u6a21\u5728 8B \u81f3 72B \u7684\u6a21\u578b\u5e73\u5747\u51c6\u786e\u7387\u4ec5\u4ecb\u4e8e 7.32% \u4e0e 18.39% \u4e4b\u95f4\u3002<\/p>\n<p>\u53e6\u5916\uff0c\u7814\u7a76\u56e2\u961f\u89c2\u5bdf\u5230\u5728<strong>\u5f62\u5f0f\u5316\u89c4\u7ea6\u586b\u7a7a\u7684\u4efb\u52a1\u4e2d\uff0c\u8f83\u5927\u89c4\u6a21\u7684\u6a21\u578b\u5f80\u5f80\u4e0d\u53ca\u5c0f\u89c4\u6a21\u6a21\u578b<\/strong>\u3002\u4f8b\u5982\uff0c70B \u7684 llama3.1-instruct \u6a21\u578b\u5728\u586b\u7a7a\uff08\u5217\u300cProofInfill\u300d\uff09\u4e0a\u7684\u51c6\u786e\u7387\u4ec5\u4e3a 8B \u6a21\u578b\u7684\u4e00\u534a\u3002\u8fd9\u4e00\u73b0\u8c61\u53ef\u80fd\u4e0e\u8fd9\u4e9b\u6a21\u578b\u7684\u5fae\u8c03\u7b56\u7565\uff1a\u6307\u4ee4\u6a21\u578b\u88ab\u8bad\u7ec3\u5f97\u66f4\u64c5\u957f\u751f\u6210\uff0c\u800c\u975e\u586b\u7a7a\u3002\u7814\u7a76\u56e2\u961f\u8fd8\u53d1\u73b0\uff0c\u5c3d\u7ba1 70B \u7ea7\u89c4\u6a21\u6a21\u578b\u586b\u5199\u7684\u5f62\u5f0f\u5316\u89c4\u7ea6\u7247\u6bb5\u770b\u4f3c\u66f4\u52a0\u6b63\u786e\uff0c\u4f46\u56e0\u5e38\u5e38\u5305\u542b\u989d\u5916\u7684\u5185\u5bb9\uff0c\u5bfc\u81f4<strong>\u300c\u8bf4\u591a\u9519\u591a\u300d<\/strong>\uff0c\u56e0\u6b64\u6700\u7ec8\u7684\u51c6\u786e\u7387\u53cd\u800c\u4e0d\u5982\u5c0f\u6a21\u578b\u3002<\/p>\n<p><a href=\"https:\/\/17aitech.com\/wp-content\/uploads\/2025\/03\/frc-e780fb9c786f49c2d7a8d19654069fd4.png\" data-fancybox=\"images\" data-fancybox=\"gallery\"><img decoding=\"async\" src=\"https:\/\/17aitech.com\/wp-content\/uploads\/2025\/03\/frc-e780fb9c786f49c2d7a8d19654069fd4.png\"><\/a><\/p>\n<p><em><sup>\u00a0 \u00a0 \u00a0 \u00a0 \u00a0 \u00a0 \u00a0 \u00a0 \u00a0 \u00a0 \u00a0 \u00a0 \u00a0 \u00a0 \u00a0 \u00a0 \u00a0 \u00a0 \u00a0\u56fe 4 \u9a8c\u8bc1\u4efb\u52a1\u4e0a\u7684\u5dee\u5f02\uff08\u5fae\u8c03\u524d\uff09<\/sup><\/em><\/p>\n<p><strong>\u5927\u6a21\u578b\u5728\u4e0d\u540c\u5f62\u5f0f\u5316\u8bed\u8a00\u4e0a\u7684\u80fd\u529b\u5bf9\u6bd4<\/strong><\/p>\n<p>\u4ece<strong>\u5f62\u5f0f\u5316\u8bed\u8a00\u7684\u89d2\u5ea6<\/strong>\u770b\uff08\u89c1\u56fe 5\uff09\uff0c<strong>\u5927\u6a21\u578b\u5728 ACSL \u4e0a\u7684\u6548\u679c\u6700\u597d<\/strong>\uff0834.92%\uff09\uff0cDafny \u6b21\u4e4b\uff0815.92%\uff09\u3002\u7814\u7a76\u56e2\u961f\u8ba4\u4e3a\uff0c\u539f\u56e0\u53ef\u80fd\u5728\u4e8e\uff1a\u4e00\u65b9\u9762\uff0cACSL \u8bed\u8a00\u7684\u5173\u952e\u8bcd\u66f4\u8d34\u8fd1\u81ea\u7136\u8bed\u8a00\uff0c\u5176\u8bed\u6cd5\u7ed3\u6784\u53c8\u7c7b\u4f3c\u4e8e C \u8bed\u8a00\uff0c\u4f7f\u5f97\u751f\u6210\u8fc7\u7a0b\u66f4\u4e3a\u987a\u7545\uff1b\u53e6\u4e00\u65b9\u9762\uff0cACSL \u89c4\u7ea6\u7247\u6bb5\u76f8\u5bf9\u8f83\u77ed\uff0c\u800c Coq \u548c TLA \u7b49\u8bed\u8a00\u7684\u89c4\u7ea6\u7247\u6bb5\u8f83\u957f\uff0c\u751f\u6210\u96be\u5ea6\u66f4\u5927\u3002<\/p>\n<p>\u56fe 5 \u8fd8\u663e\u793a\uff0c\u4ec5\u901a\u8fc7<strong>\u589e\u52a0\u751f\u6210\u6b21\u6570<\/strong>\uff08\u4ece 1 \u6b21\u63d0\u5347\u81f3 5 \u6b21\uff09\uff0c\u5373\u53ef\u5728\u4e0d\u7528\u5fae\u8c03\u7684\u60c5\u51b5\u4e0b\uff0c\u5f97\u5230 10.82%\uff5e63.64% \u7684\u63d0\u5347\u3002\u4e4b\u540e\uff0c\u8fdb\u4e00\u6b65\u7ed3\u5408\u4e0a\u4e0b\u6587\u5b66\u4e60\uff08in-context learning\uff09\uff0c\u53ef\u4ee5\u8fdb\u4e00\u6b65\u5c06\u51c6\u786e\u7387\u7ffb\u756a\uff0851.33%\uff5e532.83%\uff09\u3002<\/p>\n<p><a href=\"https:\/\/17aitech.com\/wp-content\/uploads\/2025\/03\/frc-f6c9d973cbc908ed8838da0115a2b5c5.png\" data-fancybox=\"images\" data-fancybox=\"gallery\"><img decoding=\"async\" src=\"https:\/\/17aitech.com\/wp-content\/uploads\/2025\/03\/frc-f6c9d973cbc908ed8838da0115a2b5c5.png\"><\/a><\/p>\n<p><em><sup>\u00a0 \u00a0 \u00a0 \u00a0 \u00a0 \u00a0 \u00a0 \u00a0 \u00a0 \u00a0 \u00a0 \u00a0 \u00a0 \u00a0 \u00a0 \u00a0 \u00a0 \u00a0 \u00a0 \u00a0\u56fe 5 \u5f62\u5f0f\u5316\u8bed\u8a00\u4e0a\u7684\u5dee\u5f02\uff08\u5fae\u8c03\u524d\uff09<\/sup><\/em><\/p>\n<p><strong>\u5fae\u8c03\u5e26\u6765\u7684\u80fd\u529b\u63d0\u5347<\/strong><\/p>\n<p>\u63a5\u4e0b\u6765\uff0c\u7814\u7a76\u56e2\u961f\u5728 3 \u4e2a 7\uff5e8B \u7684\u57fa\u7840\u6a21\u578b\uff08LLaMA-3.1\uff0cQwen-2.5\uff0cDeepseek-coder-v1.5\uff09\u4e0a\u7528 fm-alpaca\uff0814k \u6570\u636e\uff09\uff0c\u540c\u65f6\u5bf9\u6bd4\u4e86\u666e\u901a\u7684\u5bf9\u8bdd\u578b\u6307\u4ee4\u5fae\u8c03\u6570\u636e\u96c6 tulu-v3 \u548c ultra-chat\u3002<\/p>\n<p>\u5982\u56fe 6\uff0c\u7ecf\u8fc7\u5f62\u5f0f\u5316\u6570\u636e fm-alpaca \u5fae\u8c03\u4e4b\u540e\uff0c\u5927\u6a21\u578b\u5728\u5404\u7c7b\u5f62\u5f0f\u5316\u4efb\u52a1\u4e0a\u5747\u6709\u660e\u663e\u63d0\u5347\uff08\u6a21\u578b\u540d\u4ee5\u300cfma\u300d\u4e3a\u540e\u7f00\u7684\u6a21\u578b\uff09\uff0c<strong>\u6027\u80fd\u51e0\u4e4e\u7ffb\u500d<\/strong>\u3002<\/p>\n<p>\u503c\u5f97\u6ce8\u610f\u7684\u662f\uff0c\u8fd9\u79cd\u663e\u8457\u63d0\u5347\u4ec5\u7528\u4e86 14k \u6761\u5f62\u5f0f\u5316\u76f8\u5173\u7684\u6307\u4ee4\u6570\u636e\uff08instruction-response pairs\uff09\u3002<\/p>\n<p>\u6709\u8da3\u7684\u662f\uff0c<strong>\u5f53\u628a\u5f62\u5f0f\u5316\u6570\u636e\u548c\u5bf9\u8bdd\u578b\u6307\u4ee4\u6570\u636e\u6df7\u5408\u5fae\u8c03\u65f6\uff0c\u80fd\u8fdb\u4e00\u6b65\u63d0\u5347\u6a21\u578b\u6027\u80fd<\/strong>\uff0c\u4ece 21.79%\uff08\u4ec5\u7528 fm-alpaca \u5fae\u8c03\uff09\u63d0\u5347\u81f3 23.75%\uff08fm-alpaca + ultrachat\uff09\u548c 25.16%\uff08fm-alpaca + tulu\uff09\u3002<\/p>\n<p><a href=\"https:\/\/17aitech.com\/wp-content\/uploads\/2025\/03\/frc-d4defbabe88fde28f82231b343cab771.png\" data-fancybox=\"images\" data-fancybox=\"gallery\"><img decoding=\"async\" src=\"https:\/\/17aitech.com\/wp-content\/uploads\/2025\/03\/frc-d4defbabe88fde28f82231b343cab771.png\"><\/a><\/p>\n<p><em><sup>\u00a0 \u00a0 \u00a0 \u00a0 \u00a0 \u00a0 \u00a0 \u00a0 \u00a0 \u00a0 \u00a0 \u00a0 \u00a0 \u00a0 \u00a0 \u00a0 \u00a0 \u00a0 \u00a0 \u00a0\u56fe 6 \u5fae\u8c03\u524d\u540e\u7ed3\u679c\u5bf9\u6bd4<\/sup><\/em><\/p>\n<p>\u5bf9\u6bd4\u56fe 5 \u4e0e\u56fe 6 \u8fd8\u53ef\u4ee5\u53d1\u73b0\uff0c\u5c3d\u7ba1\u589e\u52a0\u8fed\u4ee3\u6b21\u6570\u548c\u4e0a\u4e0b\u6587\u5b66\u4e60\u53ef\u4ee5\u63d0\u5347\u51c6\u786e\u7387\uff0c\u4f46\u4ecd\u6bd4\u4e0d\u4e0a\u5fae\u8c03\u5e26\u6765\u7684\u63d0\u5347\u3002<\/p>\n<p><strong>\u80fd\u529b\u8fc1\u79fb\u63a2\u7a76<\/strong><\/p>\n<p>\u6700\u540e\uff0c\u7814\u7a76\u56e2\u961f\u8fdb\u4e00\u6b65\u63a2\u7d22\u4e86<strong>\u5f62\u5f0f\u5316\u6570\u636e\u5fae\u8c03\u5bf9\u5927\u6a21\u578b\u6570\u5b66\u3001\u63a8\u7406\u548c\u7f16\u7a0b\u7b49\u4efb\u52a1\u4e0a\u7684\u300c\u8fc1\u79fb\u80fd\u529b\u300d<\/strong>\u3002\u4ed6\u4eec\u901a\u8fc7\u5bf9\u6bd4\u5fae\u8c03\u524d\u540e\u5728\u4e0a\u8ff0\u4efb\u52a1\u4e0a\u7684\u8868\u73b0\u5dee\u5f02\uff0c\u4ee5\u9a8c\u8bc1\u5927\u6a21\u578b\u80fd\u5426\u901a\u8fc7\u5f62\u5f0f\u5316\u9a8c\u8bc1\u80fd\u529b\u8bad\u7ec3\u4e2d\u4e60\u5f97\u63a8\u7406\u3001\u6570\u5b66\u7b49\u300c\u5143\u80fd\u529b\u300d\u3002<\/p>\n<p>\u5b9e\u9a8c\u7ed3\u679c\u4ee4\u4eba\u60ca\u559c\uff1a\u5229\u7528\u5f62\u5f0f\u5316\u6570\u636e\uff08FM-Alpaca\uff09\u8fdb\u884c\u5fae\u8c03\u540e\uff0c\u6a21\u578b\u5728<strong>\u6570\u5b66\u3001\u63a8\u7406\u3001\u4ee3\u7801\u4efb\u52a1<\/strong>\u4e0a\u7684\u5e73\u5747\u6027\u80fd\u5e73\u5747\u6027\u80fd\u63d0\u5347\u8fbe\u5230\u4e86 1.37% \u81f3 5.15%\u3002<\/p>\n<p>\u8be5\u89c2\u5bdf\u6216\u4e3a\u672a\u6765\u63a2\u7d22\u6a21\u578b\u300c\u5143\u80fd\u529b\u300d\u3001\u300c\u80fd\u529b\u8fc1\u79fb\u300d\u63d0\u4f9b\u542f\u53d1\u3002<\/p>\n<p><a href=\"https:\/\/17aitech.com\/wp-content\/uploads\/2025\/03\/frc-b35859cc21742fd042f3b2cde2e9f635.png\" data-fancybox=\"images\" data-fancybox=\"gallery\"><img decoding=\"async\" src=\"https:\/\/17aitech.com\/wp-content\/uploads\/2025\/03\/frc-b35859cc21742fd042f3b2cde2e9f635.png\"><\/a><\/p>\n<p><strong>\u603b\u7ed3<\/strong><\/p>\n<ul>\n<li>\n<p><strong>\u9ad8\u8d28\u91cf\u6570\u636e\u96c6\u6784\u5efa<\/strong>\uff1a\u7814\u7a76\u56e2\u961f\u6784\u5efa\u4e86\u5305\u542b 18000 \u5bf9\u9ad8\u8d28\u91cf\u6307\u4ee4 &#8211; \u54cd\u5e94\u5bf9\u7684\u5fae\u8c03\u6570\u636e\u96c6\uff08fm-alpaca\uff09\u4e0e\u8bc4\u4f30\u96c6\uff08fm-bench\uff09\uff0c\u8986\u76d6 5 \u79cd\u4e3b\u6d41\u7684\u5f62\u5f0f\u5316\u8bed\u8a00\uff08Coq, Lean4, Dafny, ACSL, TLA+\uff09\u548c 6 \u79cd\u4e0d\u540c\u5f62\u5f0f\u5316\u63a8\u7406\u4e0e\u9a8c\u8bc1\u4efb\u52a1\uff1b<\/p>\n<\/li>\n<li>\n<p><strong>\u5f62\u5f0f\u5316\u4efb\u52a1\u5206\u89e3\u4e0e\u8bc4\u4f30<\/strong>\uff1a\u5c06\u4ece\u975e\u5f62\u5f0f\u5316\u7684\u81ea\u7136\u8bed\u8a00\u9700\u6c42\u5230\u5f62\u5f0f\u5316\u3001\u53ef\u9a8c\u8bc1\u7684\u8bc1\u660e\u7684\u8f6c\u6362\u8fc7\u7a0b\u7ec6\u5206\u4e3a\u516d\u4e2a\u5b50\u4efb\u52a1\uff0c\u660e\u786e\u4e86\u6bcf\u4e00\u6b65\u7684\u76ee\u6807\u548c\u6311\u6218\uff0c\u6709\u52a9\u4e8e\u7cbe\u786e\u5b9a\u4f4d\u5927\u6a21\u578b\u7684\u80fd\u529b\u74f6\u9888\uff1b<\/p>\n<\/li>\n<li>\n<p><strong>\u5fae\u8c03\u6a21\u578b\u5f00\u6e90<\/strong>\uff1a\u901a\u8fc7\u5fae\u8c03\uff0c7\uff5e8B \u7684\u5c0f\u6a21\u578b\u5728\u751f\u6210\u5f62\u5f0f\u5316\u8bc1\u660e\u7684\u80fd\u529b\u5f97\u5230\u663e\u8457\u63d0\u5347\uff0c\u6a21\u578b\u7684\u6027\u80fd\u63d0\u9ad8\u4e86\u8fd1\u4e09\u500d\uff0c\u5728\u8bc4\u4f30\u4efb\u52a1\u4e0a\u5ab2\u7f8e 671B \u6ee1\u8840\u7248 DeepSeek-R1\uff1b<\/p>\n<\/li>\n<li>\n<p><strong>\u540e\u7eed\u542f\u53d1\u4e0e\u5f71\u54cd<\/strong>\uff1a\u57fa\u4e8e\u4e09\u79cd\u57fa\u7840\u6a21\u578b\u7684\u5fae\u8c03\u6a21\u578b\u5747\u5df2\u5f00\u6e90\uff1b\u5b8c\u6574\u7684\u6267\u884c\u4e0a\u4e0b\u6587\u548c\u81ea\u52a8\u9a8c\u8bc1\u6d41\u7a0b\u4e5f\u5c06\u5f00\u6e90\uff0c\u8fd9\u5c06\u6709\u52a9\u4e8e\u964d\u4f4e\u5f62\u5f0f\u5316\u9a8c\u8bc1\u7684\u95e8\u69db\uff0c\u51cf\u5c11\u4eba\u529b\u6d88\u8017\u53ca\u90e8\u7f72\u6210\u672c\u3002<\/p>\n<\/li>\n<\/ul>\n<p>\u6587\u7ae0\u6765\u6e90\u4e8e\u4e92\u8054\u7f51:<a href=\"https:\/\/www.jiqizhixin.com\/articles\/2025-03-08-9\" target=\"_blank\">7B\u7ea7\u5f62\u5f0f\u5316\u63a8\u7406\u4e0e\u9a8c\u8bc1\u5c0f\u6a21\u578b\uff0c\u5ab2\u7f8e\u6ee1\u8840\u7248DeepSeek-R1\uff0c\u5168\u9762\u5f00\u6e90\uff01<\/a><\/p>\n","protected":false},"excerpt":{"rendered":"<p>\u6587\u7ae0\u6765\u6e90\u4e8e\u4e92\u8054\u7f51:7B\u7ea7\u5f62\u5f0f\u5316\u63a8\u7406\u4e0e\u9a8c\u8bc1 [&hellip;]<\/p>\n","protected":false},"author":3,"featured_media":0,"comment_status":"open","ping_status":"","sticky":false,"template":"","format":"standard","meta":{"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":[27],"tags":[68],"class_list":["post-39293","post","type-post","status-publish","format-standard","hentry","category-news","tag-68"],"yoast_head":"<!-- This site is optimized with the Yoast SEO plugin v27.9 - https:\/\/yoast.com\/product\/yoast-seo-wordpress\/ -->\n<title>7B\u7ea7\u5f62\u5f0f\u5316\u63a8\u7406\u4e0e\u9a8c\u8bc1\u5c0f\u6a21\u578b\uff0c\u5ab2\u7f8e\u6ee1\u8840\u7248DeepSeek-R1\uff0c\u5168\u9762\u5f00\u6e90\uff01 - \u4e00\u8d77AI\u6280\u672f<\/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:\/\/17aitech.com\/?p=39293\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\\\/\\\/schema.org\",\"@graph\":[{\"@type\":\"Article\",\"@id\":\"https:\\\/\\\/17aitech.com\\\/?p=39293#article\",\"isPartOf\":{\"@id\":\"https:\\\/\\\/17aitech.com\\\/?p=39293\"},\"author\":{\"name\":\"AI\u5c0f\u52a9\u624b\",\"@id\":\"https:\\\/\\\/17aitech.com\\\/#\\\/schema\\\/person\\\/60225458499e817ae0af73e67e440b9d\"},\"headline\":\"7B\u7ea7\u5f62\u5f0f\u5316\u63a8\u7406\u4e0e\u9a8c\u8bc1\u5c0f\u6a21\u578b\uff0c\u5ab2\u7f8e\u6ee1\u8840\u7248DeepSeek-R1\uff0c\u5168\u9762\u5f00\u6e90\uff01\",\"datePublished\":\"2025-03-08T13:02:30+00:00\",\"mainEntityOfPage\":{\"@id\":\"https:\\\/\\\/17aitech.com\\\/?p=39293\"},\"wordCount\":129,\"commentCount\":0,\"image\":{\"@id\":\"https:\\\/\\\/17aitech.com\\\/?p=39293#primaryimage\"},\"thumbnailUrl\":\"https:\\\/\\\/17aitech.com\\\/wp-content\\\/uploads\\\/2025\\\/03\\\/frc-29dc27fd091b5515d463f7ef462765e1.png\",\"keywords\":[\"\u5927\u6a21\u578b\"],\"articleSection\":[\"\u884c\u4e1a\u8d44\u8baf\"],\"inLanguage\":\"zh-Hans\",\"potentialAction\":[{\"@type\":\"CommentAction\",\"name\":\"Comment\",\"target\":[\"https:\\\/\\\/17aitech.com\\\/?p=39293#respond\"]}]},{\"@type\":\"WebPage\",\"@id\":\"https:\\\/\\\/17aitech.com\\\/?p=39293\",\"url\":\"https:\\\/\\\/17aitech.com\\\/?p=39293\",\"name\":\"7B\u7ea7\u5f62\u5f0f\u5316\u63a8\u7406\u4e0e\u9a8c\u8bc1\u5c0f\u6a21\u578b\uff0c\u5ab2\u7f8e\u6ee1\u8840\u7248DeepSeek-R1\uff0c\u5168\u9762\u5f00\u6e90\uff01 - \u4e00\u8d77AI\u6280\u672f\",\"isPartOf\":{\"@id\":\"https:\\\/\\\/17aitech.com\\\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\\\/\\\/17aitech.com\\\/?p=39293#primaryimage\"},\"image\":{\"@id\":\"https:\\\/\\\/17aitech.com\\\/?p=39293#primaryimage\"},\"thumbnailUrl\":\"https:\\\/\\\/17aitech.com\\\/wp-content\\\/uploads\\\/2025\\\/03\\\/frc-29dc27fd091b5515d463f7ef462765e1.png\",\"datePublished\":\"2025-03-08T13:02:30+00:00\",\"author\":{\"@id\":\"https:\\\/\\\/17aitech.com\\\/#\\\/schema\\\/person\\\/60225458499e817ae0af73e67e440b9d\"},\"breadcrumb\":{\"@id\":\"https:\\\/\\\/17aitech.com\\\/?p=39293#breadcrumb\"},\"inLanguage\":\"zh-Hans\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\\\/\\\/17aitech.com\\\/?p=39293\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"zh-Hans\",\"@id\":\"https:\\\/\\\/17aitech.com\\\/?p=39293#primaryimage\",\"url\":\"https:\\\/\\\/17aitech.com\\\/wp-content\\\/uploads\\\/2025\\\/03\\\/frc-29dc27fd091b5515d463f7ef462765e1.png\",\"contentUrl\":\"https:\\\/\\\/17aitech.com\\\/wp-content\\\/uploads\\\/2025\\\/03\\\/frc-29dc27fd091b5515d463f7ef462765e1.png\"},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\\\/\\\/17aitech.com\\\/?p=39293#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"\u9996\u9875\",\"item\":\"https:\\\/\\\/17aitech.com\\\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"7B\u7ea7\u5f62\u5f0f\u5316\u63a8\u7406\u4e0e\u9a8c\u8bc1\u5c0f\u6a21\u578b\uff0c\u5ab2\u7f8e\u6ee1\u8840\u7248DeepSeek-R1\uff0c\u5168\u9762\u5f00\u6e90\uff01\"}]},{\"@type\":\"WebSite\",\"@id\":\"https:\\\/\\\/17aitech.com\\\/#website\",\"url\":\"https:\\\/\\\/17aitech.com\\\/\",\"name\":\"\u4e00\u8d77AI\u6280\u672f\",\"description\":\"\u8ba9AI\u77e5\u8bc6\u89e6\u624b\u53ef\u53ca\",\"alternateName\":\"\u4e00\u8d77AI\u6280\u672f\",\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":{\"@type\":\"EntryPoint\",\"urlTemplate\":\"https:\\\/\\\/17aitech.com\\\/?s={search_term_string}\"},\"query-input\":{\"@type\":\"PropertyValueSpecification\",\"valueRequired\":true,\"valueName\":\"search_term_string\"}}],\"inLanguage\":\"zh-Hans\"},{\"@type\":\"Person\",\"@id\":\"https:\\\/\\\/17aitech.com\\\/#\\\/schema\\\/person\\\/60225458499e817ae0af73e67e440b9d\",\"name\":\"AI\u5c0f\u52a9\u624b\",\"image\":{\"@type\":\"ImageObject\",\"inLanguage\":\"zh-Hans\",\"@id\":\"\\\/\\\/17aitech.com\\\/wp-content\\\/uploads\\\/2024\\\/04\\\/robot_3.png\",\"url\":\"\\\/\\\/17aitech.com\\\/wp-content\\\/uploads\\\/2024\\\/04\\\/robot_3.png\",\"contentUrl\":\"\\\/\\\/17aitech.com\\\/wp-content\\\/uploads\\\/2024\\\/04\\\/robot_3.png\",\"caption\":\"AI\u5c0f\u52a9\u624b\"},\"description\":\"\u8fd9\u4e2a\u4eba\u5f88\u61d2\uff0c\u4ec0\u4e48\u90fd\u6ca1\u6709\u7559\u4e0b\uff5e\",\"url\":\"https:\\\/\\\/17aitech.com\\\/?page_id=33738&user=3\"}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","yoast_head_json":{"title":"7B\u7ea7\u5f62\u5f0f\u5316\u63a8\u7406\u4e0e\u9a8c\u8bc1\u5c0f\u6a21\u578b\uff0c\u5ab2\u7f8e\u6ee1\u8840\u7248DeepSeek-R1\uff0c\u5168\u9762\u5f00\u6e90\uff01 - \u4e00\u8d77AI\u6280\u672f","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:\/\/17aitech.com\/?p=39293","schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"Article","@id":"https:\/\/17aitech.com\/?p=39293#article","isPartOf":{"@id":"https:\/\/17aitech.com\/?p=39293"},"author":{"name":"AI\u5c0f\u52a9\u624b","@id":"https:\/\/17aitech.com\/#\/schema\/person\/60225458499e817ae0af73e67e440b9d"},"headline":"7B\u7ea7\u5f62\u5f0f\u5316\u63a8\u7406\u4e0e\u9a8c\u8bc1\u5c0f\u6a21\u578b\uff0c\u5ab2\u7f8e\u6ee1\u8840\u7248DeepSeek-R1\uff0c\u5168\u9762\u5f00\u6e90\uff01","datePublished":"2025-03-08T13:02:30+00:00","mainEntityOfPage":{"@id":"https:\/\/17aitech.com\/?p=39293"},"wordCount":129,"commentCount":0,"image":{"@id":"https:\/\/17aitech.com\/?p=39293#primaryimage"},"thumbnailUrl":"https:\/\/17aitech.com\/wp-content\/uploads\/2025\/03\/frc-29dc27fd091b5515d463f7ef462765e1.png","keywords":["\u5927\u6a21\u578b"],"articleSection":["\u884c\u4e1a\u8d44\u8baf"],"inLanguage":"zh-Hans","potentialAction":[{"@type":"CommentAction","name":"Comment","target":["https:\/\/17aitech.com\/?p=39293#respond"]}]},{"@type":"WebPage","@id":"https:\/\/17aitech.com\/?p=39293","url":"https:\/\/17aitech.com\/?p=39293","name":"7B\u7ea7\u5f62\u5f0f\u5316\u63a8\u7406\u4e0e\u9a8c\u8bc1\u5c0f\u6a21\u578b\uff0c\u5ab2\u7f8e\u6ee1\u8840\u7248DeepSeek-R1\uff0c\u5168\u9762\u5f00\u6e90\uff01 - \u4e00\u8d77AI\u6280\u672f","isPartOf":{"@id":"https:\/\/17aitech.com\/#website"},"primaryImageOfPage":{"@id":"https:\/\/17aitech.com\/?p=39293#primaryimage"},"image":{"@id":"https:\/\/17aitech.com\/?p=39293#primaryimage"},"thumbnailUrl":"https:\/\/17aitech.com\/wp-content\/uploads\/2025\/03\/frc-29dc27fd091b5515d463f7ef462765e1.png","datePublished":"2025-03-08T13:02:30+00:00","author":{"@id":"https:\/\/17aitech.com\/#\/schema\/person\/60225458499e817ae0af73e67e440b9d"},"breadcrumb":{"@id":"https:\/\/17aitech.com\/?p=39293#breadcrumb"},"inLanguage":"zh-Hans","potentialAction":[{"@type":"ReadAction","target":["https:\/\/17aitech.com\/?p=39293"]}]},{"@type":"ImageObject","inLanguage":"zh-Hans","@id":"https:\/\/17aitech.com\/?p=39293#primaryimage","url":"https:\/\/17aitech.com\/wp-content\/uploads\/2025\/03\/frc-29dc27fd091b5515d463f7ef462765e1.png","contentUrl":"https:\/\/17aitech.com\/wp-content\/uploads\/2025\/03\/frc-29dc27fd091b5515d463f7ef462765e1.png"},{"@type":"BreadcrumbList","@id":"https:\/\/17aitech.com\/?p=39293#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"\u9996\u9875","item":"https:\/\/17aitech.com\/"},{"@type":"ListItem","position":2,"name":"7B\u7ea7\u5f62\u5f0f\u5316\u63a8\u7406\u4e0e\u9a8c\u8bc1\u5c0f\u6a21\u578b\uff0c\u5ab2\u7f8e\u6ee1\u8840\u7248DeepSeek-R1\uff0c\u5168\u9762\u5f00\u6e90\uff01"}]},{"@type":"WebSite","@id":"https:\/\/17aitech.com\/#website","url":"https:\/\/17aitech.com\/","name":"\u4e00\u8d77AI\u6280\u672f","description":"\u8ba9AI\u77e5\u8bc6\u89e6\u624b\u53ef\u53ca","alternateName":"\u4e00\u8d77AI\u6280\u672f","potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https:\/\/17aitech.com\/?s={search_term_string}"},"query-input":{"@type":"PropertyValueSpecification","valueRequired":true,"valueName":"search_term_string"}}],"inLanguage":"zh-Hans"},{"@type":"Person","@id":"https:\/\/17aitech.com\/#\/schema\/person\/60225458499e817ae0af73e67e440b9d","name":"AI\u5c0f\u52a9\u624b","image":{"@type":"ImageObject","inLanguage":"zh-Hans","@id":"\/\/17aitech.com\/wp-content\/uploads\/2024\/04\/robot_3.png","url":"\/\/17aitech.com\/wp-content\/uploads\/2024\/04\/robot_3.png","contentUrl":"\/\/17aitech.com\/wp-content\/uploads\/2024\/04\/robot_3.png","caption":"AI\u5c0f\u52a9\u624b"},"description":"\u8fd9\u4e2a\u4eba\u5f88\u61d2\uff0c\u4ec0\u4e48\u90fd\u6ca1\u6709\u7559\u4e0b\uff5e","url":"https:\/\/17aitech.com\/?page_id=33738&user=3"}]}},"_links":{"self":[{"href":"https:\/\/17aitech.com\/index.php?rest_route=\/wp\/v2\/posts\/39293","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/17aitech.com\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/17aitech.com\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/17aitech.com\/index.php?rest_route=\/wp\/v2\/users\/3"}],"replies":[{"embeddable":true,"href":"https:\/\/17aitech.com\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=39293"}],"version-history":[{"count":0,"href":"https:\/\/17aitech.com\/index.php?rest_route=\/wp\/v2\/posts\/39293\/revisions"}],"wp:attachment":[{"href":"https:\/\/17aitech.com\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=39293"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/17aitech.com\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=39293"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/17aitech.com\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=39293"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}