{"id":45717,"date":"2023-10-11T19:39:06","date_gmt":"2023-10-11T11:39:06","guid":{"rendered":"https:\/\/swarma.org\/?p=45717"},"modified":"2023-10-11T19:39:06","modified_gmt":"2023-10-11T11:39:06","slug":"%e4%ba%ba%e5%b7%a5%e6%99%ba%e8%83%bd%e4%b8%8e%e6%95%b0%e5%ad%a6%e5%89%8d%e6%b2%bf%e7%bb%bc%e8%bf%b0%ef%bc%9a%e5%a6%82%e4%bd%95%e5%80%9f%e5%8a%a9-ai-%e5%8f%91%e7%8e%b0%e6%95%b0%e5%ad%a6%e8%a7%84","status":"publish","type":"post","link":"https:\/\/swarma.org\/?p=45717","title":{"rendered":"\u4eba\u5de5\u667a\u80fd\u4e0e\u6570\u5b66\u524d\u6cbf\u7efc\u8ff0\uff1a\u5982\u4f55\u501f\u52a9 AI \u53d1\u73b0\u6570\u5b66\u89c4\u5f8b\uff1f"},"content":{"rendered":"
\n
\n
\n
\n

<\/p>\n<\/section>\n

\n
\n
\n
\n
\n
\n

<\/section>\n<\/section>\n
\n
\n

\u5bfc\u8bed<\/strong><\/p>\n<\/section>\n<\/section>\n

\n

<\/section>\n<\/section>\n<\/section>\n<\/section>\n<\/section>\n
\n
\n
\u4e3a\u4e86\u63a2\u7d22\u6570\u5b66\u4e0e\u4eba\u5de5\u667a\u80fd\u6df1\u5ea6\u878d\u5408\u7684\u53ef\u80fd\u6027\uff0c\u96c6\u667a\u4ff1\u4e50\u90e8\u8054\u5408\u540c\u6d4e\u5927\u5b66\u7279\u8058\u7814\u7a76\u5458\u9648\u5c0f\u6768\u3001\u6e05\u534e\u5927\u5b66\u4ea4\u53c9\u4fe1\u606f\u5b66\u9662\u52a9\u7406\u6559\u6388\u8881\u6d0b\u3001\u5357\u6d0b\u7406\u5de5\u5927\u5b66\u526f\u6559\u6388\u590f\u514b\u6797\u4e09\u4f4d\u8001\u5e08\uff0c\u5171\u540c\u53d1\u8d77\u201c\u4eba\u5de5\u667a\u80fd\u4e0e\u6570\u5b66<\/a>\u201d\u8bfb\u4e66\u4f1a\uff0c\u5e0c\u671b\u4ece AI\u3000for\u3000Math\uff0cMath\u3000for\u3000AI \u4e24\u4e2a\u65b9\u9762\u6df1\u5165\u63a2\u8ba8\u4eba\u5de5\u667a\u80fd\u4e0e\u6570\u5b66\u7684\u5bc6\u5207\u8054\u7cfb\u3002<\/span><\/strong><\/section>\n

<\/span><\/strong><\/section>\n
\u5728\u4eba\u5de5\u667a\u80fd\u4e0e\u6570\u5b66\u8bfb\u4e66\u4f1a\u7b2c\u4e00\u671f<\/a>\uff0c\u9648\u5c0f\u6768\u8001\u5e08\u63a2\u8ba8\u4e86\u7b26\u53f7\u56de\u5f52\u3001\u5f3a\u5316\u5b66\u4e60\u6784\u9020\u53cd\u4f8b\u3001AI\u8f85\u52a9\u53d1\u73b0\u6570\u5b66\u89c4\u5f8b\uff0c\u4ee5\u53ca\u5927\u8bed\u8a00\u6a21\u578b\u5728\u6570\u5b66\u7814\u7a76\u4e2d\u7684\u5e94\u7528\uff0c\u5e76\u5206\u4eab\u4e86\u4e00\u4e9b\u6700\u65b0\u7814\u7a76\u6210\u679c\u3002\u5728\u4ee5 ChatGPT \u4e3a\u4ee3\u8868\u7684\u5927\u8bed\u8a00\u6a21\u578b\u96c6\u4e2d\u7206\u53d1\u7684\u5f53\u4e0b\uff0c\u5982\u4f55\u5229\u7528\u8bed\u8a00\u5927\u6a21\u578b\uff0c\u6784\u5efa\u4e00\u4e2a\u4eba\u673a\u4ea4\u4e92\u7684\u6570\u5b66\u7814\u7a76\u5e73\u53f0\uff1f\u9648\u8001\u5e08\u4ecb\u7ecd\u4e86\u6700\u65b0\u53d1\u5e03\u7684 DeepMath \u6570\u5b66\u5927\u6a21\u578b\u3002\u672c\u6587\u662f\u6b64\u6b21\u8bfb\u4e66\u4f1a\u7684\u6587\u5b57\u6574\u7406\u3002<\/span><\/strong><\/section>\n

<\/span><\/strong><\/section>\n
\u8bfb\u4e66\u4f1a\u56de\u653e\u89c6\u9891\u5df2\u4e0a\u7ebf\uff0c\u6b22\u8fce\u611f\u5174\u8da3\u7684\u670b\u53cb\u62a5\u540d\u8bfb\u4e66\u4f1a\uff0c\u89c2\u770b\u56de\u653e\u89c6\u9891<\/span><\/section>\n
<\/span><\/strong><\/section>\n
https:\/\/pattern.swarma.org\/study_group_issue\/518<\/span><\/section>\n

<\/section>\n
\u7814\u7a76\u9886\u57df\uff1aAI for Math\uff0c\u7b26\u53f7\u56de\u5f52\uff0c\u5f3a\u5316\u5b66\u4e60\uff0c\u5927\u8bed\u8a00\u6a21\u578b<\/strong><\/strong><\/span><\/strong><\/span><\/strong><\/span><\/strong><\/strong><\/span><\/strong><\/span><\/strong><\/span><\/strong><\/strong><\/span><\/strong><\/span><\/strong><\/span><\/strong><\/section>\n<\/section>\n
\n
<\/span><\/strong><\/section>\n<\/section>\n
\n
<\/span><\/strong><\/strong><\/strong><\/span><\/strong><\/strong><\/strong><\/span><\/strong><\/span><\/strong><\/span><\/strong><\/span><\/strong><\/span><\/strong><\/span><\/strong><\/span><\/strong><\/strong><\/strong><\/section>\n<\/section>\n<\/section>\n<\/section>\n<\/section>\n
\n
\n
\n
<\/svg><\/section>\n<\/section>\n<\/section>\n<\/section>\n<\/section>\n<\/section>\n
\n
<\/section>\n<\/section>\n
\n
<\/span><\/strong><\/section>\n
\u9648\u5c0f\u6768 <\/span>| \u5206\u4eab<\/span><\/strong><\/span><\/strong><\/section>\n
\u9ec4\u96e8 <\/span>| \u6574\u7406<\/span><\/strong><\/span><\/strong><\/span><\/strong><\/span><\/strong><\/section>\n
\u6881\u91d1<\/span><\/span> <\/span>| <\/span><\/strong><\/span><\/strong><\/span><\/strong><\/span><\/strong><\/span><\/strong><\/span><\/strong><\/span><\/strong><\/span><\/strong>\u7f16\u8f91<\/span><\/strong><\/span><\/strong><\/section>\n<\/section>\n

<\/section>\n
\n
\n
\n

\u76ee\u5f55<\/strong><\/p>\n<\/section>\n<\/section>\n<\/section>\n

\n

1. \u4eba\u5de5\u667a\u80fd\u548c\u795e\u7ecf\u7f51\u7edc\u7684\u80cc\u666f\u77e5\u8bc6<\/span><\/strong><\/strong><\/span><\/p>\n

2. \u8ba1\u7b97\u673a\u8f85\u52a9\u6570\u5b66\u7814\u7a76<\/span><\/strong><\/span><\/section>\n
    <\/span><\/strong>2.1 \u7b26\u53f7\u56de\u5f52\u5bfb\u627e\u6570\u5b66\u8868\u8fbe\u5f0f<\/span><\/span><\/section>\n
    2.2 \u5f3a\u5316\u5b66\u4e60\u6784\u9020\u731c\u60f3\u53cd\u4f8b<\/span><\/section>\n
    2.3 AI \u8f85\u52a9\u53d1\u73b0\u6570\u5b66\u89c4\u5f8b<\/span><\/strong><\/span><\/section>\n
3. \u5927\u8bed\u8a00\u6a21\u578b\u5728\u6570\u5b66\u7814\u7a76\u4e2d\u7684\u5e94\u7528<\/span><\/strong><\/span><\/section>\n
4. \u4eba\u673a\u4ea4\u4e92\u7684\u6570\u5b66\u7814\u7a76\u5e73\u53f0<\/span><\/strong><\/span><\/section>\n
5. \u5c55\u671b\uff1a\u5982\u4f55\u501f\u52a9 AI \u53d1\u73b0\u65b0\u7684\u6570\u5b66\u6982\u5ff5\uff1f<\/span><\/strong><\/span><\/section>\n<\/section>\n
\n
\n
\n
\n
\n
\n
\n
\n
\n
\n

<\/section>\n

<\/section>\n

\n
\n
\n
\n
\n

<\/section>\n

<\/section>\n
\n
<\/svg><\/section>\n<\/section>\n<\/section>\n
\n

1. \u4eba\u5de5\u667a\u80fd\u548c\u795e\u7ecf\u7f51\u7edc\u7684\u80cc\u666f\u77e5\u8bc6<\/strong><\/strong><\/strong><\/p>\n<\/section>\n

\n

<\/section>\n

<\/section>\n<\/section>\n<\/section>\n<\/section>\n<\/section>\n<\/h3>\n
 <\/span><\/section>\n
\u56de\u987e\u4eba\u5de5\u667a\u80fd\u548c\u795e\u7ecf\u7f51\u7edc\u7684\u53d1\u5c55\u5386\u53f2\uff0c\u4eba\u5de5\u667a\u80fd<\/span>\uff08Artificial Intelligence\uff09<\/span>\u662f\u6307\u8ba9\u673a\u5668\u5177\u6709\u4eba\u7c7b\u7684\u667a\u80fd\uff0c\u5176\u8bde\u751f\u7684\u6807\u5fd7\u6027\u4e8b\u4ef6\u662f1956 \u5e74\u7684\u8fbe\u7279\u8305\u65af<\/span>\uff08Dartmouth\uff09<\/span>\u4f1a\u8bae\uff0c\u5728\u8fd9\u6b21\u4f1a\u8bae \u4e0a\uff0c\u201c\u4eba\u5de5\u667a\u80fd\u201d\u88ab\u63d0\u51fa\u5e76\u4f5c\u4e3a\u672c\u7814\u7a76\u9886\u57df\u7684\u540d\u79f0\u3002<\/span><\/section>\n

<\/span><\/section>\n
<\/section>\n
\u56fe<\/strong>\uff1a\u4eba\u5de5\u667a\u80fd\u7684\u53d1\u5c55\u5386\u53f2\u4e0e\u6807\u5fd7\u6027\u4e8b\u4ef6<\/span><\/section>\n

<\/span><\/section>\n
\u795e\u7ecf\u7f51\u7edc\u5728\u6570\u5b66\u4e0a\u53ef\u4ee5\u88ab\u89e3\u8bfb\u4e3a\u4e00\u79cd\u7279\u6b8a\u7684\u51fd\u6570\u3002\u8fd9\u79cd\u51fd\u6570\u901a\u8fc7\u81ea\u53d8\u91cfx\u7684\u7ebf\u6027\u7ec4\u5408\uff0c\u7136\u540e\u901a\u8fc7\u6fc0\u6d3b\u51fd\u6570\u03c6\u8fdb\u884c\u5904\u7406\uff0c\u518d\u8fdb\u884c\u7ebf\u6027\u7ec4\u5408\u540e\u5f97\u5230\u8f93\u51fa\u3002\u03c6\u51fd\u6570\u53ef\u4ee5\u6709\u591a\u5c42\uff0c\u6784\u6210\u590d\u5408\u51fd\u6570\u3002<\/span><\/section>\n

<\/span><\/section>\n
<\/section>\n
\u56fe\uff1a\u4eba\u5de5\u795e\u7ecf\u7f51\u7edc\uff08Artificial Neural Network\uff09<\/span><\/section>\n

<\/section>\n
\u901a\u7528\u8fd1\u4f3c\u5b9a\u7406<\/span><\/strong><\/span><\/section>\n

<\/span><\/section>\n
\u5728\u6570\u5b66\u91cc\uff0c\u5bf9\u4e8e\u4efb\u4f55\u4e00\u4e2a\u8fde\u7eed\u51fd\u6570\uff0c\u603b\u662f\u53ef\u4ee5\u627e\u5230\u4e00\u4e2a\u591a\u9879\u5f0f\u51fd\u6570\u6216\u8005\u4e09\u89d2\u57fa\u6570\u53bb\u903c\u8fd1\u5b83\u3002<\/span><\/section>\n

<\/span><\/section>\n
<\/section>\n

<\/section>\n
\u7136\u800c\uff0c\u795e\u7ecf\u7f51\u7edc\u8fd9\u4e00\u7c7b\u7279\u6b8a\u7684\u51fd\u6570\u5728\u57fa\u7840\u6570\u5b66\u91cc\u5e76\u6ca1\u6709\u88ab\u5e7f\u6cdb\u5e94\u7528\u3002\u5c3d\u7ba1\u5982\u6b64\uff0c\u8ba1\u7b97\u6570\u5b66\u9886\u57df\u5df2\u7ecf\u4f7f\u7528\u795e\u7ecf\u7f51\u7edc\u6765\u89e3\u51b3\u4e00\u4e9b\u4f20\u7edf\u6570\u5b66\u65b9\u6cd5\u96be\u4ee5\u89e3\u51b3\u7684\u95ee\u9898\u3002\u4f8b\u5982\uff0c\u4f7f\u7528\u795e\u7ecf\u7f51\u7edc\u53bb\u89e3\u51b3\u4e00\u4e9b\u591a\u5c3a\u5ea6\u5efa\u6a21\u7684\u95ee\u9898\u3002<\/span><\/section>\n

<\/span><\/section>\n

\n
\n
\n
\n
\n

<\/section>\n

<\/section>\n
\n
<\/svg><\/section>\n<\/section>\n<\/section>\n
\n

2. \u8ba1\u7b97\u673a\u8f85\u52a9\u6570\u5b66\u7814\u7a76 <\/strong><\/strong><\/strong><\/p>\n<\/section>\n

\n

<\/section>\n

<\/section>\n<\/section>\n<\/section>\n<\/section>\n<\/section>\n<\/h3>\n
 <\/span><\/section>\n

\u81ea\u4eba\u5de5\u667a\u80fd\u8bde\u751f\u4ee5\u6765\uff0c\u63a2\u7d22 AI \u5728\u6570\u5b66\u7814\u7a76\u4e2d\u7684\u5e94\u7528\u4e00\u76f4\u662f\u4e00\u4e2a\u91cd\u8981\u7684\u7814\u7a76\u65b9\u5411\uff0c\u5e76\u53d6\u5f97\u4e86\u8bb8\u591a\u91cd\u8981\u6210\u679c\u3002\u5728\u7b26\u53f7\u4e3b\u4e49\u7684\u5f71\u54cd\u4e0b\uff0cA. Newell \u548c H. Simon \u7814\u53d1\u7684\u201c\u903b\u8f91\u7406\u8bba\u5bb6\u201c\u8bc1\u660e\u4e86\u300a\u6570\u5b66\u539f\u7406\u300b\u4e2d\u591a\u6761\u5b9a\u7406\uff0c\u8fd9\u662f\u7b26\u53f7\u4e3b\u4e49\u7684\u6210\u529f\u5b9e\u8df5\u4e4b\u4e00\u3002\u800c\u7b26\u53f7\u4e3b\u4e49\u7684\u53e6\u4e00\u91cd\u5927\u6210\u679c\uff0c\u5219\u662f\u5434\u6587\u4fca\u5148\u751f\u5f00\u521b\u7684\u51e0\u4f55\u5b9a\u7406\u673a\u5668\u8bc1\u660e\u3002\u5434\u5148\u751f\u5229\u7528\u4ee3\u6570\u51e0\u4f55\uff0c\u6210\u529f\u7684\u5c06\u5e73\u9762\u51e0\u4f55\u8868\u8ff0\u6210\u4e00\u5957\u7cbe\u786e\u7684\u5f62\u5f0f\u8bed\u53e5\uff0c\u4ece\u800c\u53ef\u4ee5\u501f\u52a9\u8ba1\u7b97\u673a\u8fdb\u884c\u63a8\u7406\uff0c\u5b9e\u73b0\u5e73\u9762\u51e0\u4f55\u5b9a\u7406\u7684\u673a\u5668\u8bc1\u660e\u3002<\/span><\/p>\n


<\/p>\n

\u8ba1\u7b97\u673a\u8f85\u52a9\u6570\u5b66\u7814\u7a76\u5df2\u7ecf\u53d6\u5f97\u4e86\u4e00\u4e9b\u4ee4\u4eba\u77a9\u76ee\u7684\u6210\u5c31\u3002\u4f8b\u5982\uff0c\u56fe\u8bba\u91cc\u7ecf\u5178\u7684\u56db\u8272\u5b9a\u7406<\/span>\uff08\u4efb\u4f55\u5e73\u9762\u4e0a\u7684\u5730\u56fe\u53ea\u9700\u8981\u4f7f\u7528\u6700\u591a\u56db\u79cd\u989c\u8272\u6765\u8fdb\u884c\u7740\u8272\uff0c\u4ee5\u786e\u4fdd\u76f8\u90bb\u7684\u5730\u533a\u989c\u8272\u4e0d\u540c\uff09<\/span>\u66fe\u88ab\u8ba1\u7b97\u673a\u7528\u7a77\u4e3e\u6cd5\u8bc1\u660e\u3002\u6700\u8fd15\u5e74\u5185\uff0c\u7528\u795e\u7ecf\u7f51\u7edc\u8f85\u52a9\u6570\u5b66\u7814\u7a76\u6bd4\u8f83\u91cd\u8981\u7684\u5de5\u4f5c\u5305\u62ec\uff1a<\/span><\/p>\n