{"id":1106076,"date":"2024-11-21T01:56:54","date_gmt":"2024-11-21T09:56:54","guid":{"rendered":"https:\/\/www.microsoft.com\/en-us\/research\/?post_type=msr-blog-post&#038;p=1106076"},"modified":"2024-11-21T02:07:17","modified_gmt":"2024-11-21T10:07:17","slug":"new-arrival-in-research-17","status":"publish","type":"msr-blog-post","link":"https:\/\/www.microsoft.com\/en-us\/research\/articles\/new-arrival-in-research-17\/","title":{"rendered":"Rust\u81ea\u52a8\u5f62\u5f0f\u5316\u8bc1\u660e\u3001LLMs\u56fe\u6a21\u5f0f\u7406\u89e3\u3001\u673a\u68b0\u81c2\u52a8\u4f5c\u6a21\u4eff"},"content":{"rendered":"\n<p>\u7f16\u8005\u6309\uff1a\u6b22\u8fce\u9605\u8bfb\u201c\u79d1\u7814\u4e0a\u65b0\u201d\u680f\u76ee\uff01\u201c\u79d1\u7814\u4e0a\u65b0\u201d\u6c47\u805a\u4e86\u5fae\u8f6f\u4e9a\u6d32\u7814\u7a76\u9662\u6700\u65b0\u7684\u521b\u65b0\u6210\u679c\u4e0e\u79d1\u7814\u52a8\u6001\u3002\u5728\u8fd9\u91cc\uff0c\u4f60\u53ef\u4ee5\u5feb\u901f\u6d4f\u89c8\u7814\u7a76\u9662\u7684\u4eae\u70b9\u8d44\u8baf\uff0c\u4fdd\u6301\u5bf9\u524d\u6cbf\u9886\u57df\u7684\u654f\u9510\u55c5\u89c9\uff0c\u540c\u65f6\u4e5f\u80fd\u627e\u5230\u5148\u8fdb\u5b9e\u7528\u7684\u5f00\u6e90\u5de5\u5177\u3002<\/p>\n\n\n\n<p><strong>\u672c\u671f\u5185\u5bb9\u901f\u89c8<\/strong><\/p>\n\n\n\n<p>01.\u00a0\u81ea\u6211\u8fdb\u5316\u5b9e\u73b0Rust\u81ea\u52a8\u5f62\u5f0f\u5316\u8bc1\u660e<\/p>\n\n\n\n<p>02.\u00a0\u57fa\u4e8e\u56fe\u6a21\u5f0f\u7684\u7406\u89e3\u57fa\u51c6\u6d4b\u8bd5<\/p>\n\n\n\n<p>03.\u00a0IGOR: \u901a\u8fc7\u5b66\u4e60\u7edf\u4e00\u7684\u52a8\u4f5c\u8868\u793a\u7a7a\u95f4\u8ba9\u673a\u68b0\u81c2\u6a21\u4eff\u4eba\u7c7b\u52a8\u4f5c<\/p>\n\n\n\n<h3 class=\"wp-block-heading\" id=\"01-\u81ea\u6211\u8fdb\u5316\u5b9e\u73b0rust\u81ea\u52a8\u5f62\u5f0f\u5316\u8bc1\u660e\">01. \u81ea\u6211\u8fdb\u5316\u5b9e\u73b0Rust\u81ea\u52a8\u5f62\u5f0f\u5316\u8bc1\u660e<\/h3>\n\n\n\n<figure class=\"wp-block-image size-large is-resized\"><img loading=\"lazy\" decoding=\"async\" width=\"1024\" height=\"424\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2024\/11\/new-arrival-in-research-17-1-1024x424.png\" alt=\"paper screenshot\" class=\"wp-image-1106100\" style=\"width:608px;height:auto\" srcset=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2024\/11\/new-arrival-in-research-17-1-1024x424.png 1024w, https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2024\/11\/new-arrival-in-research-17-1-300x124.png 300w, https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2024\/11\/new-arrival-in-research-17-1-768x318.png 768w, https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2024\/11\/new-arrival-in-research-17-1-240x99.png 240w, https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2024\/11\/new-arrival-in-research-17-1.png 1392w\" sizes=\"auto, (max-width: 1024px) 100vw, 1024px\" \/><\/figure>\n\n\n\n<p>\u8bba\u6587\u94fe\u63a5\uff1a<a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" rel=\"noopener noreferrer\" target=\"_blank\" href=\"https:\/\/arxiv.org\/pdf\/2410.15756\">https:\/\/arxiv.org\/pdf\/2410.15756<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><\/p>\n\n\n\n<p>\u5f62\u5f0f\u5316\u9a8c\u8bc1\u662f\u901a\u8fc7\u6570\u5b66\u65b9\u6cd5\u6765\u8bc1\u660e\u8f6f\u4ef6\u6b63\u786e\u6027\u7684\u624b\u6bb5\uff0c\u5b83\u8981\u6c42\u5f00\u53d1\u8005\u7528\u5f62\u5f0f\u5316\u8bed\u8a00\u5199\u51fa\u8f6f\u4ef6\u7cfb\u7edf\u9700\u8981\u6ee1\u8db3\u7684\u5c5e\u6027\uff0c\u518d\u5199\u51fa\u5f62\u5f0f\u5316\u7684\u8bc1\u660e\uff0c\u7528\u81ea\u52a8\u5b9a\u7406\u6c42\u89e3\u5668\u53bb\u8bc1\u660e\u8f6f\u4ef6\u6ee1\u8db3\u8fd9\u4e9b\u5c5e\u6027\u3002\u9ad8\u6602\u7684\u4eba\u5de5\u6210\u672c\u4f7f\u5f97\u5f00\u53d1\u8005\u5bf9\u4f7f\u7528\u8fd9\u7c7b\u65b9\u6cd5\u671b\u800c\u5374\u6b65\uff0c\u8fd9\u4e5f\u5bfc\u81f4\u5f62\u5f0f\u5316\u8bc1\u660e\u7684\u4ee3\u7801\u5f88\u5c11\uff0c\u5373\u4fbf\u662f\u5927\u8bed\u8a00\u6a21\u578b\uff0c\u4e5f\u7531\u4e8e\u7f3a\u4e4f\u8bad\u7ec3\u6570\u636e\u96be\u4ee5\u751f\u6210\u8fd9\u6837\u7684\u8bc1\u660e\u4ee3\u7801\u3002<\/p>\n\n\n\n<p>\u5bf9\u6b64\uff0c\u5fae\u8f6f\u4e9a\u6d32\u7814\u7a76\u9662\u7684\u7814\u5458\u4eec\u901a\u8fc7\u8ba9\u5927\u8bed\u8a00\u6a21\u578b\u81ea\u6211\u8fdb\u5316\u7684\u65b9\u5f0f\uff0c\u5b9e\u73b0\u4e86 Rust \u4ee3\u7801\u4e0a\u7684\u81ea\u52a8\u5f62\u5f0f\u5316\u8bc1\u660e\u3002\u81ea\u6211\u8fdb\u5316\u6846\u67b6\u80fd\u591f\u8fed\u4ee3\u5f0f\u5730\u5408\u6210\u66f4\u9ad8\u8d28\u91cf\u7684\u6570\u636e\uff0c\u5e76\u7528\u4e8e\u8bad\u7ec3\u66f4\u5f3a\u7684\u80fd\u591f\u751f\u6210\u5f62\u5f0f\u5316\u8bc1\u660e\u4ee3\u7801\u7684\u6a21\u578b\u3002<\/p>\n\n\n\n<p>\u5177\u4f53\u6765\u8bf4\uff0c\u7814\u7a76\u5458\u4eec\u9996\u5148\u6536\u96c6\u4e86\u5927\u91cf\u9002\u5408\u4e8e\u8bc1\u660e\u7684 Rust \u4ee3\u7801\uff0c\u5c06\u5b83\u4eec\u7ffb\u8bd1\u6210\u80fd\u591f\u88ab\u8bc1\u660e\u7684\u5f62\u5f0f\u5316\u8bed\u8a00 Verus\uff0c\u6240\u6709\u88ab Verus \u7f16\u8bd1\u5668\u901a\u8fc7\u7684\u4ee3\u7801\u5c06\u88ab\u4fdd\u7559\u4f5c\u4e3a\u79cd\u5b50\u6570\u636e\u8fdb\u884c\u5408\u6210\u3002\u63a5\u4e0b\u6765\uff0c\u7528\u5927\u6a21\u578b\u81ea\u6211\u8fdb\u5316\u7684\u65b9\u5f0f\u751f\u6210 Verus \u89c4\u8303\uff0c\u5373\u4ee3\u7801\u9700\u8981\u6ee1\u8db3\u7684\u5f62\u5f0f\u5316\u5c5e\u6027\uff0c\u5728\u6bcf\u4e00\u8f6e\u8fdb\u5316\u4e2d\uff0c\u524d\u4e00\u8f6e\u751f\u6210\u7684\u89c4\u8303\u5c06\u7528\u4e8e\u8bad\u7ec3\u4e00\u4e2a\u65b0\u7684\u3001\u7ecf\u8fc7\u5fae\u8c03\u7684\u5f00\u6e90\u6a21\u578b\uff0c\u4ece\u800c\u5728\u4e0b\u4e00\u8f6e\u5fae\u8c03\u4e2d\u751f\u6210\u66f4\u591a\u8d28\u91cf\u66f4\u9ad8\u7684\u89c4\u8303\u3002\u6700\u540e\uff0c\u4e3a\u4e86\u83b7\u5f97\u80fd\u591f\u901a\u8fc7\u9a8c\u8bc1\u7684\u4ee3\u7801\uff0c\u6a21\u578b\u8fd8\u9700\u8981\u751f\u6210\u8bc1\u660e\u4ee3\u7801\u4ee5\u8bc1\u660e\u4e0a\u8ff0\u89c4\u8303\u80fd\u88ab\u6ee1\u8db3\u3002\u7814\u7a76\u5458\u4eec\u540c\u6837\u4f7f\u7528\u4e86\u81ea\u6211\u8fdb\u5316\u7684\u65b9\u5f0f\u5fae\u8c03\u5927\u6a21\u578b\uff0c\u5728\u8fd9\u4e2a\u8fc7\u7a0b\u4e2d\uff0c\u6240\u6709\u5408\u6210\u7684\u80fd\u88ab Verus \u9a8c\u8bc1\u7684\u4ee3\u7801\u5c06\u4f1a\u4f5c\u4e3a\u8bad\u7ec3\u8bed\u6599\uff0c\u540c\u65f6\uff0c\u5728\u751f\u6210\u8fc7\u7a0b\u4e2d\u7684\u9519\u8bef\u4ee3\u7801\u4f1a\u548c\u5b83\u7684\u9519\u8bef\u4fe1\u606f\u4e00\u8d77\uff0c\u4f5c\u4e3a\u8bad\u7ec3\u6a21\u578b\u81ea\u6211 debug \u80fd\u529b\u7684\u8bed\u6599\u3002<\/p>\n\n\n\n<figure class=\"wp-block-image size-full\"><img loading=\"lazy\" decoding=\"async\" width=\"1004\" height=\"465\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2024\/11\/new-arrival-in-research-17-2.png\" alt=\"\u81ea\u6211\u8fdb\u5316\u6846\u67b6\u793a\u610f\u56fe\" class=\"wp-image-1106103\" srcset=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2024\/11\/new-arrival-in-research-17-2.png 1004w, https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2024\/11\/new-arrival-in-research-17-2-300x139.png 300w, https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2024\/11\/new-arrival-in-research-17-2-768x356.png 768w, https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2024\/11\/new-arrival-in-research-17-2-240x111.png 240w\" sizes=\"auto, (max-width: 1004px) 100vw, 1004px\" \/><figcaption class=\"wp-element-caption\">\u56fe1\uff1a\u81ea\u6211\u8fdb\u5316\u6846\u67b6\u793a\u610f\u56fe<\/figcaption><\/figure>\n\n\n\n<p>\u5728\u7531 Verus \u4e13\u5bb6\u6784\u5efa\u7684\u57fa\u51c6\u4e0a\uff0c\u7ecf\u8fc7\u81ea\u6211\u8fdb\u5316\u7684\u5f00\u6e90\u6a21\u578b\u5728\u81ea\u52a8\u751f\u6210\u8bc1\u660e\u4ee3\u7801\u7684\u4efb\u52a1\u4e0a\u7684 pass@10 \u901a\u8fc7\u7387\u8fbe\u5230\u4e8670.50%\uff0c\u76f8\u8f83\u4e8e\u672a\u7ecf\u8bad\u7ec3\u65f6\u768417.27%\u6709\u4e86\u5de8\u5927\u7684\u98de\u8dc3\u3002\u8fd9\u4e00\u6210\u679c\u5145\u5206\u9a8c\u8bc1\u4e86\u672c\u7bc7\u8bba\u6587\u4e2d\u63d0\u51fa\u7684\u81ea\u6211\u8fdb\u5316\u6570\u636e\u5408\u6210\u4e0e\u5fae\u8c03\u6846\u67b6\u7684\u6709\u6548\u6027\u3002<\/p>\n\n\n\n<h3 class=\"wp-block-heading\" id=\"02-\u5927\u8bed\u8a00\u6a21\u578b\u5bf9\u4e8e\u56fe\u6a21\u5f0f-graph-pattern-\u7406\u89e3\u7684\u57fa\u51c6\u6d4b\u8bd5\">02. \u5927\u8bed\u8a00\u6a21\u578b\u5bf9\u4e8e\u56fe\u6a21\u5f0f\uff08graph pattern\uff09\u7406\u89e3\u7684\u57fa\u51c6\u6d4b\u8bd5&nbsp;<\/h3>\n\n\n\n<figure class=\"wp-block-image size-large is-resized\"><img loading=\"lazy\" decoding=\"async\" width=\"1024\" height=\"337\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2024\/11\/new-arrival-in-research-17-3-1024x337.png\" alt=\"paper screenshot\" class=\"wp-image-1106106\" style=\"width:631px;height:auto\" srcset=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2024\/11\/new-arrival-in-research-17-3-1024x337.png 1024w, https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2024\/11\/new-arrival-in-research-17-3-300x99.png 300w, https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2024\/11\/new-arrival-in-research-17-3-768x253.png 768w, https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2024\/11\/new-arrival-in-research-17-3-1536x506.png 1536w, https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2024\/11\/new-arrival-in-research-17-3-240x79.png 240w, https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2024\/11\/new-arrival-in-research-17-3.png 1917w\" sizes=\"auto, (max-width: 1024px) 100vw, 1024px\" \/><\/figure>\n\n\n\n<p>\u8bba\u6587\u94fe\u63a5\uff1a<a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" rel=\"noopener noreferrer\" target=\"_blank\" href=\"https:\/\/arxiv.org\/pdf\/2410.05298\">https:\/\/arxiv.org\/pdf\/2410.05298<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><\/p>\n\n\n\n<p>\u76ee\u524d\uff0c\u5927\u91cf\u5de5\u4f5c\u5df2\u7ecf\u9a8c\u8bc1\u4e86\u5927\u8bed\u8a00\u6a21\u578b\uff08LLMs\uff09\u53ef\u4ee5\u8fdb\u884c\u6700\u57fa\u672c\u7684\u56fe\u63a8\u7406\u4efb\u52a1\uff0c\u5373 LLMs \u53ef\u4ee5\u627e\u5230\u4e24\u4e2a\u8282\u70b9\u4e4b\u95f4\u7684\u8fde\u63a5\u5173\u7cfb\u3002\u56fe\u4e0d\u4ec5\u4ec5\u53ef\u4ee5\u901a\u8fc7\u70b9\u7684\u8fde\u63a5\u5173\u7cfb\u8868\u793a\u7279\u5f81\uff0c\u4e5f\u53ef\u4ee5\u901a\u8fc7\u5e26\u4e00\u5b9a\u7279\u5f81\u7684\u5b50\u56fe\u8868\u793a\uff0c\u6bd4\u5982\uff0c\u56fe\u4e2d\u662f\u5426\u542b\u6709\u4e09\u89d2\u5f62\u8fde\u63a5\u5173\u7cfb\uff0c\u5206\u5b50\u56fe\u4e2d\u662f\u5426\u542b\u6709\u82ef\u73af\u7ed3\u6784\uff0c\u793e\u4ea4\u56fe\u4e2d\u662f\u5426\u542b\u6709\u661f\u72b6\u7ed3\u6784\u3002\u8fd9\u4e9b\u56fe\u6a21\u5f0f\u5728\u56fe\u6316\u6398\u4ee5\u53ca\u56fe\u5b66\u4e60\u4e2d\u975e\u5e38\u91cd\u8981\u3002<\/p>\n\n\n\n<p>\u5728\u672c\u7bc7\u8bba\u6587\u4e2d\uff0c\u7814\u7a76\u5458\u4eec\u6d4b\u8bd5\u4e86\u5305\u62ec GPT-4\u3001GPT-4o \u548c O1 \u5728\u5185\u7684 7 \u79cd\u5927\u8bed\u8a00\u6a21\u578b\u5728\u56fe\u6a21\u5f0f\u8bc6\u522b\u4e2d\u7684\u80fd\u529b\uff0c\u5b9e\u9a8c\u8bbe\u8ba1\u4e2d\u5305\u542b\u4e86\u603b\u51714\u5927\u4efb\u52a1\u4ee5\u53ca11\u79cd\u5b50\u4efb\u52a1\u3002\u5177\u4f53\u800c\u8a00\uff0c\u7814\u7a76\u5458\u4eec\u8003\u5bdf\u4e86\u8fd9\u4e9b\u6a21\u578b\u662f\u5426\u80fd\u591f\u5728\u6bcf\u4e2a\u56fe\u4e2d\u4f7f\u7528\u5b50\u56fe\u5b9a\u4e49\u548c\u5b50\u56fe\u5339\u914d\u7684\u65b9\u6cd5\u6765\u8bc6\u522b\u56fe\u4e2d\u7684\u5b50\u56fe\u7279\u5f81\u3002\u6b64\u5916\uff0c\u8be5\u6d4b\u8bd5\u8fd8\u8bc4\u4f30\u4e86\u6a21\u578b\u5728\u6ca1\u6709\u7279\u5b9a\u5b50\u56fe\u63d0\u793a\u7684\u60c5\u51b5\u4e0b\uff0c\u603b\u7ed3\u56fe\u6570\u636e\u96c6\u7684\u89c4\u5f8b\u5e76\u9884\u6d4b\u5176\u4e2d\u7684\u7279\u5f81\uff0c\u4ee5\u53ca\u8fd9\u4e9b\u7279\u5f81\u4e0e\u6570\u636e\u6807\u7b7e\u4e4b\u95f4\u7684\u5173\u7cfb\u3002\u6700\u540e\uff0c\u7814\u7a76\u5458\u4eec\u5728\u771f\u5b9e\u6570\u636e\u96c6\u4e0a\u6d4b\u8bd5\u4e86\u5927\u8bed\u8a00\u6a21\u578b\u7684\u56fe\u6a21\u5f0f\u5339\u914d\u80fd\u529b\u53ca\u5176\u56fe\u5206\u7c7b\u7684\u6548\u679c\u3002<\/p>\n\n\n\n<figure class=\"wp-block-image size-large is-resized\"><img loading=\"lazy\" decoding=\"async\" width=\"1024\" height=\"259\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2024\/11\/new-arrival-in-research-17-4-1024x259.png\" alt=\"\u5bf9\u4e0d\u540c\u7c7b\u578b\u7684\u56fe\u6a21\u5f0f\u8868\u8fbe\u65b9\u5f0f\u8fdb\u884c\u6d4b\u8bc4\" class=\"wp-image-1106109\" style=\"width:627px;height:auto\" srcset=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2024\/11\/new-arrival-in-research-17-4-1024x259.png 1024w, https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2024\/11\/new-arrival-in-research-17-4-300x76.png 300w, https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2024\/11\/new-arrival-in-research-17-4-768x194.png 768w, https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2024\/11\/new-arrival-in-research-17-4-240x61.png 240w, https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2024\/11\/new-arrival-in-research-17-4.png 1461w\" sizes=\"auto, (max-width: 1024px) 100vw, 1024px\" \/><figcaption class=\"wp-element-caption\">\u88681\uff1a\u5bf9\u4e0d\u540c\u7c7b\u578b\u7684\u56fe\u6a21\u5f0f\u8868\u8fbe\u65b9\u5f0f\u8fdb\u884c\u6d4b\u8bc4<\/figcaption><\/figure>\n\n\n\n<p>\u6839\u636e\u4e0d\u540c\u5927\u8bed\u8a00\u6a21\u578b\u5728\u5404\u7c7b\u56fe\u6a21\u5f0f\u4efb\u52a1\u4e2d\u7684\u8868\u73b0\uff0c\u7814\u7a76\u5458\u4eec\u603b\u7ed3\u51fa\u4e86\u4e00\u4e9b\u5173\u4e8e\u5927\u8bed\u8a00\u6a21\u578b\u5728\u56fe\u6a21\u5f0f\u4efb\u52a1\u4e0a\u7684\u91cd\u8981\u53d1\u73b0\u3002\u4f8b\u5982\uff1a1. \u5927\u8bed\u8a00\u6a21\u578b\u5177\u5907\u57fa\u7840\u7684\u56fe\u6a21\u5f0f\u7406\u89e3\u80fd\u529b\uff0c\u968f\u7740\u6a21\u578b\u80fd\u529b\u7684\u63d0\u5347\uff08\u5982 O1 \u6a21\u578b\uff09\uff0c\u5728\u67d0\u4e9b\u4efb\u52a1\u4e2d\u7684\u9884\u6d4b\u6027\u80fd\u4f1a\u663e\u8457\u63d0\u9ad8\uff1b2. \u5927\u8bed\u8a00\u6a21\u578b\u53ef\u4ee5\u5229\u7528\u5148\u9a8c\u77e5\u8bc6\u589e\u5f3a\u56fe\u6a21\u5f0f\u7406\u89e3\u80fd\u529b\uff0c\u5e76\u5c06\u8fd9\u79cd\u80fd\u529b\u6269\u5c55\u5230\u771f\u5b9e\u6570\u636e\u96c6\u7684\u5206\u6790\uff1b3. \u5927\u8bed\u8a00\u6a21\u578b\u5728\u56fe\u6a21\u5f0f\u8ba4\u77e5\u8fc7\u7a0b\u4e2d\u53ef\u80fd\u4f1a\u91c7\u7528\u4e0d\u540c\u7684\u7b97\u6cd5\u6216\u7b56\u7565\uff0c\u8fd9\u5c06\u5f71\u54cd\u6a21\u578b\u7684\u9884\u6d4b\u51c6\u786e\u6027\u3002<\/p>\n\n\n\n<p>\u8fd9\u4e9b\u53d1\u73b0\u4e3a\u672a\u6765\u57fa\u4e8e\u5927\u8bed\u8a00\u6a21\u578b\u7684\u56fe\u6a21\u578b\u5f00\u53d1\u4ee5\u53ca\u63d0\u5347\u5176\u5bf9\u590d\u6742\u903b\u8f91\u7ed3\u6784\u7684\u7406\u89e3\uff0c\u63d0\u4f9b\u4e86\u91cd\u8981\u6307\u5bfc\u3002\u7814\u7a76\u5458\u4eec\u4e5f\u5c06\u6301\u7eed\u5bf9\u76f8\u5173\u95ee\u9898\u8fdb\u884c\u66f4\u52a0\u6df1\u5165\u7684\u63a2\u7d22\u3002<\/p>\n\n\n\n<h3 class=\"wp-block-heading\" id=\"03-igor-\u901a\u8fc7\u5b66\u4e60\u7edf\u4e00\u7684\u52a8\u4f5c\u8868\u793a\u7a7a\u95f4\u8ba9\u673a\u68b0\u81c2\u6a21\u4eff\u4eba\u7c7b\u52a8\u4f5c\">03. IGOR: \u901a\u8fc7\u5b66\u4e60\u7edf\u4e00\u7684\u52a8\u4f5c\u8868\u793a\u7a7a\u95f4\u8ba9\u673a\u68b0\u81c2\u6a21\u4eff\u4eba\u7c7b\u52a8\u4f5c<\/h3>\n\n\n\n<figure class=\"wp-block-image size-large is-resized\"><img loading=\"lazy\" decoding=\"async\" width=\"1024\" height=\"225\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2024\/11\/new-arrival-in-research-17-5-1024x225.png\" alt=\"paper screenshot\" class=\"wp-image-1106112\" style=\"width:528px;height:auto\" srcset=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2024\/11\/new-arrival-in-research-17-5-1024x225.png 1024w, https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2024\/11\/new-arrival-in-research-17-5-300x66.png 300w, https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2024\/11\/new-arrival-in-research-17-5-768x169.png 768w, https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2024\/11\/new-arrival-in-research-17-5-240x53.png 240w, https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2024\/11\/new-arrival-in-research-17-5.png 1272w\" sizes=\"auto, (max-width: 1024px) 100vw, 1024px\" \/><\/figure>\n\n\n\n<p>\u8bba\u6587\u94fe\u63a5\uff1a<a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" rel=\"noopener noreferrer\" target=\"_blank\" href=\"https:\/\/arxiv.org\/pdf\/2411.00785\">https:\/\/arxiv.org\/pdf\/2411.00785<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><\/p>\n\n\n\n<p>\u9879\u76ee\u94fe\u63a5\uff1a<a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" rel=\"noopener noreferrer\" target=\"_blank\" href=\"https:\/\/aka.ms\/project-igor\">https:\/\/aka.ms\/project-igor<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><\/p>\n\n\n\n<p>\u5728\u8bad\u7ec3\u5177\u8eab\u667a\u80fd\u9886\u57df\u7684\u57fa\u7840\u6a21\u578b\u65f6\uff0c\u5e26\u6709\u6807\u7b7e\u7684\u9ad8\u8d28\u91cf\u673a\u5668\u4eba\u6570\u636e\u662f\u4fdd\u8bc1\u6a21\u578b\u8d28\u91cf\u7684\u5173\u952e\uff0c\u4f46\u76f4\u63a5\u91c7\u96c6\u673a\u5668\u4eba\u6570\u636e\u6210\u672c\u8f83\u9ad8\u3002\u8003\u8651\u5230\u4e92\u8054\u7f51\u89c6\u9891\u6570\u636e\u4e2d\u5c55\u793a\u4e86\u4e30\u5bcc\u7684\u4eba\u7c7b\u6d3b\u52a8\uff0c\u5305\u62ec\u4eba\u7c7b\u662f\u5982\u4f55\u4e0e\u73b0\u5b9e\u4e16\u754c\u4e2d\u7684\u5404\u79cd\u7269\u4f53\u8fdb\u884c\u4ea4\u4e92\u7684\u3002\u90a3\u4e48\uff0c\u662f\u5426\u53ef\u4ee5\u901a\u8fc7\u89c6\u9891\u6570\u636e\u4e3a\u4eba\u7c7b\u548c\u673a\u5668\u4eba\u5b66\u4e60\u4e00\u4e2a\u7edf\u4e00\u7684\u52a8\u4f5c\u8868\u793a\u7a7a\u95f4\uff0c\u4ee5\u5b9e\u73b0\u8de8\u4efb\u52a1\u548c\u667a\u80fd\u4f53\u7684\u77e5\u8bc6\u8fc1\u79fb\u548c\u4e0b\u6e38\u4efb\u52a1\u6548\u679c\u7684\u63d0\u5347\u5462\uff1f\u57fa\u4e8e\u8fd9\u4e00\u51fa\u53d1\u70b9\uff0c\u7814\u7a76\u5458\u4eec\u63d0\u51fa\u4e86\u56fe\u50cf\u76ee\u6807\u8868\u793a\uff08IGOR\uff0cImage-Goal Representation\uff09\u3002<\/p>\n\n\n\n<p>\u5982\u4f55\u5b66\u5230\u4eba\u7c7b\u548c\u673a\u5668\u4eba\u7edf\u4e00\u7684\u52a8\u4f5c\u8868\u793a\uff1f<\/p>\n\n\n\n<p>IGOR \u4f7f\u7528\u4e86\u6f5c\u5728\u52a8\u4f5c\u6a21\u578b LAM\uff08Latent Action Model\uff09\uff0c\u5c06\u521d\u59cb\u72b6\u6001\u548c\u76ee\u6807\u72b6\u6001\u4e4b\u95f4\u7684\u89c6\u89c9\u53d8\u5316\u538b\u7f29\u4e3a\u4f4e\u7ef4\u5411\u91cf\uff0c\u5e76\u901a\u8fc7\u6700\u5c0f\u5316\u521d\u59cb\u72b6\u6001\u548c\u52a8\u4f5c\u5411\u91cf\u5bf9\u76ee\u6807\u72b6\u6001\u7684\u91cd\u5efa\u635f\u5931\u8fdb\u884c\u8bad\u7ec3\u3002\u8fd9\u6837\uff0c\u5177\u6709\u76f8\u4f3c\u89c6\u89c9\u53d8\u5316\u7684\u56fe\u50cf\u72b6\u6001\u4f1a\u5177\u6709\u76f8\u4f3c\u7684\u52a8\u4f5c\u5411\u91cf\uff0c\u4ee3\u8868\u4e86\u5b83\u4eec\u5728\u8bed\u4e49\u7a7a\u95f4\u800c\u975e\u50cf\u7d20\u7a7a\u95f4\u4e0a\u7684\u53d8\u5316\u3002<\/p>\n\n\n\n<figure class=\"wp-block-image size-large\"><img loading=\"lazy\" decoding=\"async\" width=\"1024\" height=\"519\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2024\/11\/new-arrival-in-research-17-6-1024x519.png\" alt=\"IGOR \u6846\u67b6\u5b9e\u4f8b\uff0c\u5305\u542b\u4e86\u4e09\u4e2a\u57fa\u7840\u6a21\u578b\uff1aLatent Action Model, Policy Model \u548c World Model\" class=\"wp-image-1106118\" srcset=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2024\/11\/new-arrival-in-research-17-6-1024x519.png 1024w, https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2024\/11\/new-arrival-in-research-17-6-300x152.png 300w, https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2024\/11\/new-arrival-in-research-17-6-768x389.png 768w, https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2024\/11\/new-arrival-in-research-17-6-240x122.png 240w, https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2024\/11\/new-arrival-in-research-17-6.png 1272w\" sizes=\"auto, (max-width: 1024px) 100vw, 1024px\" \/><figcaption class=\"wp-element-caption\">\u56fe2\uff1aIGOR \u6846\u67b6\u5b9e\u4f8b\uff0c\u5305\u542b\u4e86\u4e09\u4e2a\u57fa\u7840\u6a21\u578b\uff1aLatent Action Model, Policy Model \u548c World Model<\/figcaption><\/figure>\n\n\n\n<p>\u901a\u8fc7 LAM\uff0c\u7814\u7a76\u5458\u4eec\u53ef\u4ee5\u5c06\u4e92\u8054\u7f51\u89c4\u6a21\u7684\u89c6\u9891\u6570\u636e\u8f6c\u5316\u4e3a\u5e26\u6709\u6f5c\u5728\u52a8\u4f5c\u6807\u6ce8\u7684\u6570\u636e\uff0c\u5927\u5927\u6269\u5c55\u4e86\u5177\u8eab\u667a\u80fd\u57fa\u7840\u6a21\u578b\u80fd\u591f\u4f7f\u7528\u7684\u6570\u636e\u91cf\u3002\u8fd9\u4e2a\u7edf\u4e00\u7684\u6f5c\u5728\u52a8\u4f5c\u7a7a\u95f4\u4f7f\u7814\u7a76\u5458\u4eec\u80fd\u591f\u5728\u51e0\u4e4e\u4efb\u610f\u7531\u673a\u5668\u4eba\u548c\u4eba\u7c7b\u6267\u884c\u7684\u4efb\u52a1\u4e0a\u8bad\u7ec3 Policy Model \u548c World Model\u3002\u901a\u8fc7\u7ed3\u5408 LAM \u548c World Model\uff0cIGOR \u6210\u529f\u5730\u5c06\u4e00\u4e2a\u89c6\u9891\u4e2d\u7684\u7269\u4f53\u8fd0\u52a8\u201c\u8fc1\u79fb\u201d\u5230\u4e86\u5176\u4ed6\u89c6\u9891\u4e2d\u3002\u5e76\u4e14\uff0c\u8fd9\u4e9b\u52a8\u4f5c\u5b9e\u73b0\u4e86\u8de8\u4efb\u52a1\u548c\u8de8\u667a\u80fd\u4f53\u7684\u8fc1\u79fb\u3002\u4e5f\u5c31\u662f\u8bf4\uff0c\u7528\u4eba\u7c7b\u7684\u884c\u4e3a\u7ed9\u673a\u5668\u4eba\u505a\u6f14\u793a\uff0c\u673a\u5668\u4eba\u4e5f\u80fd\u505a\u51fa\u6b63\u786e\u7684\u52a8\u4f5c\u3002\u5982\u4e0b\u56fe\u6240\u793a\uff0cLAM \u5f97\u5230\u7684\u6f5c\u5728\u52a8\u4f5c\u8868\u793a\u53ef\u4ee5\u540c\u65f6\u5b9e\u73b0\u8de8\u4efb\u52a1\uff08\u7528\u624b\u79fb\u52a8\u4e0d\u540c\u7269\u4f53\uff09\u548c\u8de8\u667a\u80fd\u4f53\uff08\u7528\u624b\u7684\u79fb\u52a8\u6307\u5bfc\u673a\u68b0\u81c2\u7684\u79fb\u52a8\uff09\u7684\u8fc1\u79fb\u3002<\/p>\n\n\n\n<figure class=\"wp-block-image size-full\"><img loading=\"lazy\" decoding=\"async\" width=\"600\" height=\"200\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2024\/11\/new-arrival-in-research-17-7.gif\" alt=\"Latent Action \u5b9e\u73b0\u8de8\u4efb\u52a1\u548c\u667a\u80fd\u4f53\u7684\u8fc1\u79fb\" class=\"wp-image-1106121\"\/><\/figure>\n\n\n\n<figure class=\"wp-block-image size-full\"><img loading=\"lazy\" decoding=\"async\" width=\"600\" height=\"200\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2024\/11\/new-arrival-in-research-17-8.gif\" alt=\"Latent Action \u5b9e\u73b0\u8de8\u4efb\u52a1\u548c\u667a\u80fd\u4f53\u7684\u8fc1\u79fb\" class=\"wp-image-1106124\"\/><figcaption class=\"wp-element-caption\">\u56fe3\uff1aLatent Action \u5b9e\u73b0\u8de8\u4efb\u52a1\u548c\u667a\u80fd\u4f53\u7684\u8fc1\u79fb<\/figcaption><\/figure>\n\n\n\n<p>IGOR \u5f00\u8f9f\u4e86\u901a\u8fc7\u5927\u91cf\u4eba\u7c7b\u548c\u673a\u5668\u4eba\u89c6\u9891\u9884\u8bad\u7ec3\u5b66\u4e60\u52a8\u4f5c\u8868\u793a\u5e76\u6cdb\u5316\u5230\u4e0d\u540c\u4efb\u52a1\u548c\u667a\u80fd\u4f53\u7684\u65b0\u8303\u5f0f\u3002\u901a\u8fc7\u4ece\u5927\u91cf\u89c6\u9891\u4e2d\u5b66\u5230\u7684\u52a8\u4f5c\u8868\u793a\uff0cIGOR \u53ef\u4ee5\u5b9e\u73b0\u673a\u5668\u4eba\u8f7b\u677e\u6a21\u4eff\u4eba\u7c7b\u52a8\u4f5c\uff0c\u8fdb\u800c\u5b9e\u73b0\u66f4\u901a\u7528\u7684\u667a\u80fd\u4f53\u3002<\/p>\n","protected":false},"excerpt":{"rendered":"<p>\u7f16\u8005\u6309\uff1a\u6b22\u8fce\u9605\u8bfb\u201c\u79d1\u7814\u4e0a\u65b0\u201d\u680f\u76ee\uff01\u201c\u79d1\u7814\u4e0a\u65b0\u201d\u6c47\u805a\u4e86\u5fae\u8f6f\u4e9a\u6d32\u7814\u7a76\u9662\u6700\u65b0\u7684\u521b\u65b0\u6210\u679c\u4e0e\u79d1\u7814\u52a8\u6001\u3002\u5728\u8fd9\u91cc\uff0c\u4f60\u53ef\u4ee5\u5feb\u901f\u6d4f\u89c8\u7814\u7a76\u9662\u7684\u4eae\u70b9\u8d44\u8baf\uff0c\u4fdd\u6301\u5bf9\u524d\u6cbf\u9886\u57df\u7684\u654f\u9510\u55c5\u89c9\uff0c\u540c\u65f6\u4e5f\u80fd\u627e\u5230\u5148\u8fdb\u5b9e\u7528\u7684\u5f00\u6e90\u5de5\u5177\u3002 \u672c\u671f\u5185\u5bb9\u901f\u89c8 01.\u00a0\u81ea\u6211\u8fdb\u5316\u5b9e\u73b0Rust\u81ea\u52a8\u5f62\u5f0f\u5316\u8bc1\u660e 02.\u00a0\u57fa\u4e8e\u56fe\u6a21\u5f0f\u7684\u7406\u89e3\u57fa\u51c6\u6d4b\u8bd5 03.\u00a0IGOR: \u901a\u8fc7\u5b66\u4e60\u7edf\u4e00\u7684\u52a8\u4f5c\u8868\u793a\u7a7a\u95f4\u8ba9\u673a\u68b0\u81c2\u6a21\u4eff\u4eba\u7c7b\u52a8\u4f5c \u8bba\u6587\u94fe\u63a5\uff1ahttps:\/\/arxiv.org\/pdf\/2410.15756 (opens in new tab) \u5f62\u5f0f\u5316\u9a8c\u8bc1\u662f\u901a\u8fc7\u6570\u5b66\u65b9\u6cd5\u6765\u8bc1\u660e\u8f6f\u4ef6\u6b63\u786e\u6027\u7684\u624b\u6bb5\uff0c\u5b83\u8981\u6c42\u5f00\u53d1\u8005\u7528\u5f62\u5f0f\u5316\u8bed\u8a00\u5199\u51fa\u8f6f\u4ef6\u7cfb\u7edf\u9700\u8981\u6ee1\u8db3\u7684\u5c5e\u6027\uff0c\u518d\u5199\u51fa\u5f62\u5f0f\u5316\u7684\u8bc1\u660e\uff0c\u7528\u81ea\u52a8\u5b9a\u7406\u6c42\u89e3\u5668\u53bb\u8bc1\u660e\u8f6f\u4ef6\u6ee1\u8db3\u8fd9\u4e9b\u5c5e\u6027\u3002\u9ad8\u6602\u7684\u4eba\u5de5\u6210\u672c\u4f7f\u5f97\u5f00\u53d1\u8005\u5bf9\u4f7f\u7528\u8fd9\u7c7b\u65b9\u6cd5\u671b\u800c\u5374\u6b65\uff0c\u8fd9\u4e5f\u5bfc\u81f4\u5f62\u5f0f\u5316\u8bc1\u660e\u7684\u4ee3\u7801\u5f88\u5c11\uff0c\u5373\u4fbf\u662f\u5927\u8bed\u8a00\u6a21\u578b\uff0c\u4e5f\u7531\u4e8e\u7f3a\u4e4f\u8bad\u7ec3\u6570\u636e\u96be\u4ee5\u751f\u6210\u8fd9\u6837\u7684\u8bc1\u660e\u4ee3\u7801\u3002 \u5bf9\u6b64\uff0c\u5fae\u8f6f\u4e9a\u6d32\u7814\u7a76\u9662\u7684\u7814\u5458\u4eec\u901a\u8fc7\u8ba9\u5927\u8bed\u8a00\u6a21\u578b\u81ea\u6211\u8fdb\u5316\u7684\u65b9\u5f0f\uff0c\u5b9e\u73b0\u4e86 Rust \u4ee3\u7801\u4e0a\u7684\u81ea\u52a8\u5f62\u5f0f\u5316\u8bc1\u660e\u3002\u81ea\u6211\u8fdb\u5316\u6846\u67b6\u80fd\u591f\u8fed\u4ee3\u5f0f\u5730\u5408\u6210\u66f4\u9ad8\u8d28\u91cf\u7684\u6570\u636e\uff0c\u5e76\u7528\u4e8e\u8bad\u7ec3\u66f4\u5f3a\u7684\u80fd\u591f\u751f\u6210\u5f62\u5f0f\u5316\u8bc1\u660e\u4ee3\u7801\u7684\u6a21\u578b\u3002 \u5177\u4f53\u6765\u8bf4\uff0c\u7814\u7a76\u5458\u4eec\u9996\u5148\u6536\u96c6\u4e86\u5927\u91cf\u9002\u5408\u4e8e\u8bc1\u660e\u7684 Rust \u4ee3\u7801\uff0c\u5c06\u5b83\u4eec\u7ffb\u8bd1\u6210\u80fd\u591f\u88ab\u8bc1\u660e\u7684\u5f62\u5f0f\u5316\u8bed\u8a00 Verus\uff0c\u6240\u6709\u88ab Verus \u7f16\u8bd1\u5668\u901a\u8fc7\u7684\u4ee3\u7801\u5c06\u88ab\u4fdd\u7559\u4f5c\u4e3a\u79cd\u5b50\u6570\u636e\u8fdb\u884c\u5408\u6210\u3002\u63a5\u4e0b\u6765\uff0c\u7528\u5927\u6a21\u578b\u81ea\u6211\u8fdb\u5316\u7684\u65b9\u5f0f\u751f\u6210 Verus \u89c4\u8303\uff0c\u5373\u4ee3\u7801\u9700\u8981\u6ee1\u8db3\u7684\u5f62\u5f0f\u5316\u5c5e\u6027\uff0c\u5728\u6bcf\u4e00\u8f6e\u8fdb\u5316\u4e2d\uff0c\u524d\u4e00\u8f6e\u751f\u6210\u7684\u89c4\u8303\u5c06\u7528\u4e8e\u8bad\u7ec3\u4e00\u4e2a\u65b0\u7684\u3001\u7ecf\u8fc7\u5fae\u8c03\u7684\u5f00\u6e90\u6a21\u578b\uff0c\u4ece\u800c\u5728\u4e0b\u4e00\u8f6e\u5fae\u8c03\u4e2d\u751f\u6210\u66f4\u591a\u8d28\u91cf\u66f4\u9ad8\u7684\u89c4\u8303\u3002\u6700\u540e\uff0c\u4e3a\u4e86\u83b7\u5f97\u80fd\u591f\u901a\u8fc7\u9a8c\u8bc1\u7684\u4ee3\u7801\uff0c\u6a21\u578b\u8fd8\u9700\u8981\u751f\u6210\u8bc1\u660e\u4ee3\u7801\u4ee5\u8bc1\u660e\u4e0a\u8ff0\u89c4\u8303\u80fd\u88ab\u6ee1\u8db3\u3002\u7814\u7a76\u5458\u4eec\u540c\u6837\u4f7f\u7528\u4e86\u81ea\u6211\u8fdb\u5316\u7684\u65b9\u5f0f\u5fae\u8c03\u5927\u6a21\u578b\uff0c\u5728\u8fd9\u4e2a\u8fc7\u7a0b\u4e2d\uff0c\u6240\u6709\u5408\u6210\u7684\u80fd\u88ab Verus \u9a8c\u8bc1\u7684\u4ee3\u7801\u5c06\u4f1a\u4f5c\u4e3a\u8bad\u7ec3\u8bed\u6599\uff0c\u540c\u65f6\uff0c\u5728\u751f\u6210\u8fc7\u7a0b\u4e2d\u7684\u9519\u8bef\u4ee3\u7801\u4f1a\u548c\u5b83\u7684\u9519\u8bef\u4fe1\u606f\u4e00\u8d77\uff0c\u4f5c\u4e3a\u8bad\u7ec3\u6a21\u578b\u81ea\u6211 debug \u80fd\u529b\u7684\u8bed\u6599\u3002 \u5728\u7531 Verus \u4e13\u5bb6\u6784\u5efa\u7684\u57fa\u51c6\u4e0a\uff0c\u7ecf\u8fc7\u81ea\u6211\u8fdb\u5316\u7684\u5f00\u6e90\u6a21\u578b\u5728\u81ea\u52a8\u751f\u6210\u8bc1\u660e\u4ee3\u7801\u7684\u4efb\u52a1\u4e0a\u7684 pass@10 \u901a\u8fc7\u7387\u8fbe\u5230\u4e8670.50%\uff0c\u76f8\u8f83\u4e8e\u672a\u7ecf\u8bad\u7ec3\u65f6\u768417.27%\u6709\u4e86\u5de8\u5927\u7684\u98de\u8dc3\u3002\u8fd9\u4e00\u6210\u679c\u5145\u5206\u9a8c\u8bc1\u4e86\u672c\u7bc7\u8bba\u6587\u4e2d\u63d0\u51fa\u7684\u81ea\u6211\u8fdb\u5316\u6570\u636e\u5408\u6210\u4e0e\u5fae\u8c03\u6846\u67b6\u7684\u6709\u6548\u6027\u3002 \u8bba\u6587\u94fe\u63a5\uff1ahttps:\/\/arxiv.org\/pdf\/2410.05298 (opens in new tab) \u76ee\u524d\uff0c\u5927\u91cf\u5de5\u4f5c\u5df2\u7ecf\u9a8c\u8bc1\u4e86\u5927\u8bed\u8a00\u6a21\u578b\uff08LLMs\uff09\u53ef\u4ee5\u8fdb\u884c\u6700\u57fa\u672c\u7684\u56fe\u63a8\u7406\u4efb\u52a1\uff0c\u5373 LLMs \u53ef\u4ee5\u627e\u5230\u4e24\u4e2a\u8282\u70b9\u4e4b\u95f4\u7684\u8fde\u63a5\u5173\u7cfb\u3002\u56fe\u4e0d\u4ec5\u4ec5\u53ef\u4ee5\u901a\u8fc7\u70b9\u7684\u8fde\u63a5\u5173\u7cfb\u8868\u793a\u7279\u5f81\uff0c\u4e5f\u53ef\u4ee5\u901a\u8fc7\u5e26\u4e00\u5b9a\u7279\u5f81\u7684\u5b50\u56fe\u8868\u793a\uff0c\u6bd4\u5982\uff0c\u56fe\u4e2d\u662f\u5426\u542b\u6709\u4e09\u89d2\u5f62\u8fde\u63a5\u5173\u7cfb\uff0c\u5206\u5b50\u56fe\u4e2d\u662f\u5426\u542b\u6709\u82ef\u73af\u7ed3\u6784\uff0c\u793e\u4ea4\u56fe\u4e2d\u662f\u5426\u542b\u6709\u661f\u72b6\u7ed3\u6784\u3002\u8fd9\u4e9b\u56fe\u6a21\u5f0f\u5728\u56fe\u6316\u6398\u4ee5\u53ca\u56fe\u5b66\u4e60\u4e2d\u975e\u5e38\u91cd\u8981\u3002 \u5728\u672c\u7bc7\u8bba\u6587\u4e2d\uff0c\u7814\u7a76\u5458\u4eec\u6d4b\u8bd5\u4e86\u5305\u62ec GPT-4\u3001GPT-4o \u548c O1 \u5728\u5185\u7684 7 \u79cd\u5927\u8bed\u8a00\u6a21\u578b\u5728\u56fe\u6a21\u5f0f\u8bc6\u522b\u4e2d\u7684\u80fd\u529b\uff0c\u5b9e\u9a8c\u8bbe\u8ba1\u4e2d\u5305\u542b\u4e86\u603b\u51714\u5927\u4efb\u52a1\u4ee5\u53ca11\u79cd\u5b50\u4efb\u52a1\u3002\u5177\u4f53\u800c\u8a00\uff0c\u7814\u7a76\u5458\u4eec\u8003\u5bdf\u4e86\u8fd9\u4e9b\u6a21\u578b\u662f\u5426\u80fd\u591f\u5728\u6bcf\u4e2a\u56fe\u4e2d\u4f7f\u7528\u5b50\u56fe\u5b9a\u4e49\u548c\u5b50\u56fe\u5339\u914d\u7684\u65b9\u6cd5\u6765\u8bc6\u522b\u56fe\u4e2d\u7684\u5b50\u56fe\u7279\u5f81\u3002\u6b64\u5916\uff0c\u8be5\u6d4b\u8bd5\u8fd8\u8bc4\u4f30\u4e86\u6a21\u578b\u5728\u6ca1\u6709\u7279\u5b9a\u5b50\u56fe\u63d0\u793a\u7684\u60c5\u51b5\u4e0b\uff0c\u603b\u7ed3\u56fe\u6570\u636e\u96c6\u7684\u89c4\u5f8b\u5e76\u9884\u6d4b\u5176\u4e2d\u7684\u7279\u5f81\uff0c\u4ee5\u53ca\u8fd9\u4e9b\u7279\u5f81\u4e0e\u6570\u636e\u6807\u7b7e\u4e4b\u95f4\u7684\u5173\u7cfb\u3002\u6700\u540e\uff0c\u7814\u7a76\u5458\u4eec\u5728\u771f\u5b9e\u6570\u636e\u96c6\u4e0a\u6d4b\u8bd5\u4e86\u5927\u8bed\u8a00\u6a21\u578b\u7684\u56fe\u6a21\u5f0f\u5339\u914d\u80fd\u529b\u53ca\u5176\u56fe\u5206\u7c7b\u7684\u6548\u679c\u3002 \u6839\u636e\u4e0d\u540c\u5927\u8bed\u8a00\u6a21\u578b\u5728\u5404\u7c7b\u56fe\u6a21\u5f0f\u4efb\u52a1\u4e2d\u7684\u8868\u73b0\uff0c\u7814\u7a76\u5458\u4eec\u603b\u7ed3\u51fa\u4e86\u4e00\u4e9b\u5173\u4e8e\u5927\u8bed\u8a00\u6a21\u578b\u5728\u56fe\u6a21\u5f0f\u4efb\u52a1\u4e0a\u7684\u91cd\u8981\u53d1\u73b0\u3002\u4f8b\u5982\uff1a1. \u5927\u8bed\u8a00\u6a21\u578b\u5177\u5907\u57fa\u7840\u7684\u56fe\u6a21\u5f0f\u7406\u89e3\u80fd\u529b\uff0c\u968f\u7740\u6a21\u578b\u80fd\u529b\u7684\u63d0\u5347\uff08\u5982 O1 \u6a21\u578b\uff09\uff0c\u5728\u67d0\u4e9b\u4efb\u52a1\u4e2d\u7684\u9884\u6d4b\u6027\u80fd\u4f1a\u663e\u8457\u63d0\u9ad8\uff1b2. \u5927\u8bed\u8a00\u6a21\u578b\u53ef\u4ee5\u5229\u7528\u5148\u9a8c\u77e5\u8bc6\u589e\u5f3a\u56fe\u6a21\u5f0f\u7406\u89e3\u80fd\u529b\uff0c\u5e76\u5c06\u8fd9\u79cd\u80fd\u529b\u6269\u5c55\u5230\u771f\u5b9e\u6570\u636e\u96c6\u7684\u5206\u6790\uff1b3. \u5927\u8bed\u8a00\u6a21\u578b\u5728\u56fe\u6a21\u5f0f\u8ba4\u77e5\u8fc7\u7a0b\u4e2d\u53ef\u80fd\u4f1a\u91c7\u7528\u4e0d\u540c\u7684\u7b97\u6cd5\u6216\u7b56\u7565\uff0c\u8fd9\u5c06\u5f71\u54cd\u6a21\u578b\u7684\u9884\u6d4b\u51c6\u786e\u6027\u3002 \u8fd9\u4e9b\u53d1\u73b0\u4e3a\u672a\u6765\u57fa\u4e8e\u5927\u8bed\u8a00\u6a21\u578b\u7684\u56fe\u6a21\u578b\u5f00\u53d1\u4ee5\u53ca\u63d0\u5347\u5176\u5bf9\u590d\u6742\u903b\u8f91\u7ed3\u6784\u7684\u7406\u89e3\uff0c\u63d0\u4f9b\u4e86\u91cd\u8981\u6307\u5bfc\u3002\u7814\u7a76\u5458\u4eec\u4e5f\u5c06\u6301\u7eed\u5bf9\u76f8\u5173\u95ee\u9898\u8fdb\u884c\u66f4\u52a0\u6df1\u5165\u7684\u63a2\u7d22\u3002 \u8bba\u6587\u94fe\u63a5\uff1ahttps:\/\/arxiv.org\/pdf\/2411.00785 [&hellip;]<\/p>\n","protected":false},"author":34512,"featured_media":1106136,"template":"","meta":{"msr-url-field":"","msr-podcast-episode":"","msrModifiedDate":"","msrModifiedDateEnabled":false,"ep_exclude_from_search":false,"_classifai_error":"","msr-content-parent":1012650,"msr_hide_image_in_river":null,"footnotes":""},"research-area":[13556],"msr-locale":[268881],"msr-post-option":[],"class_list":["post-1106076","msr-blog-post","type-msr-blog-post","status-publish","has-post-thumbnail","hentry","msr-research-area-artificial-intelligence","msr-locale-zh_cn"],"msr_assoc_parent":{"id":1012650,"type":"lab"},"_links":{"self":[{"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-blog-post\/1106076","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-blog-post"}],"about":[{"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/types\/msr-blog-post"}],"author":[{"embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/users\/34512"}],"version-history":[{"count":5,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-blog-post\/1106076\/revisions"}],"predecessor-version":[{"id":1106163,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-blog-post\/1106076\/revisions\/1106163"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/media\/1106136"}],"wp:attachment":[{"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/media?parent=1106076"}],"wp:term":[{"taxonomy":"msr-research-area","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/research-area?post=1106076"},{"taxonomy":"msr-locale","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-locale?post=1106076"},{"taxonomy":"msr-post-option","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-post-option?post=1106076"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}