{"id":47532,"date":"2024-01-10T18:59:49","date_gmt":"2024-01-10T10:59:49","guid":{"rendered":"https:\/\/swarma.org\/?p=47532"},"modified":"2024-01-10T18:59:49","modified_gmt":"2024-01-10T10:59:49","slug":"%e6%9c%ba%e5%99%a8%e5%ad%a6%e4%b9%a0%e4%b8%8e%e8%8c%83%e7%95%b4%e8%ae%ba%ef%bc%9a%e6%9c%80%e6%96%b0%e8%ae%ba%e6%96%87%e7%a0%94%e8%ae%a8%ef%bd%9c%e5%91%a8%e4%ba%94%e7%9b%b4%e6%92%ad%c2%b7%e4%ba%ba","status":"publish","type":"post","link":"https:\/\/swarma.org\/?p=47532","title":{"rendered":"\u673a\u5668\u5b66\u4e60\u4e0e\u8303\u7574\u8bba\uff1a\u6700\u65b0\u8bba\u6587\u7814\u8ba8\uff5c\u5468\u4e94\u76f4\u64ad\u00b7\u4eba\u5de5\u667a\u80fd\u4e0e\u6570\u5b66\u8bfb\u4e66\u4f1a"},"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\u201d\u8bfb\u4e66\u4f1a<\/a>\uff0c\u5e0c\u671b\u4ece AI for Math\uff0cMath for AI \u4e24\u4e2a\u65b9\u9762\u6df1\u5165\u63a2\u8ba8\u4eba\u5de5\u667a\u80fd\u4e0e\u6570\u5b66\u7684\u5bc6\u5207\u8054\u7cfb\u3002\u672c\u8bfb\u4e66\u4f1a\u662f\u201cAI+Science\u201d\u4e3b\u9898\u8bfb\u4e66\u4f1a\u7684\u7b2c\u4e09\u5b63\u3002\u8bfb\u4e66\u4f1a\u81ea9\u670815\u65e5\u5f00\u59cb\uff0c\u6bcf\u5468\u4e94\u665a20:00-22:00\uff0c\u9884\u8ba1\u6301\u7eed\u65f6\u95f48\uff5e10\u5468\u3002\u6b22\u8fce\u611f\u5174\u8da3\u7684\u670b\u53cb\u62a5\u540d\u53c2\u4e0e\uff01<\/span><\/strong><\/section>\n<\/section>\n
\n
<\/strong><\/section>\n
<\/mp-common-videosnap><\/section>\n
<\/strong><\/section>\n<\/section>\n
\n
<\/strong><\/section>\n<\/section>\n
\n
<\/strong><\/section>\n<\/section>\n
\n
<\/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

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

<\/section>\n

\n
\n
\n
\n
\n

<\/section>\n

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

\u5206\u4eab\u5185\u5bb9\u7b80\u4ecb<\/strong><\/strong><\/p>\n<\/section>\n

\n

<\/section>\n

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


<\/p>\n

<\/h3>\n

\u8fd1\u5e74\u6d89\u53ca\u8303\u7574\u7406\u8bba\u7684\u673a\u5668\u5b66\u4e60\u76f8\u5173\u7814\u7a76\u8d8a\u6765\u8d8a\u5927\u91cf\u4e14\u6df1\u5165\u3002\u800c\u4f5c\u4e3a\u6570\u5b66\u4e2d\u6700\u4e3a\u62bd\u8c61\u7684\u4e00\u95e8\u5b66\u79d1\uff0c\u60f3\u8981\u6df1\u5165\u7406\u89e3\u5e76\u5e94\u7528\u8303\u7574\u8bba\u975e\u5e38\u56f0\u96be\u3002\u5bf9\u4e8e\u5e7f\u5927\u7684\u8ba1\u7b97\u673a\u79d1\u5b66\u5bb6\uff0c\u76f8\u6bd4\u4e8e\u6df1\u5165\u4e25\u8083\u79d1\u5b66\u4e2d\u7684\u6982\u5ff5\uff0c\u4e86\u89e3\u8303\u7574\u8bba\u5e76\u80fd\u5efa\u7acb\u8d77\u5176\u5728\u673a\u5668\u5b66\u4e60\u4e2d\u7684\u201c\u5370\u8c61\u201d\u66f4\u52a0\u91cd\u8981\u4e14\u5b9e\u9645\u3002\u672c\u6b21\u5206\u4eab\u4ecb\u7ecd\u4e24\u7bc7\u5173\u4e8e\u5728\u673a\u5668\u5b66\u4e60\u76f8\u5173\u7814\u7a76\u4e2d\u5f15\u5165\u8303\u7574\u8bba\u601d\u60f3\u7684\u8bba\u6587\u3002\u5176\u4e00\u4ece\u5e7f\u6cdb\u7684\u6570\u5b66\u89d2\u5ea6\u8003\u8651\u53ef\u80fd\u5c06\u8303\u7574\u8bba\u5e94\u7528\u4e8e\u673a\u5668\u5b66\u4e60\u7684\u54ea\u4e9b\u65b9\u9762\uff0c\u5176\u4e8c\u5bfc\u5165\u4e86\u53cd\u5411\u4f20\u64ad\u7b97\u6cd5\u7684\u80cc\u666f\u8303\u7574\uff0c\u5e76\u5728\u6b64\u8303\u7574\u4e2d\u8ba8\u8bba\u7b97\u6cd5\u7684\u601d\u60f3\u5728\u8be5\u8303\u7574\u4e2d\u7684\u5bf9\u5e94\u3002<\/span>
<\/p>\n


<\/section>\n

<\/section>\n

\n
\n
\n
\n
\n

<\/section>\n

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

\u5206\u4eab\u7b80\u4ecb<\/strong><\/span><\/strong><\/strong><\/p>\n<\/section>\n

\n

<\/section>\n

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


<\/p>\n

\u8bba\u6587\u89e3\u8bfb\uff1a<\/span><\/section>\n
Shiebler, Dan, Bruno Gavranovi\u0107, and Paul Wilson. “Category theory in machine learning.” <\/span>arXiv preprint arXiv:2106.07032<\/em> (2021).<\/span><\/section>\n
Laurent Lafforgue. “Some possible roles for Al of Grothendieck topos theory.”<\/span>https:\/\/laurentlafforgue.org\/Expose_Lafforgue_topos_AI_ETH_sept_2022.pdf (2022)<\/span><\/section>\n


<\/h3>\n


<\/p>\n

\n
\n
\n
\n
\n

<\/section>\n

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

\u5206\u4eab\u5185\u5bb9\u5927\u7eb2<\/strong><\/span><\/strong><\/strong><\/p>\n<\/section>\n

\n

<\/section>\n

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


<\/p>\n