{"id":57591,"date":"2025-03-11T21:24:36","date_gmt":"2025-03-11T13:24:36","guid":{"rendered":"https:\/\/swarma.org\/?p=57591"},"modified":"2025-03-11T21:24:36","modified_gmt":"2025-03-11T13:24:36","slug":"ai%e5%bd%a2%e5%bc%8f%e5%8c%96%e6%95%b0%e5%ad%a6%ef%bc%9a%e6%98%af%e4%bb%80%e4%b9%88%e3%80%81%e4%b8%ba%e4%bb%80%e4%b9%88%e4%bb%a5%e5%8f%8a%e6%80%8e%e4%b9%88%e5%81%9a-%e5%91%a8%e4%b8%89%e5%8a%a0","status":"publish","type":"post","link":"https:\/\/swarma.org\/?p=57591","title":{"rendered":"AI+\u5f62\u5f0f\u5316\u6570\u5b66\uff1a\u662f\u4ec0\u4e48\u3001\u4e3a\u4ec0\u4e48\u4ee5\u53ca\u600e\u4e48\u505a | \u5468\u4e09\u52a0\u9910\u00b7AI for Math\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
\u57282023\u5e74\uff0c\u7531\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\u5171\u540c\u53d1\u8d77\u201c<\/span><\/strong>\u4eba\u5de5\u667a\u80fd\u4e0e\u6570\u5b66<\/span><\/strong><\/a>\u201d\u8bfb\u4e66\u4f1a\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\u6211\u4eec\u4e5f\u5728\u6301\u7eed\u5173\u6ce8\u8fd9\u4e2a\u9886\u57df\u7684\u53d1\u5c55\u3002<\/span><\/strong><\/section>\n

<\/span><\/strong><\/section>\n
\u5f62\u5f0f\u5316\u6570\u5b66\u63a8\u7406\u4ee3\u8868\u4e86AI for Math\u7684\u65b0\u524d\u6cbf\uff0c\u5b83\u7ed3\u5408\u4e86\u6570\u5b66\u7684\u4e25\u8c28\u6027\u4e0eAI\u7684\u521b\u9020\u529b\u3002\u8fd9\u79cd\u7ed3\u5408\u6709\u5e0c\u671b\u5f00\u53d1\u51fa\u80fd\u591f\u53ef\u9760\u5730\u8fdb\u884c\u590d\u6742\u6570\u5b66\u63a8\u7406\u7684AI\u7cfb\u7edf\uff0c\u8fd9\u4e0d\u4ec5\u4f1a\u63a8\u52a8\u6570\u5b66\u672c\u8eab\u7684\u53d1\u5c55\uff0c\u8fd8\u4f1a\u4e3a\u79d1\u5b66\u3001\u5de5\u7a0b\u548c\u6280\u672f\u9886\u57df\u5e26\u6765\u53d8\u9769\u6027\u5f71\u54cd\u3002\u6211\u4eec\u7279\u522b\u9080\u8bf7\u5230\u5317\u4eac\u56fd\u9645\u6570\u5b66\u7814\u7a76\u4e2d\u5fc3\u5f90\u5929\u4e00\u7814\u7a76\u5458\u5728\u672c\u5468\u4e09\uff083\u670812\u65e5\uff09\u665a\u5728\u8bfb\u4e66\u4f1a\u4e0a\u505a\u52a0\u9910\u5206\u4eab\uff0c\u5173\u4e8eAI+\u5f62\u5f0f\u5316\u6570\u5b66\u7684\u8bdd\u9898\uff0c\u662f\u4ec0\u4e48\u3001\u4e3a\u4ec0\u4e48\u4ee5\u53ca\u600e\u4e48\u505a\u3002<\/span><\/strong><\/section>\n
<\/section>\n
<\/strong><\/section>\n<\/section>\n
\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
<\/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

AI for formalized math: What, why, and how?<\/strong><\/span><\/h2>\n


<\/strong><\/span><\/p>\n

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

\u5206\u4eab\u6d41\u7a0b<\/strong><\/strong><\/p>\n<\/section>\n

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

 <\/span><\/p>\n

19:00-20:30 \u4e3b\u9898\u5206\u4eab\uff0c\u4e3b\u8bb2\u4eba\uff1a\u5f90\u5929\u4e00<\/span><\/section>\n
20:30-21:00 \u5706\u684c\u8ba8\u8bba\uff0c\u5609\u5bbe\uff1a\u9648\u5c0f\u6768<\/span><\/section>\n

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


<\/span><\/p>\n

\n
\n
\n
\n
\n
<\/section>\n
<\/section>\n
\n
<\/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

\u5f62\u5f0f\u5316\u6570\u5b66\uff0c\u5c06\u6570\u5b66\u8bc1\u660e\u8f6c\u5316\u4e3a\u8ba1\u7b97\u673a\u53ef\u9a8c\u8bc1\u7684\u8bed\u8a00\uff0c\u957f\u671f\u4ee5\u6765\u4e00\u76f4\u662f\u5c11\u6570\u4e13\u5bb6\u7684\u9886\u57df\u3002\u5b83\u8981\u6c42\u5c06\u6bcf\u4e00\u6b65\u63a8\u7406\u90fd\u7cbe\u786e\u5230\u673a\u5668\u53ef\u9a8c\u8bc1\u7684\u7a0b\u5ea6\uff0c\u6ca1\u6709\u8df3\u8dc3\uff0c\u6ca1\u6709\u201c\u663e\u7136\u201d\uff0c\u53ea\u6709\u4e25\u683c\u7684\u903b\u8f91\u94fe\u6761\u3002\u8fd9\u79cd\u4e25\u8c28\u6027\u4f7f\u5f97\u5f62\u5f0f\u5316\u8bc1\u660e\u5728\u4f20\u7edf\u4e0a\u9700\u8981\u8017\u8d39\u5927\u91cf\u65f6\u95f4\u548c\u4e13\u4e1a\u77e5\u8bc6\uff0c\u9650\u5236\u4e86\u5176\u5e7f\u6cdb\u5e94\u7528\u3002<\/span><\/section>\n

<\/span><\/section>\n
<\/section>\n
Lean\u8bed\u8a00\u7684\u5f62\u5f0f\u5316\u8868\u8ff0<\/span><\/section>\n

<\/span><\/section>\n
\u968f\u7740\u751f\u6210\u5f0fAI\u7684\u5d1b\u8d77\uff0c\u8fd9\u4e2a\u9886\u57df\u4e5f\u8fce\u6765\u4e86\u65b0\u7684\u53d1\u5c55\u673a\u9047\u3002\u5927\u8bed\u8a00\u6a21\u578b\u6709\u5f88\u5f3a\u7684\u63a8\u7406\u80fd\u529b\uff0c\u4f46\u662f\u5728\u51c6\u786e\u6027\u548c\u53ef\u9760\u6027\u65b9\u9762\u9762\u4e34\u6311\u6218\uff0c\u5f62\u5f0f\u5316\u6570\u5b66\u521a\u597d\u53ef\u4ee5\u5f25\u8865\u8fd9\u4e00\u77ed\u677f\uff0c\u4e3aAI\u5728\u6570\u5b66\u63a8\u7406\u4e0a\u63d0\u4f9b\u4e25\u683c\u7684\u9a8c\u8bc1\u6846\u67b6\u3002\u53cd\u8fc7\u6765\uff0cAI\u4e5f\u6709\u6f5c\u529b\u6765\u5e2e\u52a9\u81ea\u52a8\u5f62\u5f0f\u5316\uff0c\u5b8c\u6210\u4ece\u81ea\u7136\u8bed\u8a00\u5230\u5f62\u5f0f\u5316\u8bed\u8a00\u7684\u8f6c\u6362\uff0c\u964d\u4f4e\u9886\u57df\u95e8\u69db\uff0c\u52a0\u901f\u8bc1\u660e\u8fc7\u7a0b\u3002<\/span><\/section>\n

<\/span><\/section>\n
\u5728\u672c\u6b21\u5206\u4eab\u4e2d\uff0c\u5c06\u4ecb\u7ecd\u5f62\u5f0f\u5316\u6570\u5b66\u7684\u53d1\u5c55\u73b0\u72b6\uff0c\u4ee5\u53ca\u548c\u751f\u6210\u5f0fAI\u4ea4\u53c9\u7684\u524d\u6cbf\u8fdb\u5c55\u3002<\/span><\/section>\n


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

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

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

\u5206\u4eab\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

    \n
  1. \n

    \u5f62\u5f0f\u5316\u6570\u5b66\u7b80\u4ecb<\/p>\n<\/li>\n

  2. \n

    \u5f62\u5f0f\u5316\u6570\u5b66\u4e0e\u751f\u6210\u5f0f AI\uff1a\u4e92\u8865\u77ed\u957f<\/p>\n<\/li>\n

  3. \n
    \u76ee\u524d\u7684\u8fdb\u5c55<\/section>\n<\/li>\n<\/ol>\n
    <\/section>\n

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

    \u4e3b\u8bb2\u5609\u5bbe\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

    <\/section>\n
    \u5f90\u5929\u4e00<\/strong>\uff0c\u5317\u4eac\u56fd\u9645\u6570\u5b66\u7814\u7a76\u4e2d\u5fc3\u7814\u7a76\u5458\u3002\u7814\u7a76\u65b9\u5411\u4e3a\u81ea\u52a8\u5316\u5b9a\u7406\u8bc1\u660e\u53ca Lean \u8bed\u8a00\u5143\u7f16\u7a0b\u3002\u5f00\u53d1\u4e86\u591a\u79cd\u7528\u4e8e\u64cd\u4f5c Lean \u8bed\u8a00\u4ee3\u7801\u7684\u5de5\u5177\uff0c\u6db5\u76d6\u6570\u636e\u63d0\u53d6\u3001\u4f9d\u8d56\u5173\u7cfb\u5206\u6790\u548c\u52a8\u6001\u4ea4\u4e92\u7b49\u529f\u80fd\u3002\u540c\u65f6\u8d1f\u8d23 LeanSearch \u7684\u7ef4\u62a4\u3002<\/span><\/section>\n


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

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

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

    \u5706\u684c\u5609\u5bbe\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

    <\/section>\n
    \u9648\u5c0f\u6768<\/strong>\uff0c\u540c\u6d4e\u5927\u5b66\u7279\u8058\u7814\u7a76\u5458\u30022014\u5e745\u6708\u83b7\u5f97\u7f8e\u56fd\u5723\u6bcd\u5927\u5b66\u6570\u5b66\u535a\u58eb\u5b66\u4f4d\uff0c2014-2016\u5e74\u5728\u6fb3\u95e8\u5927\u5b66\u4ece\u4e8b\u535a\u58eb\u540e\u7814\u7a76\uff0c\u5e76\u4e8e2016\u5e74\u5e95\u5165\u804c\u540c\u6d4e\u5927\u5b66\u3002\u9648\u5c0f\u6768\u7684\u4e3b\u8981\u7814\u7a76\u65b9\u5411\u4e3a\u9ece\u66fc\u51e0\u4f55\uff0c\u5728 Geometry and Topology, Advances in Mathematics\u7b49\u671f\u520a\u53d1\u8868\u4e86\u591a\u7bc7\u7814\u7a76\u8bba\u6587\u3002\u8fd1\u671f\uff0c\u9648\u5c0f\u6768\u4e0e\u7814\u7a76\u56e2\u961f\u5f00\u5c55\u4e86\u5927\u6a21\u578b\u5728\u57fa\u7840\u6570\u5b66\u7684\u5e94\u7528\u7814\u7a76\uff0c\u5e76\u8ba1\u5212\u5f00\u53d1\u673a\u5668\u5b66\u4e60\u7b97\u6cd5\u7528\u4e8e\u53d1\u73b0\u6570\u5b66\u89c4\u5f8b\uff0c\u6784\u9020\u6570\u5b66\u731c\u60f3\u53cd\u4f8b\u7b49\u3002<\/span><\/section>\n
    \u540c\u65f6\u9648\u5c0f\u6768\u56e2\u961f\u53d1\u8d77\u4e86\u201c<\/span>DeepMath\u5f00\u6e90\u8ba1\u5212<\/a>\u201d\uff0c\u65e8\u5728\u8bad\u7ec3\u4e00\u4e2a\u5f00\u6e90\u6570\u5b66\u5927\u6a21\u578b\uff0c\u5c06\u5176\u6570\u5b66\u63a8\u7406\u80fd\u529b\u63d0\u5347\u81f3\u6570\u5b66\u4e13\u4e1a\u535a\u58eb\u751f\u6c34\u5e73\uff0c\u540c\u65f6\u63a2\u7d22\u5927\u6a21\u578b\u662f\u5426\u5177\u6709\u6570\u5b66\u521b\u9020\u80fd\u529b\uff0c\u4ee5\u53ca\u5927\u6a21\u578b\u5728\u524d\u6cbf\u6570\u5b66\u7814\u7a76\u4e2d\u7684\u6f5c\u5728\u80fd\u529b\u3002\u9080\u8bf7\u6570\u5b66\u7231\u597d\u8005\u548c\u667a\u80fd\u63a2\u7d22\u8005\u5171\u540c\u521b\u5efa\u6570\u5b66\u5927\u6a21\u578b\u3002<\/span><\/section>\n
    <\/section>\n
    \u63a8\u8350\u9605\u8bfb\u8bba\u6587\uff1a<\/strong><\/span><\/section>\n
      \n
    1. \n

      Yang, Kaiyu, et al. “Leandojo: Theorem proving with retrieval-augmented language models.” Advances in Neural Information Processing Systems<\/em> 36 (2023): 21573-21612. https:\/\/proceedings.neurips.cc\/paper_files\/paper\/2023\/file\/4441469427094f8873d0fecb0c4e1cee-Paper-Datasets_and_Benchmarks.pdf<\/p>\n<\/li>\n

    2. \n

      Gao, Guoxiong, et al. “A semantic search engine for Mathlib4.” arXiv preprint arXiv:2403.13310<\/em> (2024). https:\/\/arxiv.org\/abs\/2403.13310v2<\/p>\n<\/li>\n

    3. \n

      Gao, Guoxiong, et al. “Herald: A natural language annotated Lean 4 dataset.” arXiv preprint arXiv:2410.10878<\/em> (2024). https:\/\/arxiv.org\/abs\/2410.10878<\/p>\n<\/li>\n

    4. \n

      Lin, Yong, et al. “Goedel-Prover: A Frontier Model for Open-Source Automated Theorem Proving.” arXiv preprint arXiv:2502.07640<\/em> (2025). https:\/\/arxiv.org\/abs\/2502.07640<\/p>\n<\/li>\n

    5. \n

      Ying, Huaiyuan, et al. “Lean workbook: A large-scale lean problem set formalized from natural language math problems.” arXiv preprint arXiv:2406.03847<\/em> (2024). https:\/\/arxiv.org\/abs\/2406.03847<\/p>\n<\/li>\n

    6. \n
      Xin, Huajian, et al. “Deepseek-prover: Advancing theorem proving in llms through large-scale synthetic data.” arXiv preprint arXiv:2405.14333<\/em> (2024). https:\/\/arxiv.org\/abs\/2405.14333<\/section>\n<\/li>\n<\/ol>\n
      <\/section>\n

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

      \u626b\u7801\u62a5\u540d<\/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

      \u76f4\u64ad\u4fe1\u606f<\/strong><\/span><\/section>\n
      2025\u5e743\u670812\u65e5 19:00-21:00<\/span><\/section>\n
      <\/section>\n
      <\/span><\/section>\n
      \u62a5\u540d\u52a0\u5165\u793e\u7fa4\uff08\u53ef\u5f00\u53d1\u7968\uff09<\/strong><\/span><\/section>\n
      <\/section>\n
      \u96c6\u667a\u6591\u56fe\u94fe\u63a5\uff1ahttps:\/\/pattern.swarma.org\/study_group\/32?from=wechat<\/span><\/section>\n

      <\/span><\/section>\n
      \u626b<\/span>\u7801\u53c2\u4e0e<\/span>\u300cAI+Science\u7b2c\u4e09\u5b63\uff1a\u4eba\u5de5\u667a\u80fd\u4e0e\u6570\u5b66\u300d\u8bfb\u4e66\u4f1a<\/span><\/a>\uff0c\u52a0\u5165\u7fa4\u804a\uff0c\u83b7\u53d6\u7cfb\u5217\u8bfb\u4e66\u4f1a\u56de\u770b\u6743\u9650\uff0c\u5171\u5efa\u5171\u4eab AI for Math \u79d1\u5b66\u793e\u533a\uff0c\u4e0e\u4e00\u7ebf\u79d1\u7814\u5de5<\/span>\u4f5c\u8005\u6c9f\u901a\u4ea4\u6d41\uff0c\u5171\u540c\u63a8\u52a8\u8fd9\u4e00\u524d\u6cbf\u9886\u57df\u7684\u53d1\u5c55\u3002<\/span><\/section>\n

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

      \u63a8\u8350\u9605\u8bfb<\/strong><\/span><\/h2>\n
        \n
      1. \n

        \u6570\u5b66\u63a8\u7406\u4e0eAI\uff1a\u673a\u5668\u5b66\u4e60\u7cfb\u7edf\u80fd\u5728\u591a\u5927\u7a0b\u5ea6\u4e0a\u7406\u89e3\u6570\u5b66\uff1f<\/span><\/a><\/p>\n<\/li>\n

      2. \n

        \u4eba\u5de5\u667a\u80fd\u4e0e\u6570\u5b66\u524d\u6cbf\u7efc\u8ff0\uff1a\u5982\u4f55\u501f\u52a9 AI \u53d1\u73b0\u6570\u5b66\u89c4\u5f8b\uff1f<\/span><\/a><\/p>\n<\/li>\n

      3. \n

        \u6570\u5b66\u63a2\u7d22\u7684\u672a\u6765\uff1a\u4eceAI\u5f15\u5bfc\u4eba\u7c7b\u76f4\u89c9\u5230\u6570\u5b66\u5927\u8bed\u8a00\u6a21\u578b<\/span><\/a><\/p>\n<\/li>\n

      4. \n
        AI \u9a71\u52a8\u7684\u7eaf\u6570\u5b66\u548c\u7406\u8bba\u7269\u7406\u7814\u7a76\uff1a\u81ea\u4e0a\u800c\u4e0b\u3001\u81ea\u4e0b\u800c\u4e0a\u548c\u5143\u6570\u5b66<\/span><\/a><\/section>\n<\/li>\n<\/ol>\n
        <\/section>\n
        <\/section>\n
        \n
        \n
        \n
        \n

        \u4eba\u5de5\u667a\u80fd\u4e0e\u6570\u5b66\u8bfb\u4e66\u4f1a\u542f\u52a8<\/strong><\/p>\n<\/section>\n<\/section>\n<\/section>\n<\/section>\n

        <\/section>\n

        \u6570\u5341\u5e74\u6765\uff0c\u4eba\u5de5\u667a\u80fd\u7684\u7406\u8bba\u53d1\u5c55\u548c\u6280\u672f\u5b9e\u8df5\u4e00\u76f4\u4e0e\u79d1\u5b66\u63a2\u7d22\u76f8\u4f34\u800c\u751f\uff0c\u5c24\u5176\u5728\u4ee5\u5927\u6a21\u578b\u4e3a\u4ee3\u8868\u7684\u4eba\u5de5\u667a\u80fd\u6280\u672f\u5e94\u7528\u96c6\u4e2d\u7206\u53d1\u7684\u5f53\u4e0b\uff0c\u4eba\u5de5\u667a\u80fd\u6b63\u5728\u52a0\u901f\u7269\u7406\u3001\u5316\u5b66\u3001\u751f\u7269\u7b49\u57fa\u7840\u79d1\u5b66\u7684\u9769\u65b0\uff0c\u800c\u8fd9\u4e9b\u5b66\u79d1\u4e5f\u5728\u53cd\u8fc7\u6765\u542f\u53d1\u4eba\u5de5\u667a\u80fd\u6280\u672f\u521b\u65b0\u3002<\/span>\u5728\u6b64\u8fc7\u7a0b\u4e2d\uff0c\u6570\u5b66\u4f5c\u4e3a\u517c\u5177\u7406\u8bba\u5c5e\u6027\u4e0e\u5de5\u5177\u5c5e\u6027\u7684\u91cd\u8981\u57fa\u7840\u5b66\u79d1\uff0c\u4e0e\u4eba\u5de5\u667a\u80fd\u5173\u7cfb\u751a\u5bc6\uff0c\u76f8\u8f85\u76f8\u6210\u3002<\/span>\u4e00\u65b9\u9762\uff0c\u4eba\u5de5\u667a\u80fd\u5728\u89e3\u51b3\u6570\u5b66\u9886\u57df\u7684\u8bf8\u591a\u5de5\u7a0b\u95ee\u9898\u3001\u7406\u8bba\u95ee\u9898\u4e43\u81f3\u5723\u676f\u96be\u9898\u4e0a\u5c61\u521b<\/span>\u7eaa<\/span>\u5f55\u3002<\/span><\/span>\u53e6\u4e00\u65b9\u9762\uff0c\u6570\u5b66\u6301\u7eed\u4e3a\u4eba\u5de5\u667a\u80fd\u6784\u7b51\u7406\u8bba\u57fa\u77f3\u5e76\u62d3\u5c55\u5176\u672a\u6765\u7a7a\u95f4\u3002<\/span>\u8fd9\u4e24\u4e2a\u5173\u952e\u9886\u57df\u7684\u4ea4\u53c9\u878d\u5408\uff0c\u6b63\u5728\u63ed\u5f00\u4e0b\u4e2a\u65f6\u4ee3\u7684\u79d1\u5b66\u4e4b\u5e55\u3002<\/span><\/p>\n


        <\/span><\/section>\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\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\u8bfb\u4e66\u4f1a\u5df2\u5b8c\u7ed3\uff0c\u73b0\u5728\u62a5\u540d\u53ef\u52a0\u5165\u793e\u7fa4\u5e76\u89e3\u9501\u56de\u653e\u89c6\u9891\u6743\u9650\u3002<\/span><\/section>\n

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

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

        \u8be6\u60c5\u8bf7\u89c1\uff1a<\/span><\/p>\n

        \u4eba\u5de5\u667a\u80fd\u4e0e\u6570\u5b66\u8bfb\u4e66\u4f1a\u542f\u52a8\uff1aAI for Math\uff0cMath for AI<\/a><\/span>
        <\/span><\/p>\n

        <\/section>\n

        <\/p>\n

        \u70b9\u51fb\u201c\u9605\u8bfb\u539f\u6587\u201d\uff0c\u62a5\u540d\u8bfb\u4e66\u4f1a<\/span><\/section>\n<\/p>\n<\/div>\n","protected":false},"excerpt":{"rendered":"

        \u5bfc\u8bed \u57282023\u5e74\uff0c\u7531\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\u5171\u540c\u53d1\u8d77\u201c\u4eba\u5de5\u667a\u80fd\u4e0e\u6570\u5b66\u201d\u8bfb\u4e66\u4f1a\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\u6211\u4eec\u4e5f\u5728\u6301\u7eed\u5173\u6ce8\u8fd9\u4e2a\u9886\u57df\u7684\u53d1\u5c55\u3002 \u5f62\u5f0f\u5316…<\/p>\n","protected":false},"author":1,"featured_media":57579,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":[],"categories":[1],"tags":[],"special":[],"_links":{"self":[{"href":"https:\/\/swarma.org\/index.php?rest_route=\/wp\/v2\/posts\/57591"}],"collection":[{"href":"https:\/\/swarma.org\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/swarma.org\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/swarma.org\/index.php?rest_route=\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/swarma.org\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=57591"}],"version-history":[{"count":0,"href":"https:\/\/swarma.org\/index.php?rest_route=\/wp\/v2\/posts\/57591\/revisions"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/swarma.org\/index.php?rest_route=\/wp\/v2\/media\/57579"}],"wp:attachment":[{"href":"https:\/\/swarma.org\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=57591"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/swarma.org\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=57591"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/swarma.org\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=57591"},{"taxonomy":"special","embeddable":true,"href":"https:\/\/swarma.org\/index.php?rest_route=%2Fwp%2Fv2%2Fspecial&post=57591"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}