<\/p>\n<\/p>\n
\u5f53\u5730\u65f6\u95f41\u670830\u65e5\uff0c\u5728\u5bbe\u5915\u6cd5\u5c3c\u4e9a\u5dde\u5339\u5179\u5821\u7684Rivers\u8d4c\u573a\uff0c\u5361\u8010\u57fa\u6885\u9686\u5927\u5b66\uff08CMU\uff09\u6240\u5f00\u53d1\u7684\u4eba\u5de5\u667a\u80fd\u7cfb\u7edfLibratus\uff0c\u6218\u80dc\u4e86\u56db\u4f4d\u5fb7\u5dde\u6251\u514b\u9876\u7ea7\u9009\u624b\uff0c\u4ece\u800c\u83b7\u5f97\u4e86\u6700\u7ec8\u80dc\u5229\u5fb7\u4fe1\u7ade\u6280\uff0c\u8fd9\u662f\u54c1\u9014\u7684\u89e3\u8bfb\u3002\u636e\u5b98\u7f51\u4ecb\u7ecd\uff0c\u6b64\u6b21\u662f\u75314\u540d\u4eba\u7c7b\u804c\u4e1a\u73a9\u5bb6Jason Les\u3001Dong Kim\u3001Daniel McAulay\u548cJimmy Chou\uff0c\u5bf9\u6218\u4eba\u5de5\u667a\u80fd\u7a0b\u5e8fLibratus\uff0c\u8d5b\u7a0b\u957f\u8fbe20\u5929\uff0c\u603b\u5171\u8fdb\u884c\u4e8612\u4e07\u624b\u724c\u7684\u6bd4\u8d5b\u3002<\/p>\n
176\u4e07\u7f8e\u5143<\/p>\n
\u6709\u7740\u56db\u4f4d\u9876\u7ea7\u4eba\u7c7b\u6251\u514b\u9ad8\u624b\uff0c\u5728\u4e00\u573a\u5fb7\u5dde\u6251\u514b\u4eba\u673a\u5927\u6218\u91cc\uff0c\u7ecf\u5386\u4e8620\u5929\u7684\u6fc0\u70c8\u82e6\u6218\uff0c\u8f93\u7ed9\u4eba\u5de5\u667a\u80fd\uff08AI\uff09\u9009\u624b\u91d1\u989d\u603b\u8ba1\u8fbe\u5230176.6\u4e07\u7f8e\u5143\u3002\u56db\u5929\u4e4b\u524d\uff0c\u6b64\u91d1\u989d\u8fd8\u4ec5\u4ec5\u662f106\u4e07\u7f8e\u5143\uff0c\u771f\u7684\u662f\u5982\u6b64\u3002<\/p>\n
\u8fd9\u573a\u5927\u6218\u8981\u662f\u6301\u7eed\u8fdb\u884c\u4e0b\u53bb\uff0c\u8bf4\u4e0d\u5b9a\u4eba\u7c7b\u5f53\u4e2d\u7684\u9ad8\u624b\u4eec\uff0c\u8fd8\u4f1a\u5728\u5339\u5179\u5821\u90a3\u513f\u7684\u6cb3\u6d41\u8d4c\u573a\u8f93\u6389\u66f4\u4e3a\u53ef\u89c2\u7684\u6570\u91cf\u3002<\/p>\n
AI\u4e00\u8def\u78be\u538b\u4eba\u7c7b\u9ad8\u624b<\/p>\n
\u5982\u4f55\u53bb\u63cf\u8ff0\u90a3\u4f7f\u5f97\u201c\u4eba\u201d\u611f\u5230\u7cbe\u75b2\u529b\u7aed\u7684\u3001\u957f\u8fbe\u4e8c\u5341\u5929\u7684\u6bd4\u8d5b\uff1f\u91cf\u5b50\u4f4d\u8ba4\u4e3a\uff0c\u8fd8\u662f\u5148\u653e\u4e0a\u4e00\u5f20\u56fe\u8868\u3002\u6bd5\u7adf\u4e00\u56fe\u80fd\u80dc\u8fc7\u5343\u8a00\u3002<\/p>\n
<\/p>\n
\u4ece1\u670811\u65e5\u6bd4\u8d5b\u8d77\u59cb\u4e4b\u65f6\uff0c\u52301\u670830\u65e5\u6bd4\u8d5b\u7ed3\u675f\u4e4b\u9645\uff0c\u8fd9\u5f20\u56fe\u5448\u73b0\u7684\u662f\u4eba\u5de5\u667a\u80fd\u5fb7\u5dde\u6251\u514b\u9009\u624bLibratus\u7684\u6bcf\u65e5\u6bd4\u8d5b\u6210\u7ee9\u60c5\u51b5\u3002\u5728\u957f\u8fbe\u4e8c\u5341\u5929\u7684\u8fd9\u6bb5\u65f6\u95f4\u5185\uff0cLibratus\u6ca1\u6709\u4efb\u4f55\u4e00\u5929\u662f\u4ee5\u8f93\u6389\u94b1\u8d22\u800c\u7ed3\u675f\u5f53\u65e5\u6bd4\u8d5b\u7684\uff1a\u4ece\u7b2c\u4e00\u5929\u201c\u4ec5\u4ec5\u201d\u83b7\u53d6\u52307\u4e07\u7f8e\u5143\u7684\u8d62\u6b3e\uff0c\u4e00\u76f4\u5230\u6700\u540e\u4e00\u5929\u79ef\u7d2f\u4e0b\u8d85\u8fc7200\u4e07\u7f8e\u5143\u7684\u4f18\u52bf\u3002<\/p>\n
\u6e05\u695a\u7684\u66f2\u7ebf\u5411\u6211\u4eec\u8868\u660e\uff0c\u5728\u6574\u4e2a\u6bd4\u8d5b\u7684\u671f\u95f4\u5f53\u4e2d\uff0c\u4eba\u5de5\u667a\u80fd\u81f3\u5c11\u6709\u4e24\u5929\u7684\u65f6\u95f4\u660e\u663e\u5730\u51fa\u73b0\u4e86\u72b6\u6001\u4e0b\u6ed1\u7684\u60c5\u51b5\u3002\u53ef\u662f\u4eba\u7c7b\u9009\u624b\u4eec\u5728\u4efb\u4f55\u4e00\u6b21\u90fd\u6ca1\u80fd\u5c06\u80dc\u5229\u6301\u7eed\u5ef6\u957f\u4e0b\u53bb\u3002<\/p>\n
\u6574\u4e2a\u6bd4\u8d5b\u7684\u671f\u95f4\u4e4b\u5185\uff0cDong Kim\u59cb\u7ec8\u90fd\u5145\u6ee1\u7740\u632b\u8d25\u7684\u611f\u89c9\uff0c\u7136\u800c\u4ed6\u5df2\u7136\u662f\u56db\u4f4d\u4eba\u7c7b\u9ad8\u624b\u4e2d\uff0c\u5bf9\u6218\u6210\u7ee9\u6700\u4e3a\u4e0d\u9519\u7684\u90a3\u4e00\u4f4d\u3002\u5927\u6982\u5728\u4e24\u5e74\u4e4b\u524d\uff0cKim\u66fe\u4e8e\u540c\u4e00\u4e2a\u8d4c\u573a\u4e2d\u5c06\u8fd9\u4e2a\u4eba\u5de5\u667a\u80fd\u7684\u524d\u8eab\u7ed9\u51fb\u8d25\u4e86\u3002\u5728\u8fd9\u573a\u4e3a\u671f\u4e8c\u5341\u5929\u7684\u6bd4\u8d5b\u521a\u521a\u8fc7\u53bb\u4e00\u534a\u7684\u65f6\u5019\uff0cKim\u5c31\u76f4\u63a5\u8868\u660e\uff1a\u4eba\u7c7b\u5df2\u7ecf\u4e0d\u5b58\u5728\u771f\u6b63\u80fd\u591f\u83b7\u80dc\u7684\u673a\u4f1a\u4e86\u3002<\/p>\n
\u6bcf\u4e00\u65e5\uff0cLibratus\u5747\u4f1a\u5f97\u4ee5\u63d0\u5347\uff0c\u4eba\u7c7b\u53c2\u8d5b\u9009\u624b\u96be\u4ee5\u5bfb\u89c5\u5230\u5176\u5f0a\u75c5\u4e4b\u5904\uff0c\u5c31\u7b97\u5bfb\u5f97\u4e00\u5904\u5f0a\u75c5\uff0c\u6b21\u65e5\u4fbf\u4f1a\u6d88\u901d\u65e0\u8e2a\uff0c\u4e0a\u9762\u6240\u8a00\u7684\u66f2\u7ebf\u4ea6\u6b63\u4e3a\u6b64\u4e88\u4ee5\u8bc1\u5b9e \u3002<\/p>\n
\u53e6\u5916\uff0c\u5148\u524d\u7684\u6700\u7ec8\u6218\u679c\u8fd8\u663e\u793a\uff0c\u5728\u56db\u4f4d\u4eba\u7c7b\u9ad8\u624b\u4e2d\uff0cDong Kim\u8f93\u7684\u91d1\u989d\u662f\u6700\u5c11\u7684\uff0c\u5177\u4f53\u4e3a\u603b\u8ba18.5\u4e07\u7f8e\u5143\uff0c\u7136\u800cJason Les\u8f93\u7684\u5374\u662f\u6700\u591a\u7684\uff0c\u591a\u8fbe88\u4e07\u7f8e\u5143\u3002<\/p>\n
<\/p>\n
\u590d\u76d8AI\u7684\u5fb7\u5dde\u6251\u514b\u6218\u672f<\/p>\n
AI\u7a76\u7adf\u662f\u600e\u4e48\u6253\u5fb7\u5dde\u6251\u514b\u7684\uff1f\u6765\uff0c\u6211\u4eec\u590d\u76d8\u4e24\u5c40\u770b\u4e00\u4e0b\u3002<\/p>\n
\u7b2c\u4e00\u76d8 \u4eba\u7c7b\u8d62\u4e86<\/p>\n
\u6bcf\u4e00\u5c40\u90fd\u6709200\u76f2\u6ce8\u3002<\/p>\n
<\/p>\n
\u8fd9\u4e00\u5c40\uff0cKim\u662f\u5e84\u5bb6\uff0c\u5176\u4e0b\u6ce8274\uff0cLibratus\u8ddf\u7740\u62bc\u6ce8\uff0c\u9996\u5f20\u516c\u5171\u724c\u662f\u9ed1\u68436\uff0c\u7b2c\u4e8c\u5f20\u516c\u5171\u724c\u662f\u7ea2\u68435\uff0c\u7b2c\u4e09\u5f20\u516c\u5171\u724c\u662f\u9ed1\u68434\uff0c\u4e4b\u540e\u673a\u5668\u4e0b\u6ce8274\uff0cKim\u8ddf\u7740\u4e0b\u6ce8\uff0c\u7b2c\u56db\u5f20\u5f00\u51fa\u7684\u516c\u5171\u724c\u662f\u7ea2\u68438\uff0cLibratus\u518d\u5ea6\u4e0b\u6ce8274\uff0c\u7136\u800cKim\u5374\u76f4\u63a5\u4e0b\u6ce83151\uff0cLibratus\u9009\u62e9\u7ee7\u7eed\u8ddf\u6ce8\u3002<\/p>\n
\u6700\u540e\u4e00\u5f20\u516c\u5171\u724c\u662f\u9ed1\u68439\uff0c\u8fd9\u8868\u660e\u724c\u5c40\u5b58\u5728\u51fa\u73b0\u201c\u540c\u82b1\u201d\u7684\u53ef\u80fd\u6027\uff0c\u7535\u8111\u76f4\u63a5\u4e0b\u6ce815000\uff0c\u5c06\u8d4c\u6ce8\u518d\u5ea6\u7ffb\u500d\uff0cKim\u6709\u4e9b\u8fdf\u7591\uff0c\u4f46\u8fd8\u662f\u8ddf\u8fdb\u5f00\u724c\uff0c\u4ed6\u624b\u4e0a\u662f\u6700\u9ad8\u4e3a9\u7684\u987a\u5b50\uff0cLibratus\u624b\u4e0a\u662f\u4e00\u5f20\u9ed1\u68438\u4ee5\u53ca\u4e00\u5f20\u6885\u82b18\uff0c\u5f88\u660e\u663e\u521a\u624d\u7535\u8111\u662f\u5728\u8bc8\u552c \u3002<\/p>\n
<\/p>\n
\u7b2c\u4e8c\u76d8 AI\u8d62\u4e86<\/p>\n
\u5f53\u65f6\uff0c\u4eba\u7c7b\u9ad8\u624bJason Les\u4ee5\u65b9\u575710\u4e0e\u7ea2\u684310\u5f00\u5c40\uff0c\u7ffb\u724c\u540e\uff0c\u524d\u4e09\u5f20\u516c\u5171\u724c\u4e3aK\u30019\u30014\uff0c\u5176\u4e2d\u4e24\u5f20\u662f\u6885\u82b1\uff0c\u4e0b\u6ce8\u6301\u7eed\uff0c\u5728\u6b64\u5c40\u9762\u4e0b\uff0c\u6309\u7406\u8bf4AI\u5e94\u671f\u671b\u518d\u51fa\u73b0\u4e00\u5f20\u6885\u82b1\u4ee5\u51d1\u6210\u540c\u82b1 \u3002<\/p>\n
\u7b2c\u56db\u5f20\u516c\u5171\u724c\u53d1\u51fa\u6765\u4e86\uff0c\u8fd9\u5f20\u724c\u662f5\uff0c\u5b83\u5e76\u975e\u6885\u82b1\u3002\u90a3\u4e2a\u65f6\u5019\uff0c\u4e24\u8fb9\u5747\u5df2\u770b\u8fc7\u724c\u4e86\u3002\u6700\u540e\u4e00\u5f20\u516c\u5171\u724c\u51fa\u73b0\u4e86\uff0c\u8fd9\u5f20\u662fQ\uff0c\u5b83\u540c\u6837\u4e0d\u662f\u6885\u82b1\u3002\u968f\u540e\uff0c\u4eba\u5de5\u667a\u80fd\u5ffd\u7136\u628a\u6240\u6709\u7684\u7b79\u7801\u90fd\u538b\u4e0a\u4e86\u3002<\/p>\n
\u9762\u5bf9\u8fd9\u4e2a\u5c40\u9762\uff0cLes\u9009\u62e9\u4e0d\u8ddf\u3002\u4eba\u5de5\u667a\u80fd\u8d62\u4e0b\u4e00\u624b\u3002<\/p>\n
\u5728\u76f8\u540c\u7684\u8fd9\u4e2a\u65f6\u5019\uff0cLes\u7684\u642d\u6863\u662fDong Kyu\uff0c\u5176\u5904\u4e8e\u5b8c\u5168\u4e00\u6837\u7684\u5c40\u9762\u72b6\u51b5\u4e4b\u5185\uff0c\u7136\u800c\u5374\u53c8\u5b58\u5728\u4e0d\u4e00\u6837\u4e4b\u5904\u3002\u7531\u4e8e\u8981\u628a\u8fd0\u6c14\u6240\u4ea7\u751f\u7684\u5f71\u54cd\u7ed9\u6d88\u9664\u6389\uff0c\u6240\u4ee5\u6b64\u6b21\u4eba\u5de5\u667a\u80fd\u4e0e\u4eba\u7c7b\u73a9\u5bb6\u4e4b\u95f4\u7684\u5bf9\u6297\u8f83\u91cf\uff0c\u88ab\u8bbe\u7f6e\u6210\u4e86\u4e24\u5bf9\u5b8c\u5168\u76f8\u540c\u7684\u724c\u5c40\u60c5\u5f62\u3002\u5176\u4e2d\u5b58\u5728\u7684\u5dee\u5f02\u5728\u4e8e\uff0c\u5728\u955c\u50cf\u5c40\u8fd9\u79cd\u60c5\u51b5\u91cc\uff0c\u4eba\u7c7b\u73a9\u5bb6\u624b\u4e0a\u6240\u62ff\u5230\u7684\u724c\uff0c\u548c\u4eba\u5de5\u667a\u80fd\u624b\u4e0a\u62ff\u5230\u7684\u724c\uff0c\u4e8c\u8005\u8fdb\u884c\u4e86\u76f8\u4e92\u5bf9\u8c03 \u3002<\/p>\n
Kyu\u624b\u4e0a\u62ff\u7740\u6885\u82b17\uff0c\u8fd8\u6709\u6885\u82b13\u3002\u8fd9\u8868\u660e\uff0c\u5728\u4e3b\u5c40\u5f53\u4e2d\u9762\u5bf9\u4eba\u5de5\u667a\u80fd\u90a3\u75af\u72c2\u7684\u62bc\u6ce8\u65f6\uff0cLes\u8981\u662f\u679c\u65ad\u53bb\u8ddf\u8fdb\uff0c\u90a3\u7edd\u5bf9\u662f\u7a33\u8d62\u7684\u4e00\u624b\u724c\u3002\u66f4\u7cdf\u7684\u662f\uff0c\u5728\u955c\u50cf\u5c40\u91ccLibratus\u65e9\u65e9\u5730\u5c31\u4e3a\u624b\u4e0a\u7684\u4e00\u5bf910\u4e0b\u4e86\u91cd\u6ce8\uff0c\u6700\u7ec8Kyu\u4e5f\u9009\u62e9\u4e0d\u8ddf\uff0c\u653e\u5f03\u4e86\u8fd9\u624b\u724c\u3002<\/p>\n
Libratus\u591a\u6b21\u65f6\u5e38\u7279\u522b\u52c7\u4e8e\u51b3\u7136\u5730\u8fdb\u884c\u4e0b\u6ce8\uff0c\u6240\u4e0b\u8d4c\u6ce8\u7684\u6570\u989d\u8fdc\u8fdc\u8d85\u51fa\u5e95\u6c60\u4e4b\u4e2d\u7684\u6570\u989d\u3002\u201c\u4e8b\u5b9e\u662f\u4eba\u7c7b\u662f\u4e0d\u4f1a\u5982\u6b64\u8fd9\u822c\u7684\uff0c\u4e00\u822c\u60c5\u51b5\u4e0b\u4e0d\u4f1a\u4e3a\u4e86\u83b7\u53d6\u4e9b\u8bb8\u94b1\u8d22\uff0c\u800c\u53bb\u5192\u7740\u5931\u53bb\u5927\u91cf\u94b1\u8d22\u7684\u98ce\u9669\u201d\uff0c\u6251\u514b\u6280\u827a\u9ad8\u8d85\u7684Doug Polk\u8bb2\u9053\uff0c\u201c\u7136\u800c\u4eba\u5de5\u667a\u80fd\u4e0d\u5b58\u5728\u8fd9\u6837\u7684\u5fc3\u7406\uff0c\u5176\u4ec5\u4ec5\u5173\u6ce8\u600e\u6837\u73a9\u5f97\u66f4\u4f73\u201d\u3002<\/p>\n
<\/p>\n
\u4f1a\u6253\u6251\u514b\u7684AI\u6709\u4ec0\u4e48\u7528\uff1f<\/p>\n
\u673a\u5668\u5728\u73a9\u6251\u514b\u65f6\u6240\u9700\u7684\u63a8\u7406\u80fd\u529b\uff0c\u5bf9\u5176\u800c\u8a00\u5f88\u96be\u53bb\u6a21\u4eff \uff0cLibratus\u4e8e\u5fb7\u5dde\u6251\u514b\u4eba\u673a\u5927\u6218\u91cc\u53d6\u5f97\u6700\u7ec8\u80dc\u5229 \uff0c\u8fd9\u5c5e\u4e8e\u4eba\u5de5\u667a\u80fd\u9886\u57df\u4e00\u9879\u5de8\u5927\u6210\u5c31 \uff0c\u5c3d\u7ba1\u4eba\u5de5\u667a\u80fd\u5728\u8df3\u68cb \u3001\u8c61\u68cb\u4ee5\u53ca\u56f4\u68cb\u6bd4\u8d5b\u4e2d \uff0c\u5df2\u7136\u5b8c\u80dc\u4eba\u7c7b\u5bf9\u624b \uff0c\u7136\u800c\u65e0\u9650\u6ce8\u5fb7\u5dde\u6251\u514b\u5374\u662f\u4e00\u79cd\u5168\u7136\u4e0d\u540c\u7684\u60c5\u5f62 \u3002<\/p>\n
\u8fd9\u662f\u4e00\u573a\u201c\u4e0d\u5b8c\u7f8e\u4fe1\u606f\u201d\u6e38\u620f\u3002<\/p>\n
\u7531\u4e8e\u67d0\u4e9b\u5361\u724c\u672a\u53d1\u51fa\uff0c\u5728\u5fb7\u5dde\u6251\u514b\u5bf9\u5c40\u4e2d\uff0c\u4e8e\u4efb\u610f\u65f6\u523b\uff0c\u4efb\u4f55\u4e00\u540d\u73a9\u5bb6\uff0c\u90fd\u4ec5\u80fd\u89c2\u5bdf\u5230\u90e8\u5206\u60c5\u5f62\u3002\u8981\u83b7\u80dc\uff0c\u4ed6\u4eec\u9700\u5177\u5907\u76f4\u89c9\uff1a\u4e00\u79cd\u63a8\u6d4b\u5176\u4ed6\u73a9\u5bb6\u624b\u4e2d\u724c\u578b\u7684\u80fd\u529b\u3002\u5e76\u4e14\u8fd8\u8981\u8003\u91cf\u5bf9\u624b\u6bcf\u4e00\u79cd\u6f5c\u5728\u7684\u6253\u6cd5\uff0c\u60f3\u83b7\u53d6\u7406\u60f3\u6218\u7565\u6781\u4e3a\u56f0\u96be\u3002<\/p>\n
\u5728\u73b0\u5b9e\u7684\u4e16\u754c\u5f53\u4e2d\uff0c\u5e38\u6001\u662f\u5b58\u5728\u4e0d\u5b8c\u7f8e\u4fe1\u606f\uff0c\u5927\u91cf\u4e0d\u786e\u5b9a\u6027\u56e0\u5404\u79cd\u770b\u4e0d\u89c1\u6478\u4e0d\u7740\u7684\u9690\u85cf\u7684\u4fe1\u606f\u800c\u4ea7\u751f\uff0c\u5fb7\u5dde\u6251\u514b\u6240\u4ee3\u8868\u7684\u6b63\u662f\u8fd9\u79cd\u7c7b\u578b\u7684\u535a\u5f08\u3002AlphaGo\u5728\u56f4\u68cb\u754c\u7eb5\u6a2a\u9a70\u9a8b\u65e0\u4eba\u80fd\u654c\uff0c\u5176\u672c\u8d28\u5904\u7406\u7684\u4f9d\u65e7\u662f\u5b8c\u7f8e\u4fe1\u606f\u7684\u535a\u5f08\uff0c\u7136\u800cAlphaGo\u6ca1\u529e\u6cd5\u5904\u7406\u5fb7\u5dde\u6251\u514b\u7684\u95ee\u9898\uff0c\u66f4\u4e0d\u7528\u8bf4\u8fdb\u884c\u8bc8\u552c\u8fd9\u79cd\u884c\u4e3a\u4e86\u3002<\/p>\n
\u4eca\u540e\uff0c\u5982\u540cLibratus\u8fd9\u822c\u7684\u4eba\u5de5\u667a\u80fd\uff0c\u80fd\u591f\u88ab\u8fd0\u7528\u5230\u5546\u4e1a\u8c08\u5224\u9886\u57df\uff0c\u4e5f\u80fd\u591f\u88ab\u8fd0\u7528\u5230\u7f51\u7edc\u5b89\u5168\u9886\u57df\uff0c\u8fd8\u80fd\u591f\u88ab\u8fd0\u7528\u5230\u533b\u7597\u65b9\u6848\u5236\u5b9a\u7b49\u9886\u57df \u3002<\/p>\n
Sandholm\uff0cLibratus\u7684\u521b\u5efa\u8005\uff0c\u53bb\u5e74\u66fe\u9886\u5bfc\u5f00\u53d1\u6253\u6251\u514b\u7a0b\u5e8fClaudico\uff0c\u7136\u800c\u5728\u4e00\u573a\u4e0e\u6570\u4f4d\u9ad8\u624b\u7684\u6bd4\u8d5b\u91cc\u60e8\u906d\u75db\u6bb4\u3002Sandholm\u89e3\u91ca\u79f0\uff0cLibratus\u6c34\u5e73\u7684\u63d0\u5347\u6e90\u4e8e\u51e0\u4e2a\u6280\u672f\u8fdb\u6b65\uff0c\u5176\u4e2d\u5305\u542b\u4e00\u4e2a\u65b0\u7684\u5e73\u8861\u8fd1\u4f3c\u6280\u672f\uff0c\u8fd8\u6709\u51e0\u79cd\u7528\u4e8e\u5206\u6790\u53ef\u80fd\u7ed3\u679c\u7684\u65b0\u65b9\u6cd5\u3002<\/p>\n
\u4eba\u5de5\u667a\u80fd\u53d1\u5c55\u7684\u6700\u7ec8\u76ee\u6807\uff0c\u662f\u901a\u7528\u7c7b\u4eba\u5de5\u667a\u80fd\uff08AGI\uff09\uff0c\u901a\u7528\u7c7b\u4eba\u5de5\u667a\u80fd\u80fd\u591f\u89e3\u51b3\u4efb\u4f55\u4e00\u4e2a\u95ee\u9898\uff0c\u5e76\u975e\u50cfLibratus\u6216\u8005AlphaGo\u90a3\u822c\u53ea\u80fd\u805a\u7126\u6253\u724c\u6216\u8005\u4e0b\u68cb\uff0c\u8981\u60f3\u8fbe\u6210AGI\u5c31\u5f97\u53eb\u4eba\u5de5\u667a\u80fd\u5b66\u5f97\u89e3\u51b3\u4e0d\u786e\u5b9a\u6027\u95ee\u9898\uff0c\u8fd9\u540c\u6837\u662f\u6b64\u6b21\u4eba\u673a\u5927\u6218\u6bd4\u8f83\u91cd\u5927\u7684\u610f\u4e49\u4e4b\u4e00\u3002<\/p>\n
\u4eba\u673a\u5927\u6218\u80cc\u540e\u7684\u8d85\u7ea7\u8ba1\u7b97\u673a<\/p>\n
\u5728\u6bcf\u4e00\u4e2a\u724c\u5c40\u7ed3\u675f\u4e4b\u540e\u7684\u591c\u665a\u65f6\u5206\uff0c\u5339\u5179\u5821\u8d85\u7ea7\u8ba1\u7b97\u4e2d\u5fc3\u7684\u90a3\u53f0\u540d\u4e3aBridges\u7684\u7535\u8111\u4f1a\u53bb\u6267\u884c\u8ba1\u7b97\u64cd\u4f5c\uff0c\u5176\u76ee\u7684\u5728\u4e8e\u5bf9Libratus\u7684\u7b56\u7565\u8fdb\u884c\u4f18\u5316\u3002\u7136\u800c\uff0c\u5728\u767d\u5929\u8fdb\u884c\u6bd4\u8d5b\u7684\u8fc7\u7a0b\u5f53\u4e2d\uff0cBridges\u5219\u662f\u88ab\u7528\u4e8e\u8ba1\u7b97\u6bcf\u4e00\u624b\u7684\u7ec8\u7ed3\u6e38\u620f\u7b56\u7565 \u3002<\/p>\n
Libratus\u6e90\u81ea\u5361\u5185\u57fa\u6885\u9686\u5927\u5b66\uff0c\u90a3Bridges\u5230\u5e95\u662f\u54ea\u4e00\u4f4d\u5462\uff1f<\/p>\n
<\/p>\n
Bridges\u5e76\u975e\u662f\u5f53\u4eca\u4e16\u754c\u4e4b\u4e2d\uff0c\u89c4\u6a21\u6700\u4e3a\u5e9e\u5927\u3001\u8fd0\u884c\u901f\u5ea6\u6700\u4e3a\u5feb\u6377\u3001\u6027\u80fd\u6700\u4e3a\u5f3a\u52b2\u6709\u529b\u7684\u8d85\u7ea7\u8ba1\u7b97\u673a\uff0c\u7136\u800c\u5b83\u6709\u53ef\u80fd\u662f\u671d\u7740\u516c\u4f17\u4e88\u4ee5\u5f00\u653e\u7684\uff0c\u89c4\u6a21\u6700\u5927\u3001\u901f\u5ea6\u6700\u5feb\u3001\u6027\u80fd\u6700\u4e3a\u5f3a\u52b2\u7684\u8d85\u7ea7\u8ba1\u7b97\u673a\u3002<\/p>\n
\u7814\u7a76\u751f\u7269\u5b66\u7684\u79d1\u5b66\u5bb6\u4eec\uff0c\u80fd\u5f97\u5230Bridges\u7684\u5e2e\u52a9\uff0c\u7814\u7a76\u5730\u8d28\u5b66\u7684\u79d1\u5b66\u5bb6\u4eec\uff0c\u80fd\u5f97\u5230Bridges\u7684\u5e2e\u52a9\uff0c\u7814\u7a76\u8003\u53e4\u5b66\u7684\u79d1\u5b66\u5bb6\u4eec\uff0c\u80fd\u5f97\u5230Bridges\u7684\u5e2e\u52a9\uff0c\u7814\u7a76\u7ecf\u6d4e\u5b66\u7684\u79d1\u5b66\u5bb6\u4eec\uff0c\u80fd\u5f97\u5230Bridges\u7684\u5e2e\u52a9\uff0c\u7814\u7a76\u5176\u4ed6\u793e\u4f1a\u79d1\u5b66\u7684\u79d1\u5b66\u5bb6\u4eec\uff0c\u4e5f\u80fd\u5f97\u5230Bridges\u7684\u5e2e\u52a9\u3002\u6b64\u524d\uff0c\u8fd9\u4e9b\u79d1\u5b66\u5bb6\u901a\u5e38\u6ca1\u673a\u4f1a\u5229\u7528\u8d85\u7ea7\u8ba1\u7b97\u673a\uff0c\u53bb\u5904\u7406\u76f8\u5173\u9886\u57df\u7684\u5927\u91cf\u6570\u636e\u3002\u8fd9\u5c31\u662fBridges\u6700\u5927\u7684\u610f\u4e49\u6240\u5728\u3002<\/p>\n
\u4f4d\u4e8e\u5339\u5179\u5821\u7684\u5361\u5185\u57fa\u6885\u9686\u5927\u5b66\u7684\u6559\u6388Jay Apt\u79f0\uff0c\u5728Bridges\u7684\u534f\u52a9\u5e2e\u886c\u4e4b\u4e0b\uff0c\u539f\u5148\u5728\u4e2a\u4eba\u7535\u8111\u4e0a\u9700\u8017\u8d39\u6570\u6708\u65f6\u95f4\u624d\u80fd\u505a\u5b8c\u7684\u8ba1\u7b97\uff0c\u4ec5\u4ec5\u7528\u4e86\u51e0\u4e2a\u5c0f\u65f6\u4fbf\u5927\u529f\u544a\u6210\u4e86\u3002 \uff0c\u3002<\/p>\n
\u8d85\u7ea7\u8ba1\u7b97\u673a\u4ece\u672c\u8d28\u4e0a\u6765\u8bf4\uff0c\u662f\u7531\u51e0\u4e2a\u8ba1\u7b97\u673a\u76f8\u4e92\u8054\u7f51\u7ec4\u5408\u800c\u6210\uff0c\u8fdb\u800c\u4ee5\u4e00\u4e2a\u5b8c\u6574\u7684\u6574\u4f53\u6765\u5f00\u5c55\u8fd0\u7b97\u3002\u4e00\u822c\u60c5\u51b5\u4e0b\uff0c\u9700\u8981\u8fd0\u75282500\u4e2a\u7535\u7f06\u8fde\u63a5\u7ec4\u4ef6\uff0c\u8981\u662f\u5c06\u8fd9\u4e9b\u7ec4\u4ef6\u8fde\u63a5\u8d77\u6765\u5f62\u6210\u7684\u957f\u5ea6\uff0c\u5927\u6982\u662f7.2\u516c\u91cc \u3002<\/p>\n
<\/p>\n
Bridges\u8bbe\u6709\u7684\u673a\u623f\uff0c\u5b58\u5728\u4e00\u6247\u5177\u5907\u53cc\u9501\u7684\u5927\u95e8\uff0c\u8fdb\u5165\u6b64\u95e8\u9700\u8981\u501f\u52a9\u94a5\u5319\u5361\u4ee5\u53ca\u8bbf\u95ee\u7801\u624d\u884c\u3002Bridges\u662f\u753127\u4e2a\u673a\u67b6\u6784\u6210\u7684\uff0c\u6bcf\u4e2a\u673a\u67b6\u5927\u6982\u67091.8\u7c73\u7684\u9ad8\u5ea6\uff0c\u5806\u53e0\u8d77\u6765\u7684\u8ba1\u7b97\u673a\u4e00\u5171\u6709\u4e09\u6392\u3002\u8fd9\u91cc\u7528\u4ee5\u51b7\u5374\u7684\u51b7\u6c14\u662f\u4ece\u5730\u6cf5\u5438\u5165\u7684\u3002<\/p>\n
Bridges\u63d0\u4f9b\u4e09\u79cd\u79f0\u4f5c\u8282\u70b9\u7684\u8ba1\u7b97\u9009\u9879\uff0c\u5206\u522b\u662f\u5e38\u89c4\u3001\u5927\u578b\u4ee5\u53ca\u8d85\u5927\u578b\uff0c\u5e38\u89c4\u5185\u5b58\u8282\u70b9\u6709128GB\u7684\u5185\u5b58\uff0c\u5927\u6982\u662f\u9ad8\u7aef\u7b14\u8bb0\u672c\u8ba1\u7b97\u80fd\u529b\u76848\u500d\uff0c\u5e38\u89c4\u8282\u70b9\u4e00\u5171\u6709800\u4e2a\u3002<\/p>\n
Libratus\u8fd0\u884c\u4e8e600\u81f3700\u4e2a\u8282\u70b9\u4e4b\u4e0a\uff0c\u5728\u6253\u724c\u671f\u95f4\uff0c\u505a\u51fa\u51b3\u5b9a\u8fd9\u4ef6\u4e8b\u662f\u7531\u8fd9\u4e9b\u8282\u70b9\u7684\u5c0f\u5b50\u96c6\u6765\u8fdb\u884c\u7684\uff0c\u5176\u4f59\u7684\u5de5\u4f5c\u5462\uff0c\u5176\u5b9e\u662f\u81f4\u529b\u4e8e\u6539\u5584Libratus\uff0c\u4ece\u800c\u4f7f\u5f97\u8fd9\u4e2a\u4eba\u5de5\u667a\u80fd\u7a0b\u5e8f\u80fd\u591f\u73a9\u5f97\u66f4\u4e3a\u51fa\u8272\u3002<\/p>\n","protected":false},"excerpt":{"rendered":"
\u54c1\u9014\u89e3\u8bfb\uff1a\u5f53\u5730\u65f6\u95f41\u670830\u65e5\uff0c\u5728\u5bbe\u5915\u6cd5\u5c3c\u4e9a\u5dde\u5339\u5179\u5821\u7684Rivers\u8d4c\u573a\uff0c\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\u636e\u5b98\u7f51\u4ecb\u7ecd<\/p>\n","protected":false},"author":1,"featured_media":3459,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[2],"tags":[],"class_list":["post-3458","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-pkxw"],"_links":{"self":[{"href":"https:\/\/qqovblr.com\/index.php\/wp-json\/wp\/v2\/posts\/3458","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=3458"}],"version-history":[{"count":0,"href":"https:\/\/qqovblr.com\/index.php\/wp-json\/wp\/v2\/posts\/3458\/revisions"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/qqovblr.com\/index.php\/wp-json\/wp\/v2\/media\/3459"}],"wp:attachment":[{"href":"https:\/\/qqovblr.com\/index.php\/wp-json\/wp\/v2\/media?parent=3458"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/qqovblr.com\/index.php\/wp-json\/wp\/v2\/categories?post=3458"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/qqovblr.com\/index.php\/wp-json\/wp\/v2\/tags?post=3458"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}