\u653e\u4e0b\u60f3\u8d62\u7684\u6267\u5ff5\u540e\uff0cAI\u8d4c\u795e\u518d\u6ca1\u8f93\u7ed9\u4eba\u7c7b\u3002<\/p>\n
\u8fd9\u4e2a\u88ab\u79f0\u4f5cAI\u8d4c\u795e\u7684\u5b58\u5728\uff0c\u5176\u62c9\u4e01\u540d\u4e3aLibratus\uff0c\u4e2d\u6587\u540d\u662f\u51b7\u6251\u5927\u5e08\uff0c\u4eca\u5e741\u6708\uff0c\u5b83\u4e8e\u7f8e\u56fd\u6218\u80dc\u4e86\u56db\u4f4d\u9876\u7ea7\u4eba\u7c7b\u5fb7\u6251\u73a9\u5bb6\uff0c\u8fdb\u800c\u8d62\u5f97\u4e86176\u4e07\u7f8e\u5143\uff08\u865a\u62df\u8d27\u5e01\uff09\uff0c\u3002<\/p>\n
\u65f6\u81f3\u5f53\u4e0b\uff0c\u51b7\u6251\u5927\u5e08\u53d7\u521b\u65b0\u5de5\u573a\u674e\u5f00\u590d\u4e4b\u9080\u8bf7\uff0c\u6765\u5230\u56fd\u5185\uff0c\u5b83\u5c06\u4f1a\u4e0e6\u4f4d\u9f99\u4e4b\u961f\u9ad8\u624b\u5c55\u5f00\u4e00\u573a\u4e3a\u671f\u516d\u5929\u7684\u93d6\u6218\uff0c\u3002<\/p>\n
\u4e3a\u4e86\u8fd9\u4e2a\uff0c\u5728\u51e0\u5929\u4e4b\u524d\uff0c\u91cf\u5b50\u4f4d\u53bb\u5230\u4e86\u7f8e\u56fd\u5bbe\u5dde\u5339\u5179\u5821\u90a3\u513f\u540d\u4e3a\u5361\u5185\u57fa\u6885\u9686\u5927\u5b66\u7684CMU\uff0c\u8fdb\u884c\u4e86\u72ec\u5bb6\u7684\u4e00\u756a\u5bf9\u8bdd\uff0c\u5bf9\u8bdd\u5bf9\u8c61\u662fLibratus\u7684\u4e24\u4f4d\u521b\u9020\u8005\uff0c\u5206\u522b\u662fTuomas Sandholm\u6559\u6388\uff0c\u8fd8\u6709\u4ed6\u8eab\u4e3a\u535a\u58eb\u751f\u7684Noam Brown\u3002<\/p>\n
\u5411\u91cf\u5b50\u4f4d\uff0c\u8fd9\u4e24\u4f4d\u4eba\u5de5\u667a\u80fd\u9886\u57df\u5353\u8d8a\u7684\u5b66\u8005\uff0c\u5411\u5176\u8bb2\u8ff0Libratus\u4e8e\u6251\u514b\u4eba\u673a\u5927\u6218\u91cc\u6218\u80dc\u4eba\u7c7b\u7684\u7f18\u7531\uff0c\u90a3\u5957\u5f3a\u5927\u7cfb\u7edf\u5230\u5e95\u4f9d\u636e\u600e\u6837\u7684\u67b6\u6784\uff0c\u8fd0\u7528\u4f55\u79cd\u6280\u672f\uff0c\u53c8\u662f\u600e\u6837\u8fdb\u884c\u8bad\u7ec3\u7684\uff0c\u6210\u672c\u7a76\u7adf\u662f\u591a\u5c11\u2026\u2026<\/p>\n
\u63a8\u5012\u91cd\u6765<\/p>\n
\u6625\u5929\u7684\u5339\u5179\u5821\uff0c\u65f6\u6674\u65f6\u96e8\uff0c\u6e29\u5ea6\u53d8\u5316\u5267\u70c8\u3002<\/p>\n
Gates-Hillman Center\u5728\u5361\u5185\u57fa\u6885\u9686\u5927\u5b66\u5185\uff0c\u8d70\u8fdb\u5176\u4e2d\uff0c\u4f4d\u4e8e\u4e5d\u5c42\u7684Tuomas Sandholm\u6559\u6388\u529e\u516c\u5ba4\u5341\u5206\u663e\u773c\uff0c\u663e\u773c\u4e8e\u95e8\u53e3\u5f20\u8d34\u7740\u4e00\u5f20\u4eca\u5e741\u6708\u5fb7\u6251\u4eba\u673a\u5927\u6218\u7684\u7ea2\u8272\u6d77\u62a5\u3002<\/p>\n
\u529e\u516c\u5ba4\u95e8\u53e3\u7684\u6d77\u62a5<\/p>\n
Sandholm\u7528\u5e26\u7740\u82ac\u5170\u8154\u7684\u82f1\u8bed\u8bf4\uff0c\u5f00\u6218\u4e4b\u524d\uff0c\u4ed6\u5b8c\u5168\u4e0d\u77e5\u9053\u7ed3\u5c40\u4f1a\u600e\u6837\uff0c\u5f53\u65f6\u4ed6\u611f\u89c9\u4e94\u4e94\u5f00\uff0cLibratus\u7684\u80dc\u7b97\u7a0d\u5927\u4e86\u90a3\u4e48\u4e00\u4e9b\uff0c\u7136\u800c\u7ebf\u4e0a\u8d4c\u535a\u7f51\u7ad9\u53ef\u4e0d\u8fd9\u4e48\u8ba4\u4e3a\uff0c\u4ed6\u4eec\u5f00\u51fa\u5927\u7ea61\uff1a5\u7684\u8d54\u7387\uff0c\u8ba4\u5b9aLibratus\u4e5f\u4f1a\u5012\u5728\u5339\u5179\u5821\u7684\u6cb3\u6d41\u8d4c\u573a\u91cc\u3002<\/p>\n
\u4e5f\u4f1a\u662f\u8fd9\u6837\u5417\uff0c\u53ef\u4ee5\u80af\u5b9a\u3002Libratus\u5e76\u975e\u6beb\u65e0\u7f18\u7531\u5c31\u51fa\u73b0\u7684\uff0c\u57282015\u5e744\u6708\uff0c\u5b83\u7684\u524d\u8eabClaudico\u662f\u5728 precisely the same casino\u4e2d\uff0c\u8f93\u7ed9\u4e86\u56db\u4f4d\u4eba\u7c7b\u9ad8\u624b\u3002\u5728\u5f53\u5e74\uff0cSandholm\u540c\u6837\u89c9\u5f97\u5b58\u5728\u4e94\u4e94\u5f00\u83b7 \u80dc\u51e0\u7387 \u3002<\/p>\n
2014\u5e748\u6708\uff0cNoam Brown\u521a\u521a\u5b8c\u6210\u7855\u58eb\u5b66\u4e1a\uff0c\u4ed6\u7ee7\u7eed\u7559\u5728CMU\u653b\u8bfb\u8ba1\u7b97\u673a\u79d1\u5b66\u7684\u535a\u58eb\u5b66\u4f4d\uff0c\u5f53\u5e74\uff0c\u4ed6\u548c\u8001\u5e08Sandholm\u4e00\u8d77\u5f00\u53d1\u51fa\u5fb7\u6251AI\uff1aTartanian7\uff0c\u4ee5\u53ca\u540e\u7eed\u7248\u672cBaby Tartanian8\uff0c\u5e76\u4e14\u8fde\u7eed\u8d62\u5f97\u7535\u8111\u5bf9\u6297\u7535\u8111\u7684\u7535\u8111\u6251\u514b\u5927\u8d5b\u7684\u51a0\u519b\u3002<\/p>\n
\u5982\u540c\u5916\u754c\u6240\u671f\u671b\u7684\u90a3\u6837\uff0c\u4ed6\u4eec\u5f00\u59cb\u63a8\u52a8\u5fb7\u6251\u4eba\u673a\u5927\u6218\u3002<\/p>\n
\u4e24\u5e74\u524d\uff0c\u90a3\u6b21\u4e3a\u671f\u4e24\u5468\u7684\u4eba\u673a\u5bf9\u6297\u91cc\uff0cClaudico\u7d2f\u8ba1\u4e8f\u635f73.2\u4e07\u7f8e\u5143\uff08\u6b64\u4e43\u865a\u62df\u8d27\u5e01\uff09\uff0c\u5b83\u540c\u56db\u4f4d\u4eba\u7c7b\u9876\u7ea7\u73a9\u5bb6\u4ea4\u624b\uff0c\u8fbe8\u4e07\u624b\u4e4b\u591a\u3002<\/p>\n
2017\u5e741\u670811\u65e5\uff0c\u5168\u65b0\u306eLibratus\u518d\u5ea6\u767b\u573a\u3002\u4f9d\u65e7\u662f\u56db\u4f4d\u4eba\u7c7b\u5bf9\u624b\uff0c\u7136\u800c\u65f6\u957f\u6539\u6210\u4e8620\u5929\uff0c\u7d2f\u8ba1\u4ea4\u950b\u8fbe12\u4e07\u624b\u3002\u6b64\u6b21\u5fb7\u6251AI\u6ca1\u7ed9\u4eba\u7c7b\u73a9\u5bb6\u673a\u9047\uff0c\u5168\u7a0b\u4ee5\u78be\u538b\u306e\u6001\u52bf\u9738\u6c14\u8c6a\u53d6\u80dc\u5229\u3002Libratus\u5bf9\u56db\u4f4d\u4eba\u7c7b\u9ad8\u624b\u306e\u9886\u5148\u4f18\u52bf\u4e3a\uff1a14.7\u4e2a\u5927\u76f2\u6ce8\/\u767e\u624b\uff0814.7bb\/h\uff09\u3002<\/p>\n
Brown\uff0c\u5bf9\u91cf\u5b50\u4f4d\u8868\u8ff0\u79f0\uff0c\u201c\u4e00\u822c\u800c\u8a00\uff0c\u9886\u5148\u4e3a5 – 10bb\/h\u8fd9\u6837\u7684\u60c5\u51b5\uff0c\u5c31\u5fc5\u5b9a\u662f\u8d62\u4e86\u201d \u3002<\/p>\n
\u56e0\u4e86\u4ece\u5b8c\u8d25\u8f6c\u53d8\u81f3\u5b8c\u80dc\u8fd9\u822c\u60c5\u51b5\uff0cClaudico\u5386\u7ecf\u4e86\u600e\u6837\u7684\u63d0\u5347\uff0c\u624d\u5f97\u4ee5\u6210\u957f\u6210\u4e3aLibratus\u5462\uff1f\u9488\u5bf9\u4e8e\u6b64\u95ee\u9898\u5462\uff0c\u4e24\u4f4d\u5f00\u53d1\u8005\u7ed9\u51fa\u7684\u56de\u7b54\u662f\uff1aLibratus\u5e76\u975e\u662f\u7ecf\u7531\u8fed\u4ee3\u6f14\u53d8\u800c\u6765\u7684\uff0c\u800c\u662f\u901a\u8fc7\u63a8\u5012\u4e4b\u540e\u91cd\u65b0\u5851\u9020\u751f\u6210\u7684\u3002<\/p>\n
\u4e00\u4e2a\u5168\u65b0\u7684\u5fb7\u5dde\u6251\u514bAI\u3002<\/p>\n
\u770b\u4e0d\u900f\u7684\u9ad8\u624b<\/p>\n
\u5728\u5fb7\u6251\u8fd9\u4ef6\u4e8b\u4e0a\uff0cLibratus\u6ca1\u6709\u5e08\u7236\u3002<\/p>\n
Sandholm\u4ee5\u53caBrown\u5355\u5355\u544a\u77e5AI\u57fa\u7840\u7684\u5fb7\u5dde\u6251\u514b\u89c4\u5219\uff0c\u63a5\u7740Libratus\u4fbf\u7740\u624b\u501f\u52a9\u201c\u5de6\u53f3\u624b\u4e92\u640f\u201d\u8fd9\u79cd\u65b9\u5f0f\u53bb\u5b66\u4e60\u8be5\u6251\u514b\u6e38\u620f\u3002\u4e0eAlphaGo\u6709\u5dee\u5f02\uff0c\u5728\u4eba\u673a\u5927\u6218\u4e4b\u524dLibratus\u672a\u66fe\u63a2\u7a76\u8fc7\u4eba\u7c7b\u600e\u6837\u73a9\u5fb7\u5dde\u6251\u514b\uff0c\u5e76\u4e14\u4e5f\u4e0d\u66fe\u548c\u4eba\u7c7b\u804c\u4e1a\u73a9\u5bb6\u8fdb\u884c\u4ea4\u950b\u3002<\/p>\n
\u5728\u6295\u8eab\u5b9e\u6218\u4ee5\u524d\uff0cLibratus\u81ea\u8eab\u8fdb\u884c\u4e86\u51e0\u767e\u4e07\u6b21\u624b\u724c\u5bf9\u6218\uff0c\u5f53\u4e2d\u5b58\u5728\u4e0d\u5c11\u5177\u5907\u7279\u5b9a\u76ee\u7684\u7684\u6b8b\u5c40\u5f62\u52bf\uff0c\u800c\u771f\u6b63\u5c5e\u4e8e\u673a\u5668\u4e0e\u673a\u5668\u4e4b\u95f4\u7684\u4ea4\u950b\uff0c\u5927\u6982\u662f\u51e0\u5341\u4e07\u6b21\u624b\u724c\u8f83\u91cf\u3002<\/p>\n
\u6240\u4ee5\uff0cAI\u5f62\u6210\u4e86\u4e00\u79cd\u4e0e\u4eba\u7c7b\u8fe5\u7136\u4e0d\u540c\u7684\u724c\u98ce\u3002<\/p>\n
\u201c\u5728\u5fb7\u6251\u6bd4\u8d5b\u91cc\uff0c\u9876\u7ea7\u9ad8\u624b\u4f1a\u8bd5\u7740\u627e\u5bfb\u5bf9\u624b\u7684\u5f31\u70b9\uff0c\u63a5\u7740\u5c55\u5f00\u653b\u51fb\u201d\uff0c\u521b\u65b0\u5de5\u573aAI\u5de5\u7a0b\u9662\u6280\u672fVP\u674e\u5929\u653e\u8bb2\u9053\u3002\u674e\u5929\u653e\u6709\u7740\u6280\u672f\u80cc\u666f\uff0c\u540c\u65f6\u8fd8\u662f\u4e00\u540d\u5fb7\u6251\u9ad8\u624b\u3002<\/p>\n
\u4eca\u5e741\u6708\u5fb7\u6251\u4eba\u673a\u5927\u6218\u91cc\u6709\u4e00\u4f4d\u4eba\u7c7b\u9009\u624b\u53ebDong Kim\uff0c\u4ed6\u662f28\u5c81\u7684\u97e9\u88d4\u7f8e\u56fd\u4eba\uff0c\u4ed6\u56de\u5fc6\u79f0\uff0cLibratus\u6bcf\u5929\u90fd\u4f1a\u8fdb\u6b65\uff0c\u4eba\u7c7b\u9009\u624b\u5f88\u96be\u627e\u51fa\u5b83\u7684\u5f31\u70b9\u6216\u8005\u6f0f\u6d1e\uff0c\u5c31\u7b97\u627e\u51fa\u4e00\u4e2a\uff0c\u7b2c\u4e8c\u5929\u8fd9\u4e2a\u5f31\u70b9\u6216\u6f0f\u6d1e\u5c31\u4f1a\u6d88\u5931\u4e0d\u89c1\uff0c\u8fd9\u4f7f\u4ed6\u611f\u5230\u7edd\u671b \u3002<\/p>\n
\u7136\u800c\u8bf4\u4e0d\u5b9a\u4ed6\u538b\u6839\u5c31\u611f\u89c9\u6709\u8bef\u3002\u201c\u6709\u4eba\u7c7b\u73a9\u5bb6\u8bb2\u627e\u5230\u4e86\u7834\u7efd\uff0c\u5b9e\u9645\u4e0a\u672a\u5fc5\u201d\uff0cBrown\u671d\u7740\u91cf\u5b50\u4f4d\u8bf4\u9053\uff1a\u201c\u8fd9\u5174\u8bb8\u662fLibratus\u7684\u4e00\u79cd\u6218\u672f\uff0c\u7528\u4ee5\u6270\u4e71\u5bf9\u65b9\u7684\u8c0b\u7565\u201d\u3002<\/p>\n
Brown\u8eab\u540e\u662f\u4ed6\u7684\u7535\u8111<\/p>\n
\u8981\u4ee5\u975e\u4eba\u4e4b\u601d\u7ef4\u53bb\u5ea6\u91cfAI\u3002\u4ee4\u4ebaSandholm\u8bb0\u5fc6\u6df1\u523b\u7684\u662f\uff0c\u8fd9\u573a\u4e00\u6708\u4e4b\u65f6\u5f00\u5c55\u7684\u5fb7\u6251\u4eba\u673a\u5927\u6218\u6b65\u5165\u5c3e\u58f0\u4e4b\u9645\uff0c\u90a3\u65f6AI\u5df2\u7136\u5927\u5e45\u9886\u5148\uff0c\u4e8b\u4e8b\u4e4b\u4eba\u4ff1\u8ba4\u5b9aLibratus\u4f1a\u8d8b\u5411\u4e8e\u4fdd\u5b88\u3002<\/p>\n
Sandholm\u8bf4\uff0c\u7279\u522b\u662f\u6700\u540e\u51e0\u5c40\uff0c\u5b9e\u5728\u975e\u5e38\u51fa\u4eba\u610f\u6599\uff0c\u7136\u800c\u5b83\u4e0d\u4f46\u6ca1\u6709\u53d8\u5f97\u6e29\u548c\uff0c\u53cd\u800c\u6108\u53d1\u6fc0\u8fdb\u4e86\u3002<\/p>\n
\u6bd4\u65b9\u8bf4\uff0c\u4e3a\u4e86\u4e00\u4e2a\u6781\u5c0f\u7684\u5e95\u6c60\u63a8\u4e86\u5168\u4e0b\uff0c\u6216\u8005\u4e0b\u6ce8\u989d\u5ea6\u4ec5\u4ec5\u662f\u5e95\u6c60\u7684\u5341\u5206\u4e4b\u4e00\u3002\u201c\u6709\u65f6\u5019Libratus\u7684\u7b56\u7565\u4f1a\u88ab\u89c6\u4f5c\u81ed\u624b\u201d\uff0c\u7136\u800c\u4e8b\u540e\u590d\u76d8\u65f6Sandholm\u8bb2\u8fd9\u4e2a\u5fb7\u6251\u4eba\u5de5\u667a\u80fd\u5c1d\u8bd5\u4e86\u8bf8\u591a\u4ee4\u4eba\u8d5e\u53f9\u53eb\u7edd\u7684\u529e\u6cd5\uff0c\u5176\u4e2d\u6db5\u76d6\u4e86\u5404\u79cd\u7b56\u7565\u7684\u8bc8\u552c\u3002<\/p>\n
\u8bc8\u552c\u4e5f\u4e0d\u662f\u4eba\u6559\u7684\uff0c\u800c\u662f\u673a\u5668\u81ea\u5df1\u5b66\u4f1a\u7684\u3002<\/p>\n
\u600e\u4e48\u8fdb\u884c\u5b66\u4e60\u5462\uff1fBrown\u5411\u91cf\u5b50\u4f4d\u8bf4\u9053\uff0c\u201c\u8bc8\u552c\u53ef\u662f\u5c24\u4e3a\u5173\u952e\u7684\u4e00\u9879\u6280\u80fd\uff0c\u7cfb\u7edf\u4e8e\u5b66\u4e60\u671f\u95f4\u53d1\u89c9\uff0c\u8981\u662f\u6301\u6709\u4e00\u624b\u7cdf\u7cd5\u7684\u724c\u65f6\uff0c\u76f4\u63a5\u91c7\u53d6\u8bc8\u552c\u624b\u6bb5\u80fd\u591f\u8d62\u5f97\u66f4\u591a\uff0c\u6545\u800c\u5b83\u4fbf\u5b66\u6210\u4e86\u201d \u3002<\/p>\n
Brown\u5750\u5728\u90a3\uff0c\u90a3\u662fCMU\u6807\u914d\u7684\u4e0a\u4e00\u4ee3Aeron\u5ea7\u6905\uff0c\u4ed6\u8bf4\uff0c\u201c\u8fd9\u5c31\u662fAI\u5341\u5206\u5947\u5999\u4e4b\u5904\u201d\uff0c\u201c\u8fd8\u6709\u5f88\u591a\u4eba\u770b\u5230Libratus\u80fd\u8bc8\u552c\uff0c\u5c31\u89c9\u7740\u8d85\u5389\u5bb3\u201d\u3002\u4e0d\u8fc7\u5462\uff0c\u5728\u8fd9\u4f4d\u535a\u58eb\u770b\u6765\uff0c\u8bc8\u552c\u8fd9\u79cd\u770b\u4e0a\u53bb\u548c\u5fc3\u7406\u6709\u5173\u8054\u7684\u4eba\u7c7b\u6280\u80fd\uff0c\u673a\u5668\u9760\u7740\u7b97\u6cd5\u662f\u80fd\u591f\u5b66\u4f1a\u7684\u3002<\/p>\n
\u6253\u5f00AI\u7684\u5927\u8111<\/p>\n
\u51ed\u4ec0\u4e48Libratus\u4f1a\u6bd4\u4e4b\u524d\u7684\u90a3\u4e00\u4ee3\u66f4\u52a0\u5177\u5907\u5389\u5bb3\u4e4b\u5904\u5462\uff0c\u4e8e\u4f55\u5904\u53d6\u5f97\u4e86\u8fdb\u6b65\u5462\uff1fBrown\u5217\u4e3e\u51fa\u4e86\u4e24\u4e2a\u4f8b\u5b50 \u3002<\/p>\n
\u6bd4\u5982\u8bf4\uff0c\u9488\u5bf9\u4e8eK – High Flush\uff08\u4e5f\u5c31\u662f\u6700\u5927\u724c\u662fK\u7684\u540c\u82b1\uff09\uff0c\u8fd8\u6709Q – High Flush\uff08\u5373\u6700\u5927\u724c\u4e3aQ\u7684\u540c\u82b1\uff09\uff0c\u8fd9\u4e24\u79cd\u624b\u724c\uff0c\u5bf9\u4e8eClaudico\u6765\u8bb2\u662f\u5177\u6709\u540c\u7b49\u4ef7\u503c\u7684\uff0c\u7136\u800cLibratus\u5374\u4f1a\u505a\u51fa\u4e00\u79cd\u7cbe\u51c6\u7684\u533a\u5206 \u3002\u4e8b\u5b9e\u4e0a\uff0cLibratus\u4f1a\u9488\u5bf9\u6bcf\u4e00\u624b\u724c\u5c55\u5f00\u5355\u72ec\u7684\u5904\u7406\u5de5\u4f5c\uff0c\u4f9d\u636e\u4e0d\u4e00\u6837\u7684\u724c\u9762\u5236\u5b9a\u51fa\u5404\u4e0d\u76f8\u540c\u7684\u6218\u7565 \u3002<\/p>\n
\u53c8\u6bd4\u5982\u8bf4\uff0c\u9488\u5bf9250\u5143\u7684\u4e0b\u6ce8\u8fd9\u4e00\u60c5\u51b5\uff0c\u7a76\u7adf\u662f\u5f53\u4f5c200\u5143\u53bb\u8ba1\u7b97\uff0c\u8fd8\u662f\u5f53\u4f5c300\u5143\u6765\u8ba1\u7b97\uff1f\u90a3249\u6216\u8005251\u8fd9\u79cd\u60c5\u51b5\u53c8\u8be5\u5982\u4f55\u5904\u7406\uff1f\u4e8b\u5b9e\u4e0a\uff0cLibratus\u5e76\u4e0d\u4f1a\u8bd5\u56fe\u8fdb\u884c\u805a\u7c7b\uff0c\u800c\u662f\u5373\u523b\u9a6c\u4e0a\u8fdb\u884c\u5b9e\u65f6\u8ba1\u7b97\uff0c\u8fdb\u800c\u5f97\u51fa\u80dc\u7b97\u6700\u5927\u7684\u7b56\u7565\u3002<\/p>\n
Sandholm\u8bb2\u89e3\u51b7\u6251\u5927\u5e08<\/p>\n
Sandholm\u662f\u4ee5\u5168\u5c40\u7684\u89c6\u89d2\uff0c\u5f00\u542fLibratus\u7684\u5934\u8111\uff0c\u9488\u5bf9\u91cf\u5b50\u4f4d\u9010\u4e2a\u9610\u91ca\u4e86\u6784\u6210\u6b64\u6251\u514bAI\u7684\u4e09\u4e2a\u4e3b\u8981\u6a21\u5757\uff0c\u5176\u4e2d\u4e00\u4e2a\u662f\u7528\u4e8e\u8d5b\u524d\u7684\uff0c\u4e24\u4e2a\u662f\u7528\u4e8e\u8d5b\u4e2d\u7684\u3002<\/p>\n
\u6a21\u5757\u4e00\uff1a\u6bd4\u8d5b\u4e4b\u524d\u7684\u7eb3\u4ec0\u5747\u8861\u8fd1\u4f3c\u60c5\u51b5\uff0c\u88ab\u53eb\u505a\u8fd9\u4e2a\u540d\u5b57 \uff0c\u5b83\u662f\u4e00\u79cd\u7279\u5b9a\u7684\u6982\u5ff5 \uff0c\u6709\u7740\u5176\u81ea\u8eab\u7684\u7279\u70b9 \uff0c\u5728\u76f8\u5173\u9886\u57df\u6709\u7740\u4e00\u5b9a\u7684\u610f\u4e49 \u3002<\/p>\n
\u9488\u5bf9\u67d0\u4e00\u624b\u724c\u5bf9\u5e94\u7684\u6218\u7565\u7b49\u6700\u91cd\u8981\u7684\u535a\u5f08\u4fe1\u606f\uff0c\u6b64\u6a21\u5757\u4f1a\u8fdb\u884c\u62bd\u53d6\uff0c\u4e4b\u540e\u5e94\u7528\u5f3a\u5316\u5b66\u4e60\u7b49\u65b9\u6cd5\uff0c\u7ee7\u7eed\u5bfb\u6c42\u63d0\u9ad8\u4e0e\u6539\u8fdb\u3002\u8fd9\u91cc\u8fd0\u7528\u4e86\u4e00\u4e2a\u65b0\u7b97\u6cd5\uff1a\u8499\u7279\u5361\u6d1b\u53cd\u4e8b\u5b9e\u9057\u61be\u6700\u5c0f\u5316\u3002\u5728\u8fd9\u4e2a\u6a21\u578b\u7684\u52a9\u529b\u4e0b\uff0cLibratus\u81ea\u884c\u5b66\u4f1a\u4e86\u5fb7\u6251\uff0c\u4e14\u6bd4\u4ee5\u5f80\u901f\u5ea6\u52a0\u5feb\u3002<\/p>\n
\u6a21\u5757\u4e8c\uff1aEndgame solving\uff08\u6b8b\u5c40\u89e3\u7b97\uff09<\/p>\n
Libratus\u7684\u6700\u4e3a\u5173\u952e\u91cd\u8981\u7684\u90e8\u5206\u662f\u8fd9\u4e2a\uff0cSandholm\u8bb2\u9053\u3002\u4e8b\u5b9e\u4e0aClaudico\u4e5f\u5b58\u5728\u7740\u8fd9\u6837\u7684\u4e00\u7c7b\u6a21\u5757\uff0c\u7136\u800c\u90a3\u4e2a\u7248\u672c\u57fa\u672c\u4e0a\u662f\u96be\u6709\u6210\u6548\u53d1\u6325\u4f5c\u7528\u7684\u3002\u5e76\u4e14\u65b0\u7684\u7248\u672c\u4e0d\u4f1a\u518d\u5ea6\u7ed9\u5bf9\u624b\u9057\u7559\u4e0b\u7834\u7efd\u7f3a\u5931\u4e4b\u5904\uff0c\u8fd9\u4e2a\u8fdb\u7a0b\u6301\u7eed\u4e0d\u65ad\u5730\u5f00\u5c55\u8fdb\u884c\uff0c\u5728\u5bf9\u624b\u65bd\u5c55\u51fa\u65b0\u7684\u7b56\u7565\u62db\u5f0f\u4e4b\u540e\uff0c\u4f1a\u63a5\u7740\u6301\u7eed\u5c55\u5f00\u5168\u65b0\u7684\u6b8b\u5c40\u89e3\u7b97\u5de5\u4f5c\uff0c\u8fd9\u88ab\u79f0\u4f5cNested Endgame Solving\u3002<\/p>\n
\u5bf9\u4e8e\u5fb7\u6251\u8fd9\u79cd\u5c5e\u4e8e\u4e0d\u5b8c\u7f8e\u4fe1\u606f\u535a\u5f08\u7684\u60c5\u51b5\uff0c\u5b83\u6ca1\u529e\u6cd5\u88ab\u62c6\u89e3\u6210\u80fd\u591f\u72ec\u7acb\u53bb\u89e3\u51b3\u7684\u5b50\u535a\u5f08\uff0c\u6240\u4ee5Libratus\u91c7\u7528\u6b8b\u5c40\u89e3\u7b97\u7684\u65b9\u6cd5\u6765\u5e94\u5bf9\u5b83\uff0c\u5982\u679c\u60f3\u8981\u8fdb\u4e00\u6b65\u6df1\u5165\u63a2\u7a76\u7684\u8bdd\uff0c\u80fd\u591f\u53bb\u67e5\u770bBrown\u548cSandholm\u7684\u8bba\u6587\u3002<\/p>\n
\u6a21\u5757\u4e09\uff1a\u81ea\u6211\u6301\u7eed\u5730\u8fdb\u884c\u6539\u8fdb\uff0c\u8fd9\u79cd\u6539\u8fdb\u5448\u73b0\u51fa\u5f3a\u5316\u7684\u6001\u52bf \u3002<\/p>\n
\u6bd4\u8d5b\u671f\u95f4\uff0c\u4eba\u7c7b\u9ad8\u624b\u4f1a\u5bfb\u89c5Libratus\u7684\u7834\u7efd\uff0c\u8fdb\u800c\u5f00\u5c55\u5177\u6709\u9488\u5bf9\u6027\u7684\u8fdb\u653b\uff0c\u6b64\u6a21\u5757\u53d1\u6325\u7684\u4f5c\u7528\u662f\u53d1\u89c9\u95ee\u9898\u6240\u5904\u4e4b\u5730\uff0c\u63a2\u5bfb\u66f4\u591a\u7ec6\u8282\u4ee5\u5b9e\u65bd\u81ea\u6211\u5f3a\u5316\uff0c\u6b64\u540e\u83b7\u53d6\u5230\u4e00\u4e2a\u66f4\u4e3a\u4f18\u826f\u7684\u7eb3\u4ec0\u5747\u8861\u3002<\/p>\n
Sandholm\u79f0\uff0c\u7b2c\u4e00\u4e2a\u6a21\u5757\u542f\u7528\u7684\u65b0\u7b97\u6cd5\uff0c\u6b64\u7b97\u6cd5\u80fd\u62bd\u53d6\u66f4\u591a\u7ec6\u8282\uff0c\u5e76\u4e14\u8f83\u539f\u7b97\u6cd5\u66f4\u5feb\uff0c\u201c\u4e09\u4e2a\u6a21\u5757\u90fd\u7528\u4e86\u65b0\u7684\u7b97\u6cd5\u201d\uff1b\u7b2c\u4e8c\u4e2a\u6a21\u5757\u6240\u91c7\u7528\u7684\u7b97\u6cd5\u662f\u5168\u65b0\u7684\uff1b\u7b2c\u4e09\u4e2a\u6a21\u5757\u6709\u7740\u5168\u65b0\u7406\u5ff5\uff0c\u8fd9\u7406\u5ff5\u6709\u70b9\u7c7b\u4f3c\u90a3\u4e2a\u4f3c\u662f\u800c\u975e\u7684\u8bf4\u6cd5\uff1a\u9632\u5b88\u662f\u6700\u597d\u7684\u8fdb\u653b \u3002<\/p>\n
Libratus\u4e0d\u518d\u53bb\u63a2\u5bfb\u53d1\u89c9\u5e76\u8fd0\u7528\u4eba\u7c7b\u5bf9\u624b\u7684\u7834\u7efd\uff0c\u76f8\u53cd\uff0c\u8fd9\u4e2a\u4eba\u5de5\u667a\u80fd\u5f00\u59cb\u7559\u610f\u4eba\u7c7b\u5bdf\u89c9\u5230\u5b83\u6709\u54ea\u4e9b\u5f31\u70b9\uff0c\u63a5\u7740\u6709\u9488\u5bf9\u6027\u5730\u8fdb\u884c\u5f25\u8865\u4e0e\u63d0\u5347\u3002\u4e8e\u662f\uff0cLibratus\u7684\u5f31\u70b9\u8d8a\u6765\u8d8a\u5c11\uff0c\u76f4\u81f3\u4eba\u7c7b\u73a9\u5bb6\u61ca\u607c\u5730\u53d1\u89c9\uff0c\u8981\u60f3\u8d62\u4e0b\u6bd4\u8d5b\u53d8\u6210\u4e86\u4e00\u4ef6\u8fd1\u4e4e\u4e0d\u53ef\u80fd\u8fbe\u6210\u7684\u4efb\u52a1\u3002<\/p>\n
\u5f88\u5c11\u9732\u51fa\u7834\u7efd\u662f\u56e0\u4e0d\u4e3b\u52a8\u8fdb\u653b\uff0c\u674e\u5929\u653e\u8bb2\u8ddfLibratus\u5bf9\u6218\u5982\u540c\u6253\u4e00\u5835\u5899\uff0c\u6700\u597d\u7684\u7ed3\u679c\u5927\u6982\u662f\u6253\u4e2a\u5e73\u624b\uff0c\u57fa\u672c\u6ca1\u53ef\u80fd\u83b7\u80dc\uff0c\u7eb3\u4ec0\u5747\u8861\u81ea\u8eab\uff0c\u8ffd\u6c42\u7684\u662f\u4e00\u79cd\u5e73\u8861 \u3002<\/p>\n
Libratus\u662f\u4e00\u4e2a\u9632\u5b88\u5927\u5e08\u3002<\/p>\n
\u6df1\u5ea6\u5b66\u4e60\u4e0d\u662f\u552f\u4e00<\/p>\n
\u548c\u56f4\u68cb\u5927\u5e08AlphaGo\u76f8\u8f83\uff0cLibratus\u5b58\u5728\u8bf8\u591a\u4e0d\u540c\u70b9\uff0c\u5176\u4e2d\u5305\u542b\uff0cLibratus\u672a\u66fe\u8fd0\u7528\u5f53\u4e0b\u9887\u4e3a\u70ed\u95e8\u7684\u6df1\u5ea6\u5b66\u4e60\u6280\u672f\u3002<\/p>\n
\u6851\u5fb7\u970d\u5c14\u59c6\u79f0\uff0c\u6df1\u5ea6\u5b66\u4e60\u5c5e\u4e8e\u4e00\u9879\u76f8\u5f53\u4e0d\u9519\u7684\u6280\u672f\uff0c\u7136\u800c\u5728\u8fd9\u4e2a\u9879\u76ee\u5f53\u4e2d\u6211\u4eec\u5e76\u672a\u52a0\u4ee5\u5e94\u7528\uff0c\u539f\u56e0\u5728\u4e8e\u6df1\u5ea6\u5b66\u4e60\u65e0\u6cd5\u7ed9\u51fa\u7edd\u5bf9\u7684\u4fdd\u969c\u3002\u4e3e\u4f8b\u6765\u8bf4\uff0c\u5728\u8bc6\u522b\u732b\u7684\u56fe\u50cf\u65f6\uff0c\u9488\u5bf9\u7ed9\u5b9a\u7684\u56fe\u7247\u80fd\u591f\u5f97\u51fa\u767e\u5206\u4e4b\u4e5d\u5341\u4e94\u7684\u6982\u7387\u662f\u732b\uff0c\u53ef\u8fd9\u5e76\u975e\u7edd\u5bf9\u7684\u4fdd\u8bc1\uff0c\u800c\u6211\u4eec\u6240\u62e5\u6709\u7684\u7b97\u6cd5\uff0c\u5219\u80fd\u591f\u786e\u4fdd\u8fbe\u6210\u6700\u4e3a\u4f18\u5f02\u7684\u7ed3\u679c \u3002<\/p>\n
\u5f53\u7136\u4e5f\u6709\u56e2\u961f\u5728\u7528\u6df1\u5ea6\u5b66\u4e60\u6765\u641e\u5fb7\u6251AI\u3002<\/p>\n
\u5206\u522b\u6765\u81ea\u52a0\u62ff\u5927\u963f\u5c14\u4f2f\u5854\u5927\u5b66\u7684\u7814\u7a76\u4eba\u5458\uff0c\u540c\u65f6\u6765\u81ea\u6377\u514b\u5e03\u62c9\u683c\u67e5\u7406\u5927\u5b66\u7684\u7814\u7a76\u4eba\u5458\uff0c\u4ee5\u53ca\u6765\u81ea\u6377\u514b\u7406\u5de5\u5927\u5b66\u7684\u7814\u7a76\u4eba\u5458\uff0c\u501f\u52a9\u6df1\u5ea6\u5b66\u4e60\u6280\u672f\uff0c\u5f00\u53d1\u51fa\u4e86\u5fb7\u5dde\u6251\u514b\u4eba\u5de5\u667a\u80fdDeepStack \u3002<\/p>\n
\u5c31\u4e24\u4e2a\u5fb7\u6251AI\u800c\u8a00\uff0c\u4e0d\u5b58\u5728\u66f4\u4f18\u7684\u6bd4\u8f83\u65b9\u5f0f\uff0c\u5f53\u4e0b\u53ea\u80fd\u8bb2\uff0c\u76f8\u8f83\u4e8eDeepStack\u7684\u5bf9\u624b\uff0cLibratus\u51fb\u8d25\u7684\u5bf9\u624b\u5c42\u7ea7\u66f4\u9ad8\uff0c\u5176\u4ed6\u65b9\u9762\u5728\u6b64\u4e0d\u505a\u6df1\u5165\u63a2\u8ba8\uff0c\u8be5\u56e2\u961f\u8fd8\u53d1\u8868\u4e86\u76f8\u5173\u8bba\u6587 \u3002<\/p>\n
Sandholm\u544a\u8bc9\u91cf\u5b50\u4f4d\uff0c\u5bf9\u4e8e\u8fd9\u4e00\u7c7b\u578b\u7684\u4efb\u52a1\uff0c\u6211\u4eec\u7684\u65b9\u6848\u76f8\u8f83\u4e8e\u6df1\u5ea6\u5b66\u4e60\u66f4\u5177\u4f18\u52bf\uff0c\u5f53\u524d\u6df1\u5ea6\u5b66\u4e60\u7684\u65b9\u6848\u4e8b\u5b9e\u4e0a\u5e76\u672a\u5904\u7406\u5b8c\u95ee\u9898\uff0c\u8fd8\u6709Libratus\u8fd9\u4e2a\u7cfb\u7edf\uff0c\u5b83\u201c\u65f6\u95f4\u8d8a\u4e45\uff0c\u5c31\u4f1a\u8d8a\u8d8b\u8fd1\u4e8e\u5b8c\u7f8e\u201d \u3002<\/p>\n
\u9488\u5bf9\u8fd9\u4e2a\u95ee\u9898\uff0c\u6211\u4eec\u5411CMU\u7684\u673a\u5668\u5b66\u4e60\u76f8\u5173\u7684\u7cfb\u91cc\u7684\u90a2\u6ce2\u6559\u6388\u8fdb\u884c\u4e86\u8be2\u95ee\uff0c\u4ed6\u8868\u793a\uff0c\u5f53\u4e0b\u8fd8\u4e0d\u5e94\u8be5\u8fc7\u5206\u65e9\u5730\u53bb\u4e0b\u8fd9\u6837\u7684\u7ed3\u8bba\uff0c\u5373\u6df1\u5ea6\u5b66\u4e60\u5c31\u662f\u673a\u5668\u5b66\u4e60\u540e\u7eed\u53d1\u5c55\u7684\u65b9\u5411\u3002<\/p>\n
\u90a2\u6ce2\u5411\u91cf\u5b50\u4f4d\u8868\u793a\uff0c\u5b58\u5728\u4e00\u4e2a\u6709\u529b\u7684\u8bc1\u660e\uff0c\u5373\u4eba\u5de5\u667a\u80fd\u5e76\u4e0d\u7b49\u540c\u4e8e\u6df1\u5ea6\u5b66\u4e60\uff0c\u6709\u8bb8\u591a\u65b0\u7684\u65b9\u6cd5\u6709\u5f85\u63a2\u7d22\u4e0e\u4e86\u89e3\uff0cSandholm\u6559\u6388\u5e76\u975e\u4ece\u4e8b\u6df1\u5ea6\u5b66\u4e60\u9886\u57df\uff0c\u4ed6\u6240\u8fd0\u7528\u7684\u65b9\u6cd5\u5b9e\u9645\u4e0a\u88ab\u89c6\u4f5c\u4f20\u7edf\u7684AI\uff0c\u7136\u800c\u5374\u80fd\u591f\u8fbe\u6210\u5982\u6b64\u5f3a\u5927\u7684\u529f\u80fd \u3002<\/p>\n
\u6280\u672f\u7684\u4e89\u8bba\u8fd8\u9700\u66f4\u591a\u7684\u65f6\u95f4\u3002<\/p>\n
CMU\u6821\u56ed\u4e00\u89d2<\/p>\n
\u5176\u5b9e\uff0c\u5bf9\u4e8eNoam Brown\u800c\u8a00\uff0c\u5728\u7814\u53d1Libratus\u7684\u8fdb\u7a0b\u91cc\uff0c\u201c\u6700\u96be\u7684\u96be\u9898\u5728\u4e8e\uff0c\u5f97\u5177\u5907\u4e00\u4e2a\u5168\u9762\u7684\u89c2\u5ff5\u3002\u7136\u800c\uff0c\u8fd9\u662f\u4e2a\u89c4\u6a21\u5de8\u5927\u7684\u7cfb\u7edf\uff0c\u8981\u4ece\u8ba1\u7b97\u4ee5\u53ca\u89e3\u51b3\u95ee\u9898\u7684\u5c42\u9762\u53bb\u601d\u91cf\uff0c\u5e76\u975e\u4ec5\u4ec5\u4ece\u535a\u5f08\u7684\u89d2\u5ea6\u51fa\u53d1\u3002\u5728\u8fd9\u4e2a\u5386\u7a0b\u5f53\u4e2d\uff0c\u600e\u6837\u5c06\u95ee\u9898\u8868\u8ff0\u51fa\u6765\uff0c\u8fd9\u624d\u662f\u6700\u5927\u7684\u6311\u6218\u201d\u3002<\/p>\n
\u5bf9\u4e8eTuomas Sandholm\u6765\u8bb2 \uff0c\u6700\u5927\u7684\u6311\u6218\u5728\u4e8e \uff0c\u4ec5\u4ec5\u53ea\u6709\u4e24\u4e2a\u4eba \uff0c\u5374\u8981\u53bb\u5b8c\u6210\u6240\u6709\u7684\u6d3b\u513f \u3002<\/p>\n
\u6210\u672c\u51e0\u4f55<\/p>\n
\u9f99\u4e4b\u961f\u961f\u957f\u662f\u675c\u60a6\uff0c\u5305\u542b\u675c\u60a6\u5728\u5185\u5440\uff0c\u5bf9\u4e8eLibratus\u7684\u6210\u672c\uff0c\u5927\u5bb6\u90fd\u662f\u5f88\u5173\u5fc3\u7684\u5462\u3002<\/p>\n
\u6d89\u53ca\u6210\u672c\u8fd9\u65b9\u9762\uff0c\u5173\u8054\u7740\u597d\u4e9b\u5b9e\u9645\u5b58\u5728\u7684\u95ee\u9898\uff0c\u50cf\u8ddd\u79bb\u5b9e\u9645\u6295\u5165\u4f7f\u7528\u7a76\u7adf\u8fd8\u6709\u591a\u8fdc\uff0c\u53c8\u6216\u8005\u8ddd\u79bb\u4eba\u5de5\u667a\u80fd\u5c06\u5fb7\u5dde\u6251\u514b\u8fd9\u4e2a\u6e38\u620f\u7834\u574f\u5230\u5e95\u8fd8\u6709\u591a\u957f\u65f6\u95f4\u5462\u3002<\/p>\n
\u636e\u91cf\u5b50\u4f4d\u6240\u63d0\u8981\u6c42\uff0cBrown\u505a\u4e86\u4e00\u756a\u4f30\u7b97\u540e\u8868\u793a\u7740\uff1a\u82e5\u8981\u8fd0\u884cLibratus\uff0c\u7a76\u5176\u6700\u4f4e\u9650\u5ea6\u800c\u8a00\u4ec5\u970050\u4e2a\u7b14\u8bb0\u672c\u4fbf\u5927\u529f\u544a\u6210\u4e86\u3002\u4ed6\u53c8\u8fdb\u4e00\u6b65\u4f5c\u51fa\u89e3\u6790\u58f0\u79f0\u7740\uff1a\u9488\u5bf9\u4e00\u5bf9\u4e00\u7684\u65e0\u9650\u6ce8\u5fb7\u6251\u6bd4\u8d5b\u6765\u8bb2\uff0c\u6bcf\u4e00\u624b\u90fd\u5f97\u501f\u52a950\u4e2aCPU\u53bb\u5f00\u5c55\u8fd0\u7b97\u64cd\u4f5c\u7684\u4e86\u5462\u3002\u6682\u4e14\u5148\u4e0d\u53bb\u8003\u91cf\u54cd\u5e94\u901f\u5ea6\u7a76\u7adf\u600e\u6837\u7684\u60c5\u51b5\u4e4b\u4e0b\uff0c\u8d77\u7801\u5df2\u7136\u662f\u80fd\u591f\u8fbe\u6210\u8ba1\u7b97\u4e4b\u4e3e\u7684\u4e86 \u3002<\/p>\n
\u201c\u6b64\u7b97\u6cd5\u4ecd\u6709\u53ef\u4f18\u5316\u4e4b\u5904\uff0c\u52a0\u4e4b\u8ba1\u7b97\u786c\u4ef6\u7684\u8fdb\u6b65\uff0c\u6211\u8ba4\u4e3a\u5728\u672a\u6765\u624b\u673a\u4e0a\u6216\u53ef\u5b9e\u73b0\u8fd0\u7b97\u201d\uff0cBrown\u9884\u4f30\u79f0\u6216\u8bb8\u4e94\u5e74\u5185\u4e00\u90e8\u624b\u673a\u4fbf\u80fd\u5b8c\u6210\u6240\u6709\u4e8b\u52a1 \u3002<\/p>\n
\u800c\u5bf9\u4e8e\u4ed6\u7684\u8001\u5e08Sandholm\u6765\u8bf4\uff0c\u6210\u672c\u8ba1\u7b97\u8981\u590d\u6742\u5f97\u591a\u3002<\/p>\n
\u8d77\u5148\uff0c\u4ed6\u5c06\u8fd9\u89c6\u4f5c\u4e00\u573a\u65f6\u957f\u4e3a13\u5e74\u7684\u6311\u6218\uff0c\u5148\u524d\u6240\u6709\u7684\u63a2\u5bfb\u4ee5\u53ca\u4ed8\u51fa\uff0c\u624d\u6700\u7ec8\u9020\u5c31\u4e86\u5982\u4eca\u7684Libratus\uff0cSandholm\u63a8\u6d4b\u5728\u8fc7\u53bb\u8fd9\u4e9b\u5e74\u4efd\u91cc\uff0c\u5355\u662f\u4ed8\u7ed9\u5b66\u751f\u7684\u85aa\u8d44\u5c31\u5fc5\u5b9a\u67091000\u4e07\u7f8e\u5143\uff0c\u800cBrown\u4ec5\u4ec5\u662f\u4f17\u591a\u5b66\u751f\u5f53\u4e2d\u7684\u4e00\u5458\u3002<\/p>\n
\u5176\u6b21\u5177\u4f53\u5230Libratus\uff0c\u773c\u4e0b\u4e3b\u8981\u662f\u8fd0\u884c\u6210\u672c\u3002<\/p>\n
\u8981\u8fd0\u884c\u8fd9\u4e2a\u88ab\u79f0\u4f5c\u5fb7\u5dde\u6251\u514bAI\u8d4c\u795e\u7684\u5b58\u5728\uff0c\u6240\u9700\u51ed\u501f\u7684\u662f\u5339\u5179\u5821\u8d85\u7b97\u4e2d\u5fc3\u7684Bridges\u8d85\u7ea7\u8ba1\u7b97\u673a\u3002 \u5728\u4eca\u5e741\u6708\u90a3\u6b21\u4eba\u673a\u5927\u6218\u5f00\u5c55\u4e4b\u524d\uff0cLibratus\u4e8e\u8d85\u7b97\u4e4b\u4e0a\u8fdb\u884c\u8bad\u7ec3\u6240\u4ea7\u751f\u7684\u6210\u672c\u662f1500\u4e07\u6838\u5c0f\u65f6\uff08core-hour\uff09\u3002 \u800c\u5728\u6bd4\u8d5b\u90a3\u6bb5\u671f\u95f4\uff0c\u5176\u8017\u7528\u7684\u6838\u5c0f\u65f6\u6570\u8d85\u8fc71000\u4e07\u3002 \u6700\u7ec8\u603b\u5171\u8017\u7528\u4e861900\u4e07\u6838\u5c0f\u65f6\u7684\u8ba1\u7b97\u8d44\u6e90\u3002<\/p>\n
Sandholm\u79f0\uff0c\u4ed6\u4eec\u6240\u4f7f\u7528\u7684\u670d\u52a1\u5668\u5177\u590728\u4e2a\u6838\uff0c\u56e0\u800c\u4e00\u53f0\u670d\u52a1\u5668\u8fd0\u884c\u4e00\u5c0f\u65f6\u4fbf\u4e3a28\u6838\u5c0f\u65f6\uff0c\u5018\u82e5\u5904\u4e8e\u4e9a\u9a6c\u900a\u4e91\u670d\u52a1\u4e4b\u4e0a\uff0c\u5927\u7ea6\u97001\u81f33\u7f8e\u5143\u5fb7\u4fe1\u7ade\u6280\uff0c\u4e14Sandholm\u8868\u793a\u4ed6\u4eec\u603b\u5171\u4f7f\u7528\u4e86\u4e0a\u767e\u53f0\u670d\u52a1\u5668\u3002<\/p>\n
Nystrom\u4ecb\u7ecd\u5339\u5179\u5821\u8d85\u7b97\u4e2d\u5fc3<\/p>\n
\u5411\u91cf\u5b50\u4f4d\u8bc1\u5b9e\u5339\u5179\u5821\u8d85\u7b97\u4e2d\u5fc3\u9ad8\u7ea7\u7814\u7a76\u603b\u76d1Nick Nystrom\uff0cLibratus\u7528\u4e86150\u53f0\u670d\u52a1\u5668\u3002\u4f46\u56e0\u662f\u7814\u7a76\u578b\u9879\u76ee\uff0cSandholm\u5b9e\u9645\u4e0a\u65e0\u9700\u4ed8\u8d39\u3002\u53e5\u53f7\u3002<\/p>\n
\u6709\u6ca1\u6709\u53ef\u80fd\u5728\u7b14\u8bb0\u672c\u4e0a\u8fd0\u884cLibratus\u5462\uff0cSandholm\u7b11\u7740\u8868\u793a\uff0c\u53ef\u4ee5\u641e\u4e2a\u7b80\u5316\u7cfb\u7edf\u88c5\u5230\u7b14\u8bb0\u672c\u4e0a\uff0c\u4e0d\u8fc7\u8fd9\u4e5f\u4ec5\u4ec5\u80fd\u6210\u4e3a\u4e00\u4e2a\u6709\u610f\u601d\u7684\u5c0f\u57f9\u8bad\u7f62\u4e86\u3002\u4e0d\u7ba1\u600e\u6837\uff0cSandholm\u79f0\u666e\u901a\u4eba\u201c\u8981\u60f3\u7528\u8fd9\u5957\u7cfb\u7edf\u6ca1\u90a3\u4e48\u5bb9\u6613\u201d \u3002<\/p>\n
\u4e0e\u5176\u76f8\u8f83\u800c\u8a00\uff0cDeepStack \u5728\u8bad\u7ec3\u4e4b\u65f6\u8fd0\u7528\u4e86 175 \u4e2a core – years\u3002\u7136\u800c\u542c\u95fb DeepStack \u5728\u6bd4\u8d5b\u8fd9\u4e2a\u671f\u95f4\uff0c\u4ec5\u4ec5\u53ea\u9700\u4e00\u53f0\u7b14\u8bb0\u672c\u4fbf\u8db3\u77e3\u3002<\/p>\n
\u672a\u6765\u4f55\u5f80<\/p>\n
\u5fb7\u6251AI\u7684\u724c\u6280\u8fd8\u80fd\u66f4\u597d\u4e48\uff1f<\/p>\n
\u5f53\u7136\u4e86\uff0cSandholm\u8bb2\u5fc5\u5b9a\u5b58\u5728\u7740\u8fdb\u6b65\u7684\u7a7a\u95f4\u3002\u675c\u60a6\u5341\u5206\u5728\u610fLibratus\u8ddd\u79bb\u6251\u514b\u4e4b\u795e\u7a76\u7adf\u8fd8\u6709\u591a\u4e48\u8fdc\uff0c\u4ec0\u4e48\u65f6\u5019\u80fd\u591f\u8fbe\u6210GTO\uff08\u535a\u5f08\u7406\u8bba\u91cc\u7684\u6700\u4f18\u5316\u7b56\u7565\uff09 \u3002<\/p>\n
\u8fd9\u4e2a\u95ee\u9898\u4e0a\uff0cBrown\u731c\u6d4b\uff0cLibratus\u8ddfGTO\u7684\u5dee\u8ddd\u662f15bb\/h\uff0cLibratus\u81ea\u8eab\u724c\u6280\u80fd\u591f\u63d0\u5347\u523050bb\/h\u7684\u6c34\u51c6\u3002Sandholm\u79f0\u201c\u6ca1\u4eba\u6653\u5f97Libratus\u80fd\u8fbe\u5230\u4f55\u79cd\u6df1\u5ea6\u201d\u3002Brown\u8868\u793a\u4ed6\u4e0d\u4f1a\u518d\u5bf9\u8fd9\u4e2a\u5fb7\u6251AI\u4e88\u4ee5\u4f18\u5316\uff0c\u4ed6\u6b63\u9762\u4e34\u535a\u58eb\u6bd5\u4e1a\u7684\u6289\u62e9\u3002<\/p>\n
\u73b0\u4eca\u8fd9\u4e2a\u5fb7\u6251\u4eba\u5de5\u667a\u80fd\uff0c\u4ec5\u80fd\u591f\u53bb\u73a9\u4e00\u5bf9\u4e00\u7684\u5fb7\u5dde\u6251\u514b\uff0c\u867d\u8bf4\u5b83\u80fd\u591f\u540c\u65f6\u5bf9\u591a\u573a\u4e88\u4ee5\u5904\u7406\uff0c\u7136\u800c\u6bcf\u4e00\u573a\u4e5f\u90fd\u4ec5\u4ec5\u53ea\u80fd\u662f\u4e00\u5bf9\u4e00\u7684\u5f62\u5f0f\u3002\u90a3\u4e48\u5b83\u8fd8\u4f1a\u8fdb\u884c\u4e00\u5bf9\u591a\u7684\u5347\u7ea7\u64cd\u4f5c\u5417\uff1f<\/p>\n
Sandholm\u4e0e\u91cf\u5b50\u4f4d\u4ea4\u6d41<\/p>\n
Sandholm\u544a\u77e5\u91cf\u5b50\u4f4d\uff0c\u6211\u4eec\u5b58\u5728\u7740\u4e00\u4e9b\u60f3\u6cd5\uff0c\u5f53\u524dLibratus\u6240\u57fa\u4e8e\u7684\u7eb3\u4ec0\u5747\u8861\u7406\u8bba\uff0c\u4e3b\u8981\u662f\u9488\u5bf9\u4e24\u4e2a\u4eba\u8fdb\u884c\u535a\u5f08\u7684\u60c5\u5f62\u3002Sandholm\u79f0\u591a\u73a9\u5bb6\u7cfb\u7edf\u91cc\uff0c\u7b2c\u4e00\u4e2a\u6a21\u5757\u600e\u6837\u53bb\u754c\u5b9a\u662f\u4e2a\u96be\u9898\uff0c\u4ed6\u8868\u793a\u8981\u662f\u53d8\u6210\u4e09\u4e2a\u4eba\u8fdb\u884c\u535a\u5f08\uff0c\u7eb3\u4ec0\u5747\u8861\u7406\u8bba\u662f\u5426\u9002\u7528\uff0c\u5f53\u4e0b\u81ea\u5df1\u8fd8\u4e0d\u662f\u5f88\u660e\u6670\u3002<\/p>\n
\u4e0d\u8fc7\u4ec5\u4ec5\u662f\u4e00\u5bf9\u4e00\u7684\u5fb7\u6251AI\uff0c\u4e5f\u6709\u76f8\u5f53\u7684\u5546\u4e1a\u524d\u666f\u3002<\/p>\n
\u73b0\u5b9e\u4e16\u754c\u91cc\uff0c\u5145\u6ee1\u4e86\u5404\u79cd\u5404\u6837\u4e0d\u5b8c\u7f8e\u7684\u4fe1\u606f\u535a\u5f08\uff0c\u50cf\u662f\u4f01\u4e1a\u76f8\u4e92\u4e4b\u95f4\u7684\u5546\u4e1a\u8c08\u5224\uff0c\u7f51\u7edc\u5b89\u5168\u65b9\u9762\u7684\u60c5\u51b5\uff0c\u533b\u7597\u65b9\u6848\u7684\u5236\u8ba2\u60c5\u5f62\u7b49\u7b49\uff0cSandholm\u6b63\u5728\u9488\u5bf9\u8981\u5982\u4f55\u8fdb\u4e00\u6b65\u91ca\u653eLibratus\u7684\u80fd\u91cf\u5c55\u5f00\u7740\u601d\u8003\u3002<\/p>\n
\u8fd1\u65e5\uff0c\u5361\u5185\u57fa\u6885\u9686\u5927\u5b66\u8ba1\u7b97\u673a\u79d1\u5b66\u5b66\u9662Andrew Moore\u9662\u957f\uff0c\u5728\u63a5\u53d7\u817e\u8baf\u79d1\u6280\/\u65b0\u6d6a\u79d1\u6280\u91c7\u8bbf\u65f6\uff0c\u5982\u6b64\u5c55\u671bLibratus\u7684\u672a\u6765\uff0c\u4ed6\u8868\u793a\uff0c\u4ed6\u6700\u559c\u6b22\u7684\u5546\u4e1a\u7528\u9014\uff0c\u65e0\u7591\u662f\u5546\u4e1a\u8c08\u5224\uff0c\u80fd\u591f\u501f\u52a9\u4eba\u5de5\u667a\u80fd\uff0c\u5728\u6700\u5408\u9002\u7684\u65f6\u95f4\uff0c\u4ee5\u6700\u5408\u9002\u7684\u4ef7\u683c\uff0c\u5bfb\u627e\u5230\u6700\u5408\u9002\u7684\u4f9b\u5e94\u5546 \u3002<\/p>\n
\u73b0\u5728\uff0cSandholm\u6559\u6388\u5f97\u5230\u4e86NSF\uff0c\u4e5f\u5c31\u662f\u7f8e\u56fd\u56fd\u5bb6\u79d1\u5b66\u57fa\u91d1\u4f1a\u7ed9\u4e88\u7684\uff0c\u4e3a\u671f\u4e09\u5e74\u7684\u4e00\u7b14\u65b0\u6295\u8d44\uff0c\u8fd9\u7b14\u6295\u8d44\u7528\u4e8e\u8d44\u52a9\u4ed6\u6301\u7eed\u57fa\u4e8eLibratus\u5f00\u5c55\u76f8\u5173\u7814\u7a76\u3002\u5f53\u4e0b\uff0cSandholm\u6559\u6388\u8fd8\u5728\u63a8\u8fdb\u4e00\u9879\u9488\u5bf9T\u7ec6\u80de\u7684\u533b\u7597\u7814\u7a76\uff0c\u8be5\u7814\u7a76\u662f\u5c06\u764c\u7ec6\u80de\u6ce8\u5c04\u8fdb\u5c0f\u767d\u9f20\u4f53\u5185\uff0c\u4ee5\u6b64\u67e5\u770b\u4ed6\u4eec\u7684\u6cbb\u7597\u65b9\u6848\u662f\u5426\u6b63\u786e\u3002<\/p>\n
\u5c31\u7b97\u5f80\u540eLibratus\u5448\u73b0\u51fa\u600e\u6837\u7684\u72b6\u51b5\uff0cSandholm\u90fd\u5c06\u4f1a\u6301\u7eed\u5728\u535a\u5f08\u8fd9\u6761\u9053\u8def\u4e4b\u4e0a\u8fc8\u8fdb\uff0c\u3002<\/p>\n
Sandholm\u4e8e\u4eba\u5de5\u667a\u80fd\u4ee5\u53ca\u81ea\u52a8\u8c08\u5224\u65b9\u9762\uff0c\u5c55\u5f00\u7814\u7a76\u7684\u65f6\u957f\u8d85\u8fc7\u4e8628\u5e74\uff0c\u5176\u5728\u8be5\u9886\u57df\u6700\u521d\u6240\u53d6\u5f97\u4e4b\u6210\u679c\uff0c\u5f97\u4ece1989\u5e74\u5de6\u53f3\u5f80\u524d\u8ffd\u6eaf\uff0c\u90a3\u65f6\u4ed6\u6784\u5efa\u4e86\u4e00\u5957\u80fd\u591f\u81ea\u52a8\u4e3a\u5361\u8f66\u53f8\u673a\u8fdb\u884c\u8c08\u5224\u4ee5\u53ca\u5206\u914d\u4efb\u52a1\u7684\u7cfb\u7edf \u3002<\/p>\n
\u6bd4\u8d5b\u770b\u70b9<\/p>\n
\u6700\u540e\uff0c\u518d\u804a\u804a\u5373\u5c06\u5f00\u6218\u7684\u51b7\u6251\u5927\u5e08vs\u9f99\u4e4b\u961f\u3002<\/p>\n
\u65e5\u524d\uff0c\u5728IT\u9886\u8896\u5cf0\u4f1a\u671f\u95f4\uff0c\u674e\u5f00\u590d\u9488\u5bf9\u8fd9\u573a\u6bd4\u8d5b\u8868\u793a\uff0c\u9f99\u4e4b\u961f\u7684\u80dc\u7b97\u662f\u767e\u5206\u4e4b\u5341\u3002\u7136\u800c\uff0cSandholm\u8ba4\u4e3a\u8fd9\u4e2a\u6982\u7387\u4ec5\u662f\u767e\u5206\u4e4b\u4e94 \u3002<\/p>\n
\u5f62\u5bb9Libratus\uff0cSandholm\u73b0\u5728\u7528\u201c\u6218\u65e0\u4e0d\u80dc\u201d\u8fd9\u56db\u4e2a\u5b57\u3002\u5728\u4ed6\u773c\u4e2d\uff0c\u4eba\u7c7b\u6700\u597d\u73a9\u5bb6\u4e4b\u4e0a\u662f\u5fb7\u6251AI\u7684\u6c34\u5e73\u3002<\/p>\n
\u53ef\u662f\uff0c\u7a76\u7adf\u662f\u4e3a\u4f55\uff0c\u6700\u7ec8\u7ed9\u51fa\u7684\u4f9d\u65e7\u7adf\u662f5%\u8fd9\u4e2a\u6570\u5b57\u5462\uff1f\u4ed6\u6240\u9610\u8ff0\u7684\u7406\u7531\u4e3a\uff1a\u6b64\u6b21\u5c55\u5f00\u7684\u5bf9\u6297\uff0c\u4ec5\u4ec5\u8fdb\u884c36000\u624b\u3002<\/p>\n
Sandholm\u79f0\uff0c\u201c\u51e0\u4e4e\u80fd\u591f\u786e\u8ba4\u4eba\u7c7b\u5b58\u5728\u6709\u673a\u4f1a\u83b7\u53d6\u80dc\u5229\u7684\u60c5\u51b5\u3002\u5e76\u4e14\u4f1a\u5b58\u5728\u76f8\u5f53\u7a0b\u5ea6\u7684\u5f97\u4ee5\u53d6\u80dc\u7684\u673a\u4f1a\u3002\u53cc\u65b9\u8fdb\u884c\u535a\u5f08\u7684\u624b\u6570\u6570\u91cf\u8d8a\u591a\uff0c\u5f3a\u5927\u4e00\u65b9\u83b7\u53d6\u80dc\u5229\u7684\u53ef\u80fd\u6027\u5c31\u8d8a\u5927\uff1b\u624b\u6570\u6570\u91cf\u8d8a\u5c11\uff0c\u5f31\u5c0f\u4e00\u65b9\u83b7\u53d6\u80dc\u5229\u7684\u53ef\u80fd\u6027\u5c31\u8d8a\u5927\u201d\u3002\u4e3e\u4f8b\u6765\u8bb2\uff0c\u4ec5\u4ec5\u8fdb\u884c\u4e00\u624b\u724c\u7684\u8f83\u91cf\uff0c\u4e0d\u7ba1\u53cc\u65b9\u5b9e\u529b\u5dee\u8ddd\u6709\u591a\u4e48\u5927\uff0c\u5f31\u5c0f\u7684\u4e00\u65b9\u90fd\u62e5\u6709\u5f97\u5230\u80dc\u5229\u768450%\u7684\u673a\u4f1a\u3002<\/p>\n
Sandholm\u5750\u5728\u7535\u8111\u524d<\/p>\n
\u9664\u4e86\u80dc\u8d1f\uff0c\u8fd9\u573a\u5bf9\u6297\u8fd8\u6709\u4ec0\u4e48\u770b\u70b9\u5462\uff1f<\/p>\n
\u9996\u5148\uff0c\u5fb7\u5dde\u6251\u514b\u5c5e\u4e8e\u4e0d\u5b8c\u7f8e\u4fe1\u606f\u7684\u535a\u5f08\u7c7b\u578b\uff0c\u8fd9\u4e0e\u8df3\u68cb\u3001\u56f4\u68cb\u7b49\u6bd4\u8d5b\u6709\u7740\u5168\u7136\u4e0d\u540c\u7684\u6027\u8d28\u3002\u5b58\u5728\u8bf8\u591a\u4f60\u96be\u4ee5\u60f3\u8c61\u7684\u8981\u7d20\uff0c\u8fd9\u4e9b\u8981\u7d20\u4f1a\u5bf9\u8d5b\u5c40\u7ed3\u679c\u4ea7\u751f\u5f71\u54cd\u3002<\/p>\n
\u5176\u4e8c\uff0c\u5982\u679c\u51b7\u6251\u5927\u5e08\u8981\u8ba9\u5bf9\u624b\u6839\u672c\u6ca1\u6cd5\u731c\u5230\u81ea\u5df1\u624b\u91cc\u62ff\u7740\u5565\u724c\uff0c\u5c31\u5f97\u8fd0\u7528\u8bc8\u552c\u3001\u4e0b\u6ce8\u7b49\u624b\u6bb5\uff0c\u800c\u6574\u4e2a\u535a\u5f08\u6b63\u662f\u8fd9\u4e9b\u73af\u8282\u7684\u7cbe\u5999\u5e73\u8861\u3002<\/p>\n
\u7b2c\u4e09\uff0c\u51b7\u6251\u5927\u5e08\u4f1a\u6709\u8fd9\u822c\u6781\u4e3a\u4e0d\u540c\u4e8e\u5e73\u5e38\u4efb\u4f55\u60c5\u51b5\u7684\u4e0b\u6ce8\uff0c\u662f\u90a3\u79cd\u5728\u5fb7\u5dde\u6251\u514b\u91cc\u5411\u6765\u90fd\u7edd\u5bf9\u4e0d\u4f1a\u51fa\u73b0\u7684\u5927\u989d\u4e0b\u6ce8\u4ee5\u53ca\u5c0f\u989d\u4e0b\u6ce8\uff0c\u8fd8\u4f1a\u8fdb\u884c\u8fdb\u884cdonk betting\uff0c\u4e5f\u5c31\u662f\u53cd\u7740\u5e38\u89c4\u7684\u4e3b\u52a8\u4e0b\u6ce8\u65b9\u5f0f\u554a\u3002\u6700\u540e\u8bf4\u4e00\u8bf4\u8fd9\u4e2a\u5fb7\u6251\u672f\u8bed\u7684\u610f\u601d\uff0c\u90a3\u5c31\u662f\uff0c\u539f\u672c\u5904\u4e8e\u8ddf\u6ce8\u72b6\u6001\u7684\u73a9\u5bb6\uff0c\u5728\u7d27\u63a5\u7740\u4e0b\u4e00\u8f6e\u5c06\u8981\u53d1\u51fa\u65b0\u724c\u7684\u65f6\u5019\uff0c\u4f1a\u62a2\u5148\u4e00\u6b65\u53bb\u8fdb\u884c\u4e0b\u6ce8\u5566\u3002<\/p>\n
Sandholm\u5411\u91cf\u5b50\u4f4d\u8868\u660e\uff0c\u8fd9\u4e2a\u5fb7\u5dde\u6251\u514bAI\u5e76\u975e\u4f1a\u6709\u7740\u7ebf\u6027\u7684\u53d1\u5c55\u6001\u52bf\uff0c\u6709\u53ef\u80fd\u5728\u7d27\u63a5\u7740\u7684\u4e0b\u4e00\u624b\u724c\u51fa\u73b0\u4e4b\u65f6\uff0c\u4f1a\u9661\u7136\u53d8\u6210\u6781\u4e3a\u5192\u8fdb\u7684\u72b6\u6001 \u3002<\/p>\n
\u56e0\u6b64\uff0c\u5c31\u62ed\u76ee\u4ee5\u5f85\u597d\u4e86\u3002\u5c31\u50cf\u5f00\u5934\u90a3\u6bb5\u89c6\u9891\u8bb2\u7684\u90a3\u6837\uff1a\u201c\u51b7\u6251\u5927\u5e08\uff0c\u51fa\u73b0\u4e86\u201d\u3002\u8fd9\u8fb9\u662f\u4e00\u53e5\u5b8c\u6574\u7684\u8868\u8ff0\uff0c\u8fd9\u8fb9\u662f\u53e6\u4e00\u53e5\u5b8c\u6574\u7684\u8868\u8ff0 \u3002<\/p>\n","protected":false},"excerpt":{"rendered":"
\u6587\u7ae0\u6765\u6e90\uff1a\u5fae\u4fe1\u516c\u4f17\u53f7\u91cf\u5b50\u4f4d \u3000\u3000\u653e\u4e0b\u60f3\u8d62\u7684\u6267\u5ff5\u540e\uff0cAI\u8d4c\u795e\u518d\u6ca1\u8f93\u7ed9\u4eba\u7c7b\u3002 \u3000\u3000\u8fd9\u4e2aAI\u8d4c\u795e\u62c9\u4e01\u540dLibratus\uff0c\u4e2d\u6587\u540d\u51b7\u6251\u5927\u5e08\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":[],"class_list":["post-5888","post","type-post","status-publish","format-standard","hentry","category-pkxw"],"_links":{"self":[{"href":"https:\/\/qqovblr.com\/index.php\/wp-json\/wp\/v2\/posts\/5888","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=5888"}],"version-history":[{"count":0,"href":"https:\/\/qqovblr.com\/index.php\/wp-json\/wp\/v2\/posts\/5888\/revisions"}],"wp:attachment":[{"href":"https:\/\/qqovblr.com\/index.php\/wp-json\/wp\/v2\/media?parent=5888"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/qqovblr.com\/index.php\/wp-json\/wp\/v2\/categories?post=5888"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/qqovblr.com\/index.php\/wp-json\/wp\/v2\/tags?post=5888"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}