{"id":5275,"date":"2026-05-28T21:00:21","date_gmt":"2026-05-28T13:00:21","guid":{"rendered":"https:\/\/1ow.top\/index.php\/2026\/05\/28\/5%e7%af%87ai%e7%94%9f%e6%88%90%e7%9a%84%e6%95%b0%e5%ad%a6%e8%ae%ba%e6%96%87%e8%a2%ab%e6%8e%a5%e6%94%b6%ef%bc%8100%e5%90%8e%e5%88%9b%e5%a7%8b%e4%ba%ba%e6%b4%aa%e4%b9%90%e6%bd%bc%e8%9e%8d%e8%b5%8414\/"},"modified":"2026-05-28T21:00:21","modified_gmt":"2026-05-28T13:00:21","slug":"5%e7%af%87ai%e7%94%9f%e6%88%90%e7%9a%84%e6%95%b0%e5%ad%a6%e8%ae%ba%e6%96%87%e8%a2%ab%e6%8e%a5%e6%94%b6%ef%bc%8100%e5%90%8e%e5%88%9b%e5%a7%8b%e4%ba%ba%e6%b4%aa%e4%b9%90%e6%bd%bc%e8%9e%8d%e8%b5%8414","status":"publish","type":"post","link":"https:\/\/1ow.top\/index.php\/2026\/05\/28\/5%e7%af%87ai%e7%94%9f%e6%88%90%e7%9a%84%e6%95%b0%e5%ad%a6%e8%ae%ba%e6%96%87%e8%a2%ab%e6%8e%a5%e6%94%b6%ef%bc%8100%e5%90%8e%e5%88%9b%e5%a7%8b%e4%ba%ba%e6%b4%aa%e4%b9%90%e6%bd%bc%e8%9e%8d%e8%b5%8414\/","title":{"rendered":"5\u7bc7AI\u751f\u6210\u7684\u6570\u5b66\u8bba\u6587\u88ab\u63a5\u6536\uff0100\u540e\u521b\u59cb\u4eba\u6d2a\u4e50\u6f7c\u878d\u8d4414\u4e2a\u4ebf"},"content":{"rendered":"
\"5\u7bc7AI\u751f\u6210\u7684\u6570\u5b66\u8bba\u6587\u88ab\u63a5\u6536\uff0100\u540e\u521b\u59cb\u4eba\u6d2a\u4e50\u6f7c\u878d\u8d4414\u4e2a\u4ebf\"\/<\/div><\/figure>\n
\"5\u7bc7AI\u751f\u6210\u7684\u6570\u5b66\u8bba\u6587\u88ab\u63a5\u6536\uff0100\u540e\u521b\u59cb\u4eba\u6d2a\u4e50\u6f7c\u878d\u8d4414\u4e2a\u4ebf\"\/<\/div><\/figure>\n
\"5\u7bc7AI\u751f\u6210\u7684\u6570\u5b66\u8bba\u6587\u88ab\u63a5\u6536\uff0100\u540e\u521b\u59cb\u4eba\u6d2a\u4e50\u6f7c\u878d\u8d4414\u4e2a\u4ebf\"\/<\/div><\/figure>\n
\"5\u7bc7AI\u751f\u6210\u7684\u6570\u5b66\u8bba\u6587\u88ab\u63a5\u6536\uff0100\u540e\u521b\u59cb\u4eba\u6d2a\u4e50\u6f7c\u878d\u8d4414\u4e2a\u4ebf\"\/<\/div><\/figure>\n

\u6570\u5b66\u8bba\u6587\u9884\u5370\u672c\u91cc\uff0c\u6084\u6084\u6df7\u8fdb\u4e868\u7bc7AI\u4f5c\u54c1\u3002<\/p>\n

\u66f4\u51c6\u786e\u5730\u8bf4\uff0c\u662f8\u7bc7\u7531\u540c\u4e00\u4e2a\u7cfb\u7edf\u751f\u6210\u6216\u5f62\u5f0f\u5316\u8bc1\u660e\u7684\u6570\u5b66\u8bba\u6587\u3002<\/p>\n

\u521d\u521b\u516c\u53f8Axiom Math\u5ba3\u5e03\uff0c\u4ed6\u4eec\u4ece2026\u5e742\u6708\u5f00\u59cb\u63d0\u4ea4\u76848\u7bc7\u8bba\u6587\uff0c\u52305\u670828\u65e5\u67095\u7bc7\u5df2\u7ecf\u901a\u8fc7\u540c\u884c\u8bc4\u5ba1\uff0c\u767b\u4e0a\u5b66\u672f\u671f\u520a\u3002\u3002<\/p>\n

\u521b\u59cb\u4eba\u6d2a\u4e50\u6f7c\uff0c2001\u5e74\u51fa\u751f\u4e8e\u5e7f\u5dde\uff0c\u672c\u79d1MIT\u4e09\u5e74\u62ff\u4e0b\u6570\u5b66\u4e0e\u7269\u7406\u53cc\u5b66\u4f4d\uff0c\u8fd8\u62ff\u8fc7\u5317\u7f8e\u6570\u5b66\u672c\u79d1\u751f\u7684\u6700\u9ad8\u8363\u8a89\u7f57\u5fb7\u5956\u5b66\u91d1\u548c\u6469\u6839\u5956\u3002<\/p>\n

\u5728\u65af\u5766\u798f\u8bfb\u535a\u671f\u95f4\uff0c\u5979\u9000\u5b66\u4e86\u3002<\/p>\n

\u9000\u5b66\u7684\u7406\u7531\u6b63\u662f\u521b\u529eAxiom Math\u3002<\/p>\n

Axiom\u57283\u6708\u5b8c\u62102\u4ebf\u7f8e\u5143\uff08\u7ea613.56\u4ebf\u5143\u4eba\u6c11\u5e01\uff09\u878d\u8d44\uff0c\u4f30\u503c16\u4ebf\u7f8e\u5143\uff08\u7ea6108.46\u5143\u4eba\u6c11\u5e01\uff09\u3002<\/p>\n

\u8fd9\u6279\u63d0\u4ea4\u7684\u8bba\u6587\u6a2a\u8de8\u6570\u8bba\u3001\u7ec4\u5408\u3001\u4ea4\u6362\u4ee3\u6570\u3001\u4ee3\u6570\u51e0\u4f55\/\u51e0\u4f55\u52a8\u529b\u7cfb\u7edf\u3001\u8868\u793a\u8bba\u548cDyck path\u6a21\u578b\u3002<\/p>\n

\u8981\u7406\u89e3Axiom Math\u505a\u7684\u662f\u4ec0\u4e48\uff0c\u8fd98\u7bc7\u8bba\u6587\u662f\u6700\u597d\u7684\u5207\u5165\u70b9\u3002<\/p>\n

\u5176\u4e2d\u4e00\u7bc7Reciprocals of Partition Polynomials\uff0c\u5df2\u88abAnnals of Acad. Rom. Sci.\u63a5\u6536\u3002<\/p>\n

\u8fd9\u7bc7\u8bba\u6587\u7814\u7a76\u7684\u662f\u7531partition subsum polynomials\u6784\u9020\u51fareciprocal sums\uff0c\u76ee\u6807\u662f\u5904\u7406Ballantine\u3001Beck\u3001Feigon\u548c Maurischat \u63d0\u51fa\u768410\u4e2a\u731c\u60f3\u3002<\/p>\n

AI\u8bc1\u660e\u4e86\u5176\u4e2d6\u4e2a\uff0c\u8fd8\u53d1\u73b0\u4e86\u4e00\u4e2a\u539f\u59cb\u547d\u9898\u91cc\u7684\u53cd\u4f8b\u3002<\/p>\n

\u8fd9\u4e2aAI\u7cfb\u7edf\u4ea4AxiomProver \uff0c\u4ea7\u751f\u7684\u8bba\u6587\u771f\u6ca1\u6709\u505c\u5728\u81ea\u7136\u8bed\u8a00\uff0c\u800c\u662f\u751f\u6210\u5f62\u5f0f\u5316\u8bc1\u660e\u3002<\/p>\n

\u5927\u6a21\u578b\u53ef\u4ee5\u5199\u51fa\u5f88\u50cf\u8bc1\u660e\u7684\u6587\u5b57\u3002<\/p>\n

\u4f46\u95ee\u9898\u5728\u4e8e\uff0c\u81ea\u7136\u8bed\u8a00\u8bc1\u660e\u518d\u987a\u6ed1\uff0c\u4e5f\u53ef\u80fd\u85cf\u7740\u903b\u8f91\u7f1d\u9699\u3002\u8bfb\u8005\u3001\u5ba1\u7a3f\u4eba\u548c\u4f5c\u8005\u90fd\u8981\u9760\u7406\u89e3\u53bb\u5224\u65ad\u54ea\u91cc\u7ad9\u5f97\u4f4f\u3002<\/p>\n

AxiomProver\u6362\u4e86\u4e00\u79cd\u4ea4\u4ed8\u65b9\u5f0f\uff1a<\/p>\n

\u7814\u7a76\u8005\u7ed9\u51fa\u81ea\u7136\u8bed\u8a00\u95ee\u9898\u9648\u8ff0\uff0c\u7cfb\u7edf\u628a\u95ee\u9898\u7ffb\u8bd1\u6210Lean\u5f62\u5f0f\u5316\u8bc1\u660e\u3002\u5b8c\u6210\u540e\uff0c\u518d\u7531\u5355\u72ec\u7684\u68c0\u6d4b\u5668\u9a8c\u8bc1\u6bcf\u4e00\u6b65\u3002<\/p>\n

\u8bba\u6587\u7684\u6587\u672c\u4ecd\u7136\u7531\u4eba\u7c7b\u6570\u5b66\u5bb6\u4f1a\u628a\u5f62\u5f0f\u5316\u8bc1\u660e\u914d\u4e0a\u5b66\u672f\u89e3\u91ca\u3002<\/p>\n

\u5728\u8fd9\u4e2a\u5b9e\u9a8c\u4e2d\uff0cAI\u6ca1\u6709\u4ee3\u66ff\u4eba\u7c7b\uff0c\u800c\u662f\u5b9e\u8df5\u4e86\u4e00\u79cd\u65b0\u7684\u4eba\u673a\u534f\u4f5c\u6a21\u5f0f\u3002<\/p>\n

AI\u8d1f\u8d23\u751f\u6210\u6216\u5f62\u5f0f\u5316\u53ef\u68c0\u67e5\u8bc1\u660e\uff0c\u4eba\u7c7b\u6570\u5b66\u5bb6\u8d1f\u8d23\u95ee\u9898\u8868\u8fbe\u3001\u8bba\u6587\u89e3\u91ca\u548c\u5ba1\u7a3f\u6c9f\u901a\u3002<\/p>\n

Axiom\u7684\u521b\u59cb\u6570\u5b66\u5bb6Ken Ono\uff08\u5c0f\u91ce\u5065\uff09\u8868\u793a\uff0c\u5728\u67d0\u4e9b\u60c5\u51b5\u4e0b\uff0c\u7cfb\u7edf\u88ab\u7ed9\u5b9a\u5f00\u653e\u7814\u7a76\u95ee\u9898\u3002\u4f1a\u5728\u5927\u7ea6 24 \u5c0f\u65f6\u5185\u751f\u6210\u5b8c\u6574\u3001\u673a\u5668\u9a8c\u8bc1\u7684\u8bc1\u660e\u3002<\/p>\n

\u521b\u59cb\u4eba\u6d2a\u4e50\u6f7c\uff0c\u5979\u81ea\u5e7c\u4fbf\u5c55\u73b0\u51fa\u975e\u51e1\u7684\u6570\u5b66\u5929\u8d4b\uff0c\u5e76\u5728\u7236\u6bcd\u7684\u652f\u6301\u4e0b\u6295\u8eab\u4e8e\u6570\u5b66\u7ade\u8d5b\u3002<\/p>\n

14\u5c81\u65f6\uff0c\u5979\u4fbf\u5728\u8349\u7a3f\u7eb8\u4e0a\u5199\u4e0b\u201cMIT\u201d\u4ee5\u6fc0\u52b1\u81ea\u5df1\u3002<\/p>\n

\u9ad8\u4e2d\u65f6\u671f\uff0c\u5979\u5c31\u8bfb\u4e8e\u534e\u5357\u5e08\u8303\u5927\u5b66\u9644\u5c5e\u4e2d\u5b66\uff0c\u8fdb\u5165\u5e7f\u4e1c\u7701\u6570\u5b66\u5965\u6797\u5339\u514b\u7701\u961f\uff0c\u5728\u591a\u9879\u5168\u56fd\u6570\u5b66\u7ade\u8d5b\u4e2d\u83b7\u5956\u3002<\/p>\n

2019\u5e74\uff0c17\u5c81\u7684\u6d2a\u4e50\u6f7c\u8003\u5165MIT\uff0c\u4ec5\u7528\u4e09\u5e74\u65f6\u95f4\u4fbf\u5b8c\u6210\u4e86\u6570\u5b66\u4e0e\u7269\u7406\u53cc\u5b66\u4f4d\u7684\u5b66\u4e1a\uff0c\u672c\u79d1\u671f\u95f4\u5c31\u53d1\u8868\u4e869\u7bc7\u5b66\u672f\u8bba\u6587\u3002<\/p>\n

\u672c\u79d1\u6bd5\u4e1a\u540e\uff0c\u5979\u8d74\u725b\u6d25\u5927\u5b66\u653b\u8bfb\u795e\u7ecf\u79d1\u5b66\u7855\u58eb\u5b66\u4f4d\uff0c\u518d\u6b21\u65d7\u8230\u63a5\u89e6\u4e86\u4eba\u5de5\u667a\u80fd\u548c\u673a\u5668\u5b66\u4e60\u7814\u7a76\u3002<\/p>\n

\u968f\u540e\u5979\u88ab\u65af\u5766\u798f\u5927\u5b66\u7684\u6570\u5b66\u535a\u58eb\u548c\u6cd5\u5b66\u535a\u58eb\u53cc\u5b66\u4f4d\u5f55\u53d6\u3002<\/p>\n

\u4e3a\u4e86\u5168\u8eab\u5fc3\u6295\u5165\u521b\u4e1a\uff0c\u5979\u4e8e2024\u5e74\u79cb\u5b63\u4ece\u65af\u5766\u798f\u5927\u5b66\u9000\u5b66\u3002<\/p>\n

\u5979\u7684\u521b\u4e1a\u5408\u4f5c\u4f19\u4f34Shubho Sengupta\u4e5f\u4eceMeta\u8f9e\u804c\uff0c\u4e24\u4eba\u4eceAI\u4e0e\u6570\u5b66\u63a8\u7406\u7684\u4ea4\u53c9\u53ef\u80fd\u6027\u51fa\u53d1\uff0c\u51b3\u5fc3\u89e3\u51b3AI\u7684\u5e7b\u89c9\u95ee\u9898\u3002<\/p>\n

\u540e\u6765\u77e5\u540d\u6570\u5b66\u5bb6Ken Ono\u4e3a\u6b64\u8f9e\u53bb\u4e86\u5f17\u5409\u5c3c\u4e9a\u5927\u5b66\u7684\u7ec8\u8eab\u6559\u804c\uff0c\u5168\u804c\u52a0\u5165\u3002<\/p>\n

AxiomProver\u5728\u666e\u7279\u5357\u6570\u5b66\u7ade\u8d5b\u62ff\u4e0b\u6ee1\u5206\uff0c\u8fd8\u89e3\u51b3\u4e86\u4e24\u4e2a\u56f0\u6270\u5b66\u754c\u6570\u5341\u5e74\u7684Erd\u0151s\u731c\u60f3\u3002<\/p>\n

\u4f46\u201cAI\u6570\u5b66\u5bb6\u201d\u53ea\u662fAxiom Math\u7684\u7b2c\u4e00\u6b65\uff0c\u4ed6\u4eec\u7684\u613f\u666f\u662f\u6253\u9020\u4e00\u4e2a\u80fd\u591f\u81ea\u6211\u6539\u8fdb\u7684\u8d85\u7ea7\u667a\u80fd\u63a8\u7406\u5668\u3002<\/p>\n

\u4e0d\u5230\u4e00\u5e74\uff0cAxiom\u5b8c\u6210\u4e866400\u4e07\u7f8e\u5143\u79cd\u5b50\u8f6e\u548c2\u4ebf\u7f8e\u5143A\u8f6e\u878d\u8d44\uff0c\u4f30\u503c\u98d9\u523016\u4ebf\u7f8e\u5143\u3002<\/p>\n

\u6295\u8d44\u4ebaMatt Kraning\u5982\u6b64\u8bc4\u4ef7\u8fd9\u5bb6\u516c\u53f8\uff1a\u201cAI\u5c06\u7f16\u5199\u6240\u6709\u4ee3\u7801\uff0c\u4f46\u6570\u5b66\u5c06\u8bc1\u660e\u5176\u662f\u5426\u6709\u6548\u3002\u201d\u3002<\/p>\n

\u5982\u679c\u4e00\u4e2a AI \u7cfb\u7edf\u80fd\u628a\u6570\u5b66\u8bc1\u660e\u4ea4\u7ed9\u673a\u5668\u9010\u6b65\u68c0\u67e5\uff0c\u90a3\u4e48\u540c\u6837\u7684\u201c\u751f\u6210\u3001\u5f62\u5f0f\u5316\u3001\u9a8c\u8bc1\u201d\u95ed\u73af\uff0c\u4e5f\u53ef\u80fd\u88ab\u62ff\u53bb\u5904\u7406\u5176\u4ed6\u5b66\u79d1\uff0c\u4ee5\u53ca\u9ad8\u98ce\u9669\u51b3\u7b56\u573a\u666f\u3002<\/p>\n

5\u670827\u65e5\uff0cAxiom\u63d0\u4ea4\u7684\u6700\u65b0\u4e00\u7bc7\u8bba\u6587\u5c31\u8de8\u754c\u5230\u4e86\u535a\u5f08\u8bba\u548c\u7ecf\u6d4e\u5b66\u9886\u57df\u3002<\/p>\n

\u4e0e\u54c8\u4f5b\u5546\u5b66\u9662\u6559\u6388Scott Duke Kominers\u5408\u4f5c\uff0c\u7528Lean\u5f62\u5f0f\u5316\u8bc1\u660eRobert Aumann\u7684\u7ecf\u5178\u5b9a\u7406\u3002<\/p>\n

\u6d2a\u4e50\u6f7c\u66fe\u8bf4\u521b\u4e1a\u8005\u8981\u9009\u6700\u96be\u7684\u95ee\u9898\uff0c\u751a\u81f3\u9700\u89815\u523010\u5e74\u624d\u80fd\u89e3\u51b3\u7684\u90a3\u79cd\u3002<\/p>\n

\u73b0\u5728\u770b\u8d77\u6765\uff0c\u5979\u9009\u7684\u8fd9\u6761\u8def\u540c\u6837\u4e5f\u662f\u6700\u88ab\u5173\u6ce8\u7684\u4e4b\u4e00\u3002<\/p>\n

\u53c2\u8003\u94fe\u63a5\uff1a[1]https:\/\/x.com\/axiommathai\/status\/2059640254341284320[2]https:\/\/axiommath.ai\/papers<\/p>\n

\n

\u7248\u6743\u58f0\u660e\uff1a<\/strong><\/p>\n

\u672c\u535a\u5ba2\u90e8\u5206\u5185\u5bb9\u4e3a\u8f6c\u8f7d\u6587\u7ae0\uff0c\u65e8\u5728\u5206\u4eab\u6709\u4ef7\u503c\u7684\u4fe1\u606f\uff0c\u7248\u6743\u5f52\u539f\u4f5c\u8005\u6240\u6709\u3002<\/p>\n

\u8f6c\u8f7d\u4ec5\u4e3a\u4e2a\u4eba\u5b66\u4e60\u4e0e\u4ea4\u6d41\u76ee\u7684\uff0c\u4e0d\u5bf9\u6587\u7ae0\u89c2\u70b9\u8d1f\u8d23\uff0c\u4ea6\u4e0d\u7528\u4e8e\u4efb\u4f55\u5546\u4e1a\u7528\u9014\u3002<\/p>\n

\u5982\u6d89\u53ca\u7248\u6743\u95ee\u9898\uff0c\u8bf7\u8054\u7cfb\u672c\u4eba\u5220\u9664\u3002<\/p>\n<\/blockquote>\n","protected":false},"excerpt":{"rendered":"

\u6570\u5b66\u8bba\u6587\u9884\u5370\u672c\u91cc\uff0c\u6084\u6084\u6df7\u8fdb\u4e868\u7bc7AI\u4f5c\u54c1\u3002<\/p>\n

\u66f4\u51c6\u786e\u5730\u8bf4\uff0c\u662f8\u7bc7\u7531\u540c\u4e00\u4e2a\u7cfb\u7edf\u751f\u6210\u6216\u5f62\u5f0f\u5316\u8bc1\u660e\u7684\u6570\u5b66\u8bba\u6587\u3002<\/p>\n

\u521d\u521b\u516c\u53f8Axiom Math\u5ba3\u5e03\uff0c\u4ed6\u4eec\u4ece2026\u5e742\u6708\u5f00\u59cb\u63d0\u4ea4\u76848\u7bc7\u8bba\u6587\uff0c\u52305\u670828\u65e5\u67095\u7bc7\u5df2\u7ecf\u901a\u8fc7\u540c\u884c\u8bc4\u5ba1\uff0c\u767b\u4e0a\u5b66\u672f\u671f\u520a\u3002\u3002<\/p>\n

\u521b\u59cb\u4eba\u6d2a\u4e50\u6f7c\uff0c2001\u5e74\u51fa\u751f\u4e8e\u5e7f\u5dde\uff0c\u672c\u79d1MIT\u4e09\u5e74\u62ff\u4e0b\u6570\u5b66\u4e0e\u7269\u7406\u53cc\u5b66\u4f4d\uff0c\u8fd8\u62ff\u8fc7\u5317\u7f8e\u6570\u5b66\u672c\u79d1\u751f\u7684\u6700\u9ad8\u8363\u8a89\u7f57\u5fb7\u5956\u5b66\u91d1\u548c\u6469\u6839\u5956\u3002<\/p>\n

\u5728\u65af\u5766\u798f\u8bfb\u535a\u671f\u95f4\uff0c\u5979\u9000\u5b66\u4e86\u3002<\/p>\n

\u9000\u5b66<\/p>\n","protected":false},"author":1,"featured_media":5271,"comment_status":"","ping_status":"","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[1],"tags":[99],"class_list":["post-5275","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-xwzx","tag-99"],"_links":{"self":[{"href":"https:\/\/1ow.top\/index.php\/wp-json\/wp\/v2\/posts\/5275","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/1ow.top\/index.php\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/1ow.top\/index.php\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/1ow.top\/index.php\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/1ow.top\/index.php\/wp-json\/wp\/v2\/comments?post=5275"}],"version-history":[{"count":0,"href":"https:\/\/1ow.top\/index.php\/wp-json\/wp\/v2\/posts\/5275\/revisions"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/1ow.top\/index.php\/wp-json\/wp\/v2\/media\/5271"}],"wp:attachment":[{"href":"https:\/\/1ow.top\/index.php\/wp-json\/wp\/v2\/media?parent=5275"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/1ow.top\/index.php\/wp-json\/wp\/v2\/categories?post=5275"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/1ow.top\/index.php\/wp-json\/wp\/v2\/tags?post=5275"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}