{"id":7639,"date":"2026-01-15T21:13:33","date_gmt":"2026-01-15T13:13:33","guid":{"rendered":"https:\/\/yiqihuijia.com.cn\/index.php\/2026\/01\/15\/ai%e6%96%b0%e7%aa%81%e7%a0%b4%ef%bc%81libratus%e6%88%98%e8%83%9c%e9%a1%b6%e7%ba%a7%e5%be%b7%e5%b7%9e%e6%89%91%e5%85%8b%e9%80%89%e6%89%8b%ef%bc%8c%e7%ae%97%e7%89%8c%e4%b8%8d%e5%86%8d%e6%98%af%e9%9a%be\/"},"modified":"2026-01-15T21:13:33","modified_gmt":"2026-01-15T13:13:33","slug":"ai%e6%96%b0%e7%aa%81%e7%a0%b4%ef%bc%81libratus%e6%88%98%e8%83%9c%e9%a1%b6%e7%ba%a7%e5%be%b7%e5%b7%9e%e6%89%91%e5%85%8b%e9%80%89%e6%89%8b%ef%bc%8c%e7%ae%97%e7%89%8c%e4%b8%8d%e5%86%8d%e6%98%af%e9%9a%be","status":"publish","type":"post","link":"https:\/\/qqovblr.com\/index.php\/2026\/01\/15\/ai%e6%96%b0%e7%aa%81%e7%a0%b4%ef%bc%81libratus%e6%88%98%e8%83%9c%e9%a1%b6%e7%ba%a7%e5%be%b7%e5%b7%9e%e6%89%91%e5%85%8b%e9%80%89%e6%89%8b%ef%bc%8c%e7%ae%97%e7%89%8c%e4%b8%8d%e5%86%8d%e6%98%af%e9%9a%be\/","title":{"rendered":"AI\u65b0\u7a81\u7834\uff01Libratus\u6218\u80dc\u9876\u7ea7\u5fb7\u5dde\u6251\u514b\u9009\u624b\uff0c\u7b97\u724c\u4e0d\u518d\u662f\u96be\u9898\uff1f"},"content":{"rendered":"<p>\u5f53\u5730\u65f6\u95f41\u670830\u65e5\uff0c\u5730\u70b9\u662f\u5bbe\u5915\u6cd5\u5c3c\u4e9a\u5dde\u5339\u5179\u5821\u7684Rivers\u8d4c\u573a\uff0c\u5728\u6b64\u5904\uff0c\u7531<a href='\/index.php\/2026\/01\/15\/%e4%ba%ba%e5%b7%a5%e6%99%ba%e8%83%bd%e5%86%8d%e8%83%9c%e4%ba%ba%e7%b1%bb%ef%bc%8c%e8%bf%99%e6%ac%a1%e8%b5%a2%e5%9c%a8%e4%ba%86%e5%be%b7%e5%b7%9e%e6%89%91%e5%85%8b%e6%af%94%e8%b5%9b%e4%b8%ad\/' title='\u5361\u8010\u57fa\u6885\u9686\u5927\u5b66' target='_blank'>\u5361\u8010\u57fa\u6885\u9686\u5927\u5b66<\/a>\uff08CMU\uff09\u5f00\u53d1\u7684\u4eba\u5de5\u667a\u80fd\u7cfb\u7edfLibratus\uff0c\u6218\u80dc\u4e86\u56db\u4f4d<a href='\/index.php\/2026\/01\/15\/%e5%be%90%e6%9c%9d%e5%86%9b%ef%bc%9a%e6%88%91%e7%9a%84%e5%89%8d%e5%8d%8a%e7%94%9f%ef%bc%8c%e6%98%af%e5%9c%a8%e6%98%a5%e9%a3%8e%e4%b8%ad%e3%80%81%e5%9c%a8%e6%89%91%e5%85%8b%e7%89%8c%e4%b8%ad%e5%bc%83\/' title='\u5fb7\u5dde\u6251\u514b' target='_blank'>\u5fb7\u5dde\u6251\u514b<\/a>\u9876\u7ea7\u9009\u624b\uff0c\u4ece\u800c\u83b7\u5f97\u4e86\u6700\u7ec8\u80dc\u5229\u3002<\/p>\n<p>\u4f9d\u636e\u5b98\u7f51\u6240\u505a\u7684\u4ecb\u7ecd\u6765\u770b\uff0c\u6b64\u6b21\u662f\u7531\u56db\u540d\u4eba\u7c7b\u804c\u4e1a\u73a9\u5bb6\u5fb7\u4fe1\u7ade\u6280\uff0c\u5206\u522b\u662fJason Les\u3001Dong Kim\u3001Daniel McAulay\u4ee5\u53caJimmy Chou\uff0c\u4ed6\u4eec\u5bf9\u6218\u4eba\u5de5\u667a\u80fd\u7a0b\u5e8fLibratus\uff0c\u8d5b\u7a0b\u4e3a\u671f20\u5929\u3002\u8fd9\u573a\u6bd4\u8d5b\u603b\u5171\u8fdb\u884c\u4e8612\u4e07\u624b\u724c\u7684\u5bf9\u5c40\u3002<\/p>\n<p>2015\u5e74\uff0cCMU\u7ec4\u7ec7\u4e86\u9996\u573a\u201c\u5927\u8111\u5bf9\u6297\u4eba\u5de5\u667a\u80fd\u201d\u8d5b\u4e8b \uff0c\u5f53\u65f6\u8d5b\u4e8b\u91cc\uff0c\u4ee3\u8868CMU\u51fa\u6218\u7684\u662f\u53e6\u4e00\u6b3e\u4eba\u5de5\u667a\u80fd\u7cfb\u7edf\u201cClaudico\u201d \uff0c\u540c\u6837\u67094\u540d\u804c\u4e1a\u6251\u514b\u73a9\u5bb6\u53c2\u52a0\u4e86\u6bd4\u8d5b \uff0c\u7136\u800c\uff0cClaudico\u5e76\u672a\u83b7\u5f97\u6700\u7ec8\u80dc\u5229\u3002<\/p>\n<p>\u53ea\u4e0d\u8fc7\uff0cCMU\u65b9\u9762\u89c9\u5f97\uff0c\u90a3\u65f6\u6251\u514b\u804c\u4e1a\u73a9\u5bb6\u540cClaudico\u4ec5\u4ec5\u5f00\u5c55\u4e868\u4e07\u624b\u724c\u7684\u7ade\u8d5b\uff0c\u4ece\u7edf\u8ba1\u5b66\u89d2\u5ea6\u8bf4\uff0c\u6ca1\u529e\u6cd5\u8bc1\u5b9e\u4eba\u7c7b\u804c\u4e1a\u6251\u514b\u73a9\u5bb6\u6216\u8005\u4eba\u5de5\u667a\u80fd\u5177\u5907\u4f18\u52bf\u3002\u8fd9\u8fd8\u662f\u672c\u8f6e\u5de1\u56de\u8d5b\u91cc\u6bd4\u8d5b\u724c\u5c40\u6570\u91cf\u589e\u957f50%\u7684\u7f18\u7531\u3002<\/p>\n<p>\u5fb7\u6251\u7684\u73a9\u6cd5\u662f\uff0c\u6bcf\u4f4d\u724c\u624b\u4f1a\u62e5\u6709\u4e24\u5f20\u724c\u4f5c\u4e3a\u201c\u5e95\u724c\u201d\uff0c\u4e0e\u6b64\u540c\u65f6\u8fd8\u5b58\u5728\u4e94\u5f20\u516c\u7528\u724c\u3002\u724c\u624b\u8981\u4ece\u4e94\u5f20\u516c\u7528\u724c\u91cc\u6311\u9009\u4e09\u5f20\uff0c\u5c06\u5176\u4e0e\u624b\u4e2d\u7684\u4e24\u5f20\u5e95\u724c\u8fdb\u884c\u7ec4\u5408\uff0c\u6700\u7ec8\u671f\u671b\u83b7\u5f97\u4e94\u5f20\u724c\u7684\u6700\u4f73\u7ec4\u5408\uff0c\u5e76\u4f9d\u636e\u201c\u724c\u5c42\u7ea7\u6b21\u5e8f\u6392\u5217\u201d\u53bb\u6765\u51b3\u5b9a\u6700\u540e\u7684\u83b7\u80dc\u8005\u3002<\/p>\n<p>\u56e0\u5bf9\u65b9\u7684\u201c\u5e95\u724c\u4fe1\u606f\u201d\u5c5e\u9690\u85cf\u4fe1\u606f\uff0c\u5bf9\u8ba1\u7b97\u673a\u800c\u8a00\uff0c\u8fd9\u662f\u5728\u5904\u7406\u4e00\u79cd\u201c\u975e\u5b8c\u6574\u4fe1\u606f<a href='\/index.php\/2026\/01\/08\/%e4%b8%ba%e4%bb%80%e4%b9%88%e9%87%91%e8%9e%8d%e4%b8%93%e4%b8%9a%e4%ba%ba%e5%a3%ab%e5%96%9c%e6%ac%a2%e7%8e%a9%e5%be%b7%e5%b7%9e%e6%89%91%e5%85%8b%ef%bc%9f\/' title='\u535a\u5f08' target='_blank'>\u535a\u5f08<\/a>\u201d\uff0c\u7136\u800c\u56f4\u68cb\u5bf9\u5f08\u53cc\u65b9\u7684\u4fe1\u606f\u662f\u5b8c\u6574\u4e14\u5bf9\u79f0\u7684\uff0c\u4e0d\u5b58\u5728\u9690\u85cf\u4fe1\u606f\uff0cLibratus\u6b64\u6b21\u6218\u80dc\u9876\u7ea7\u4eba\u7c7b\u5fb7\u5dde\u6251\u514b\u9009\u624b\uff0c\u6709\u7740\u6781\u4e3a\u91cd\u8981\u7684\u610f\u4e49\u3002<\/p>\n<p>\u8ba1\u7b97\u673a\u505a\u51fa\u6b63\u786e\u51b3\u5b9a\uff0c\u4f9d\u8d56\u4e8e\u5728\u5bf9\u65b9\u201c\u5e95\u724c\u4fe1\u606f\u201d\u60c5\u5f62\u4e0b\u7684\u6982\u7387\u5206\u5e03\uff0c\u201c\u5e95\u724c\u4fe1\u606f\u201d\u4f1a\u900f\u8fc7\u5bf9\u624b\u8fc7\u5f80\u884c\u4e3a\u5c55\u73b0\u51fa\u6765\u3002\u4e3e\u4f8b\u6765\u8bf4\uff0c\u6709\u65f6\u73a9\u5bb6\u5b9e\u65bd\u201c\u8bc8\u552c\u201d\u884c\u4e3a\uff0c\u5bf9\u624b\u624b\u4e2d\u5e76\u65e0\u5f3a\u724c\uff0c\u5374\u4f9d\u65e7\u505a\u51fa\u5168\u989d\u4e0b\u6ce8\u4e14\u51b3\u5fc3\u5341\u8db3\u8981\u8d62\u7684\u4e3e\u52a8\uff0c\u6b64\u65f6\u8ba1\u7b97\u673a\u9700\u4f9d\u636e\u5bf9\u65b9\u8fc7\u53bb\u535a\u5f08\u7684\u8868\u73b0\uff0c\u6765\u5224\u5b9a\u5bf9\u624b\u6301\u6709\u5f3a\u724c\u7684\u53ef\u80fd\u6027\u3002<\/p>\n<p>\u76f8\u5e94\u5730\uff0c\u5bf9\u624b\u52bf\u5fc5\u8981\u5bf9\u6211\u65b9\u7684\u5e95\u724c\u4fe1\u606f\u5c55\u5f00\u63a8\u65ad\uff0c\u56e0\u800c\u5728\u6b64\u5904\u4fbf\u5b58\u5728\u7740\u4e00\u79cd\u201c\u9012\u5f52\u63a8\u7406\u201d\uff0c\u4e5f\u5c31\u662frecursive reasoning\uff0c\u8fd9\u4f7f\u5f97\u73a9\u5bb6\u96be\u4ee5\u8f7b\u677e\u5730\u5bf9\u535a\u5f08\u72b6\u51b5\u4e88\u4ee5\u63a8\u7406\u3002<\/p>\n<p>\u7ee7\u56f4\u68cb\u548c\u5fb7\u5dde\u6251\u514b\u4e4b\u540e\uff0c\u4eba\u5de5\u667a\u80fd\u7684\u4e0b\u4e00\u7ad9\u4f1a\u662f\u54ea\u4e2a\u6e38\u620f\u5462\uff1f<\/p>\n","protected":false},"excerpt":{"rendered":"<p>\u5361\u8010\u57fa\u6885\u9686\u5927\u5b66\uff08CMU\uff09\u5f00\u53d1\u7684\u4eba\u5de5\u667a\u80fd\u7cfb\u7edfLibratus\u6218\u80dc\u56db\u4f4d\u5fb7\u5dde\u6251\u514b\u9876\u7ea7\u9009\u624b\uff0c\u83b7\u5f97\u6700\u7ec8\u80dc\u5229\u3002<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[2],"tags":[225,696,1989,669,5700],"class_list":["post-7639","post","type-post","status-publish","format-standard","hentry","category-pkxw","tag-ai","tag-696","tag-1989","tag-669","tag-5700"],"_links":{"self":[{"href":"https:\/\/qqovblr.com\/index.php\/wp-json\/wp\/v2\/posts\/7639","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/qqovblr.com\/index.php\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/qqovblr.com\/index.php\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/qqovblr.com\/index.php\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/qqovblr.com\/index.php\/wp-json\/wp\/v2\/comments?post=7639"}],"version-history":[{"count":0,"href":"https:\/\/qqovblr.com\/index.php\/wp-json\/wp\/v2\/posts\/7639\/revisions"}],"wp:attachment":[{"href":"https:\/\/qqovblr.com\/index.php\/wp-json\/wp\/v2\/media?parent=7639"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/qqovblr.com\/index.php\/wp-json\/wp\/v2\/categories?post=7639"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/qqovblr.com\/index.php\/wp-json\/wp\/v2\/tags?post=7639"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}