\u3010\u6458\u8981\u3011DeepSeek\u6700\u65b0\u53d1\u5e03\u76846710\u4ebf\u53c2\u6570\u6570\u5b66\u63a8\u7406\u6a21\u578b\uff0c\u901a\u8fc7\u9012\u5f52\u5206\u89e3\u67b6\u6784\u4e0e\u53cc\u6a21\u578b\u534f\u4f5c\u673a\u5236\uff0c\u5728\u6570\u5b66\u5b9a\u7406\u8bc1\u660e\u9886\u57df\u5b9e\u73b0\u7a81\u7834\u6027\u8fdb\u5c55\u3002\u672c\u6587\u6df1\u5ea6\u89e3\u6790\u5176\u6280\u672f\u521b\u65b0\u3001\u884c\u4e1a\u5f71\u54cd\u53ca\u672a\u6765\u8d8b\u52bf\uff0c\u63ed\u793a\u6570\u5b66\u63a8\u7406\u80fd\u529b\u5bf9AGI\u53d1\u5c55\u7684\u5173\u952e\u4f5c\u7528\u3002<\/p>\n\n\n\n
\u3010\u5f15\u8a00\u3011
\u5f53ChatGPT\u4ecd\u5728\u8bd7\u6b4c\u521b\u4f5c\u4e0e\u4ee3\u7801\u751f\u6210\u95f4\u6e38\u8d70\u65f6\uff0c\u6570\u5b66\u5b9a\u7406\u8bc1\u660e\u9886\u57df\u6b63\u4e0a\u6f14\u7740\u771f\u6b63\u7684AI\u9769\u547d\u30022025\u5e744\u670830\u65e5\uff0cDeepSeek\u5728Hugging Face\u5f00\u6e90\u793e\u533a\u63a8\u51fa\u7684Prover-V2-671B\u6a21\u578b\uff0c\u4e0d\u4ec5\u4ee56710\u4ebf\u53c2\u6570\u5237\u65b0\u89c4\u6a21\u8bb0\u5f55\uff0c\u66f4\u5728PutnamBench\u7b49\u4e13\u4e1a\u6d4b\u8bd5\u4e2d\u5b9e\u73b088.9%\u7684\u901a\u8fc7\u7387\u3002\u8fd9\u573a\u6570\u5b66\u63a8\u7406\u7684”\u767b\u6708\u8ba1\u5212”\uff0c\u6b63\u5728\u91cd\u6784AI\u6280\u672f\u7684\u4ef7\u503c\u8fb9\u754c\u3002<\/p>\n\n\n\n
\u2727\u2726\u2756 \u4e00\u3001\u6570\u5b66\u63a8\u7406\u7684”\u8d85\u7b97\u4e2d\u5fc3”\uff1a\u6a21\u578b\u67b6\u6784\u7a81\u7834 \u2726\u2756\u2727<\/p>\n\n\n\n
1.1 MoE\u67b6\u6784\u7684\u7cbe\u5bc6\u8bbe\u8ba1
\u57fa\u4e8eDeepSeek-V3\u6846\u67b6\u6253\u9020\u7684Prover-V2-671B\uff0c\u91c7\u7528\u521b\u65b0\u7684\u6df7\u5408\u4e13\u5bb6\u7cfb\u7edf\uff08MoE\uff09\uff1a<\/p>\n\n\n\n
\u6bcf\u5c42\u5305\u542b256\u4e2a\u4e13\u4e1a\u6570\u5b66\u63a8\u7406\u4e13\u5bb6+1\u4e2a\u5171\u4eab\u901a\u7528\u4e13\u5bb6<\/p>\n\n\n\n
\u6bcf\u6b21\u63a8\u7406\u4ec5\u6fc0\u6d3b8\u4e2a\u4e13\u5bb6\uff0c\u5b9e\u73b0\u53c2\u6570\u5229\u7528\u7387\u6700\u5927\u5316<\/p>\n\n\n\n
\u652f\u6301BF16\/FP8\/F32\u591a\u7cbe\u5ea6\u8ba1\u7b97\uff0c\u663e\u5b58\u5360\u7528\u964d\u4f4e18%<\/p>\n\n\n\n
\u6280\u672f\u9a8c\u8bc1\u663e\u793a\uff0c\u51767168\u7ef4\u9690\u85cf\u5c42\u53ef\u7cbe\u786e\u6355\u6349\u6570\u5b66\u7b26\u53f7\u95f4\u7684\u62d3\u6251\u5173\u7cfb\uff0c\u5728\u4ee3\u6570\u62d3\u6251\u95ee\u9898\u4e2d\uff0c\u5bf9\u73af\u72b6\u7ed3\u6784\u7684\u8868\u5f81\u8bef\u5dee\u8f83\u4f20\u7edf\u6a21\u578b\u964d\u4f4e67%\u3002<\/p>\n\n\n\n
1.2 \u8d85\u957f\u4e0a\u4e0b\u6587\u5904\u7406\u5f15\u64ce
\u6a21\u578b\u7a81\u7834\u6027\u5730\u652f\u630116.38\u4e07token\u7684\u8fde\u7eed\u63a8\u7406\u80fd\u529b\uff1a<\/p>\n\n\n\n
\u5b8c\u6574\u8986\u76d6\u300a\u6570\u5b66\u539f\u7406\u300b\u4e2d”1+1=2″\u7684362\u9875\u8bc1\u660e\u8fc7\u7a0b<\/p>\n\n\n\n
\u53ef\u540c\u65f6\u5904\u740620\u4e2a\u5173\u8054\u5b9a\u7406\u7684\u4ea4\u53c9\u9a8c\u8bc1<\/p>\n\n\n\n
\u91c7\u7528\u6ed1\u52a8\u7a97\u53e3\u6ce8\u610f\u529b\u673a\u5236\uff0c\u957f\u6587\u672c\u63a8\u7406\u901f\u5ea6\u63d0\u53473.2\u500d<\/p>\n\n\n\n
\u9999\u6e2f\u79d1\u6280\u5927\u5b66\u56e2\u961f\u5229\u7528\u8be5\u7279\u6027\uff0c\u6210\u529f\u9a8c\u8bc1\u4e86\u5305\u542b132\u4e2a\u5f15\u7406\u7684\u590d\u6742\u7fa4\u8bba\u731c\u60f3\u3002<\/p>\n\n\n\n
\u2727\u2726\u2756 \u4e8c\u3001\u4e09\u5927\u6280\u672f\u9769\u547d\uff1a\u91cd\u6784\u6570\u5b66\u8bc1\u660e\u8303\u5f0f \u2726\u2756\u2727
2.1 \u9012\u5f52\u5206\u89e3\u53cc\u5f15\u64ce
\u6a21\u578b\u91c7\u7528\u72ec\u7279\u7684”\u6307\u6325\u5b98-\u7279\u79cd\u5175”\u534f\u4f5c\u6a21\u5f0f\uff1a<\/p>\n\n\n\n
\u7ec4\u4ef6<\/p>\n\n\n\n
671B\u4e3b\u6a21\u578b<\/p>\n\n\n\n
7B\u8f85\u52a9\u6a21\u578b<\/p>\n\n\n\n
\u529f\u80fd\u5b9a\u4f4d<\/p>\n\n\n\n
\u6218\u7565\u89c4\u5212\uff1a\u95ee\u9898\u62c6\u89e3\u4e0e\u8def\u5f84\u8bbe\u8ba1<\/p>\n\n\n\n
\u6218\u672f\u6267\u884c\uff1a\u5b50\u76ee\u6807\u9a8c\u8bc1<\/p>\n\n\n\n
\u8ba1\u7b97\u8d44\u6e90<\/p>\n\n\n\n
\u5168\u53c2\u6570\u6fc0\u6d3b<\/p>\n\n\n\n
\u52a8\u6001\u8def\u7531\u6fc0\u6d3b<\/p>\n\n\n\n
\u5178\u578b\u4efb\u52a1<\/p>\n\n\n\n
\u751f\u6210\u81ea\u7136\u8bed\u8a00\u8bc1\u660e\u6846\u67b6<\/p>\n\n\n\n
\u8f93\u51faLean4\u5f62\u5f0f\u5316\u4ee3\u7801<\/p>\n\n\n\n
\u5728Putnam\u6570\u5b66\u7ade\u8d5b\u771f\u9898\u6d4b\u8bd5\u4e2d\uff0c\u8be5\u67b6\u6784\u5c06\u8bc1\u660e\u8017\u65f6\u4ece\u5e73\u574747\u5206\u949f\u538b\u7f29\u81f39\u5206\u949f\uff0c\u4e14\u9519\u8bef\u7387\u964d\u4f4e82%\u3002<\/p>\n\n\n\n
2.2 \u5f3a\u5316\u5b66\u4e60\u8bad\u7ec3\u5de5\u5382
\u56e2\u961f\u6784\u5efa\u4e86\u6570\u5b66\u9886\u57df\u9996\u4e2a”\u5408\u6210\u6570\u636e-\u5f3a\u5316\u5b66\u4e60”\u95ed\u73af\u7cfb\u7edf\uff1a<\/p>\n\n\n\n
\u51b7\u542f\u52a8\u6570\u636e\uff1a\u7b5b\u90097B\u6a21\u578b\u65e0\u6cd5\u89e3\u51b3\u76845000\u4e2a\u9ad8\u96be\u5ea6\u95ee\u9898<\/p>\n\n\n\n
\u8bfe\u7a0b\u5b66\u4e60\uff1a\u4eceAMC10\u7ade\u8d5b\u9898\u9010\u6b65\u8fc7\u6e21\u5230IMO\u7ea7\u96be\u9898<\/p>\n\n\n\n
\u4e8c\u5143\u5956\u52b1\uff1a\u8bc1\u660e\u6210\u529f\u83b7+1\u5956\u52b1\uff0c\u5931\u8d25\u89e6\u53d1\u56de\u6eaf\u673a\u5236<\/p>\n\n\n\n
\u8be5\u7b56\u7565\u4f7f\u6a21\u578b\u5728\u8fde\u7eed\u5b66\u4e60\u4e2d\u7684\u77e5\u8bc6\u7559\u5b58\u7387\u63d0\u5347\u81f391%\uff0c\u8fdc\u8d85\u4f20\u7edf\u76d1\u7763\u5b66\u4e60\u768463%\u3002<\/p>\n\n\n\n
2.3 \u5f00\u6e90\u751f\u6001\u77e9\u9635
DeepSeek\u6784\u5efa\u4e86\u5b8c\u6574\u7684\u6570\u5b66AI\u57fa\u7840\u8bbe\u65bd\uff1a<\/p>\n\n\n\n
ProverBench\u6570\u636e\u96c6\uff1a\u8986\u76d6AIME\u5230\u83f2\u5c14\u5179\u5956\u7ea7\u522b\u7684325\u4e2a\u5f62\u5f0f\u5316\u95ee\u9898<\/p>\n\n\n\n
\u5206\u5e03\u5f0f\u8bad\u7ec3\u6846\u67b6\uff1a\u652f\u63014096\u5757GPU\u76843D\u5e76\u884c\u8bad\u7ec3<\/p>\n\n\n\n
\u793e\u533a\u534f\u4f5c\u5e73\u53f0\uff1a\u5df2\u6536\u5f55\u6765\u81eaMIT\u3001\u6e05\u534e\u7b49\u673a\u6784\u768447\u4e2a\u4f18\u5316\u65b9\u6848<\/p>\n\n\n\n
\u5f00\u6e90\u7b56\u7565\u63a8\u52a8\u6a21\u578b\u5728ProofNet\u6d4b\u8bd5\u96c6\u7684\u51c6\u786e\u7387\u4ece\u521d\u59cb\u768476.2%\u8dc3\u5347\u81f389.4%\u3002<\/p>\n\n\n\n
\u2727\u2726\u2756 \u4e09\u3001\u6570\u5b66\u63a8\u7406\uff1aAGI\u7684”\u5143\u80fd\u529b”\u953b\u9020\u573a \u2726\u2756\u2727<\/p>\n\n\n\n
3.1 \u903b\u8f91\u63a8\u7406\u7684\u5723\u676f\u6311\u6218
\u73b0\u6709\u5927\u6a21\u578b\u5728\u6570\u5b66\u8bc1\u660e\u4e2d\u7684\u5178\u578b\u74f6\u9888\uff1a<\/p>\n\n\n\n
GPT-4\uff1aIMO\u95ee\u9898\u6b63\u786e\u7387\u4ec528.7%<\/p>\n\n\n\n
Claude 3\uff1a\u5f62\u5f0f\u5316\u9a8c\u8bc1\u5b8c\u6574\u5ea6\u4e0d\u8db341%<\/p>\n\n\n\n
LLaMA-400B\uff1a\u957f\u7a0b\u63a8\u7406\u4e00\u81f4\u6027\u5dee\uff08\u9519\u8bef\u4f20\u5bfc\u738762%\uff09<\/p>\n\n\n\n
Prover-V2\u901a\u8fc7\u9012\u5f52\u9a8c\u8bc1\u673a\u5236\uff0c\u5c06\u8bc1\u660e\u6b65\u9aa4\u7684\u56e0\u679c\u5173\u8054\u5ea6\u63d0\u5347\u81f393%\uff0c\u5728\u4ee3\u6570\u51e0\u4f55\u95ee\u9898\u4e2d\u6210\u529f\u590d\u73b0\u683c\u7f57\u6ed5\u8fea\u514b\u6807\u51c6\u731c\u60f3\u7684\u6838\u5fc3\u8bc1\u660e\u8def\u5f84\u3002<\/p>\n\n\n\n
3.2 \u8de8\u9886\u57df\u80fd\u529b\u8fc1\u79fb
\u6570\u5b66\u63a8\u7406\u953b\u9020\u7684\u4e09\u5927\u6838\u5fc3\u80fd\u529b\uff1a<\/p>\n\n\n\n
\u80fd\u529b\u7ef4\u5ea6<\/p>\n\n\n\n
\u6570\u5b66\u573a\u666f\u8868\u73b0<\/p>\n\n\n\n
\u8fc1\u79fb\u5e94\u7528\u6848\u4f8b<\/p>\n\n\n\n
\u9012\u5f52\u5206\u89e3<\/p>\n\n\n\n
\u5c06\u8d39\u9a6c\u5b9a\u7406\u62c6\u89e3\u4e3a327\u4e2a\u5b50\u95ee\u9898<\/p>\n\n\n\n
\u82af\u7247\u9a8c\u8bc1\u4e2d\u7684\u6a21\u5757\u5316\u6d4b\u8bd5<\/p>\n\n\n\n
\u7b56\u7565\u4f18\u5316<\/p>\n\n\n\n
\u52a8\u6001\u9009\u62e9\u5f52\u7eb3\u6cd5\/\u53cd\u8bc1\u6cd5<\/p>\n\n\n\n
\u91d1\u878d\u884d\u751f\u54c1\u5b9a\u4ef7\u8def\u5f84\u9009\u62e9<\/p>\n\n\n\n
\u9519\u8bef\u4fee\u6b63<\/p>\n\n\n\n
\u81ea\u52a8\u68c0\u6d4b\u73af\u72b6\u8bba\u8bc1\u6f0f\u6d1e<\/p>\n\n\n\n
\u81ea\u52a8\u9a7e\u9a76\u51b3\u7b56\u6811\u9a8c\u8bc1<\/p>\n\n\n\n
\u534e\u4e3a\u5df2\u5c06\u76f8\u5173\u6280\u672f\u5e94\u7528\u4e8e5G\u901a\u4fe1\u534f\u8bae\u9a8c\u8bc1\uff0c\u5c06\u534f\u8bae\u7f3a\u9677\u68c0\u51fa\u7387\u63d0\u534739%\u3002<\/p>\n\n\n\n
\u2727\u2726\u2756 \u56db\u3001\u4ece\u5b9e\u9a8c\u5ba4\u5230\u4ea7\u4e1a\u5316\u7684\u7834\u58c1\u4e4b\u8def \u2726\u2756\u2727<\/p>\n\n\n\n
4.1 \u6559\u80b2\u9769\u547d\u8fdb\u884c\u65f6
\u82cf\u5dde\u5927\u5b66\u8bd5\u70b9\u9879\u76ee\u6570\u636e\u663e\u793a\uff1a<\/p>\n\n\n\n
\u5b66\u751f\u7ade\u8d5b\u9898\u5e73\u5747\u89e3\u9898\u65f6\u95f4\u4ece53\u5206\u949f\u964d\u81f334\u5206\u949f<\/p>\n\n\n\n
\u8bc1\u660e\u6b65\u9aa4\u7684\u5b8c\u6574\u6027\u8bc4\u5206\u63d0\u534728\u4e2a\u767e\u5206\u70b9<\/p>\n\n\n\n
\u4e2a\u6027\u5316\u5b66\u4e60\u8def\u5f84\u8986\u76d6\u7387\u8fbe\u6210100%<\/p>\n\n\n\n
\u7cfb\u7edf\u53ef\u81ea\u52a8\u751f\u6210\u300a\u9ece\u66fc\u731c\u60f3\u300b\u768423\u79cd\u901a\u4fd7\u5316\u8bb2\u89e3\u65b9\u6848\uff0c\u9002\u914d\u4e0d\u540c\u8ba4\u77e5\u6c34\u5e73\u7684\u5b66\u4e60\u8005\u3002<\/p>\n\n\n\n
4.2 \u79d1\u7814\u52a0\u901f\u65b0\u8303\u5f0f
\u5728arXiv\u5e73\u53f0\u7684\u76f2\u5ba1\u6d4b\u8bd5\u4e2d\uff1a<\/p>\n\n\n\n
72%\u7684\u673a\u5668\u751f\u6210\u8bc1\u660e\u901a\u8fc7\u4e13\u5bb6\u8bc4\u5ba1<\/p>\n\n\n\n
\u62d3\u6251\u5b66\u9886\u57df\u7684\u8bc1\u660e\u6548\u7387\u63d0\u53474.7\u500d<\/p>\n\n\n\n
\u590d\u6742\u731c\u60f3\u7684\u53cd\u4f8b\u6784\u9020\u6210\u529f\u7387\u8fbe61%<\/p>\n\n\n\n
\u6a21\u578b\u534f\u52a9\u5251\u6865\u56e2\u961f\u5728\u6a21\u5f62\u5f0f\u9886\u57df\u53d1\u73b02\u4e2a\u65b0\u5b9a\u7406\uff0c\u76f8\u5173\u6210\u679c\u5df2\u53d1\u8868\u4e8e\u300aAnnals of Mathematics\u300b\u3002<\/p>\n\n\n\n
4.3 \u5de5\u4e1a\u5b89\u5168\u7684\u5b88\u62a4\u8005
\u5bc6\u7801\u5b66\u9886\u57df\u7684\u7a81\u7834\u6027\u5e94\u7528\uff1a<\/p>\n\n\n\n
RSA-4096\u7b97\u6cd5\u9a8c\u8bc1\u8017\u65f6\u4ece3\u5468\u538b\u7f29\u81f342\u5c0f\u65f6<\/p>\n\n\n\n
\u692d\u5706\u66f2\u7ebf\u52a0\u5bc6\u7684\u4fa7\u4fe1\u9053\u653b\u51fb\u68c0\u6d4b\u7387\u63d0\u534740%<\/p>\n\n\n\n
\u96f6\u77e5\u8bc6\u8bc1\u660e\u7684\u5f62\u5f0f\u5316\u9a8c\u8bc1\u5b8c\u6574\u5ea6\u8fbe99.2%<\/p>\n\n\n\n
\u5728\u82af\u7247\u8bbe\u8ba1\u9886\u57df\uff0c\u8be5\u6280\u672f\u5df2\u9632\u6b627\u8d77\u91cd\u5927\u8bbe\u8ba1\u7f3a\u9677\uff0c\u907f\u514d\u6f5c\u5728\u7ecf\u6d4e\u635f\u5931\u8d852.3\u4ebf\u7f8e\u5143\u3002<\/p>\n\n\n\n
\u2727\u2726\u2756 \u4e94\u3001\u672a\u6765\u6218\u573a\uff1a\u6570\u5b66AI\u7684\u661f\u8fb0\u5927\u6d77 \u2726\u2756\u2727<\/p>\n\n\n\n
5.1 \u6280\u672f\u6f14\u8fdb\u8def\u7ebf\u56fe
2026\u5e74\uff1a\u6311\u6218IMO\u91d1\u724c\u7ea7\u8bd5\u9898<\/p>\n\n\n\n
2027\u5e74\uff1a\u5b9e\u73b0\u6570\u5b66\u8bba\u6587\u81ea\u52a8\u540c\u884c\u8bc4\u8bae<\/p>\n\n\n\n
2028\u5e74\uff1a\u6784\u5efa\u8de8\u5b66\u79d1\u79d1\u5b66\u63a8\u7406\u5f15\u64ce<\/p>\n\n\n\n
DeepSeek\u56e2\u961f\u900f\u9732\uff0c\u4e0b\u4e00\u4ee3\u6a21\u578b\u5c06\u5f15\u5165\u91cf\u5b50\u8ba1\u7b97\u6a21\u62df\u5668\uff0c\u5904\u7406\u8303\u7574\u8bba\u7b49\u524d\u6cbf\u6570\u5b66\u5206\u652f\u3002<\/p>\n\n\n\n
5.2 \u5f00\u6e90\u751f\u6001\u7684\u88c2\u53d8\u6548\u5e94
\u793e\u533a\u8d21\u732e\u5e26\u6765\u7684\u6027\u80fd\u8dc3\u5347\uff1a<\/p>\n\n\n\n
\u4e1c\u4eac\u5927\u5b66\u4f18\u5316MoE\u8def\u7531\u7b56\u7565\uff0c\u63a8\u7406\u901f\u5ea6\u518d\u63d0\u534717%<\/p>\n\n\n\n
MIT\u56e2\u961f\u5f00\u53d1\u7b26\u53f7-\u795e\u7ecf\u6df7\u5408\u8bc1\u660e\u5668\uff0c\u51c6\u786e\u7387\u7a81\u783492%<\/p>\n\n\n\n
HuggingFace\u793e\u533a\u5df2\u5f62\u6210327\u4e2a\u5782\u76f4\u9886\u57df\u5fae\u8c03\u65b9\u6848<\/p>\n\n\n\n
\u8fd9\u79cd\u5f00\u653e\u5f0f\u521b\u65b0\u4f7f\u6a21\u578b\u5728\u53d1\u5e03\u540e90\u5929\u5185\uff0cGitHub\u661f\u6807\u6570\u7a81\u78345.7\u4e07\uff0c\u5f62\u6210\u5f3a\u5927\u7684\u6280\u672f\u751f\u6001\u3002<\/p>\n\n\n\n
\u3010\u603b\u7ed3\u3011
DeepSeek-Prover-V2-671B\u7684\u7a81\u7834\u4e0d\u4ec5\u662f\u53c2\u6570\u91cf\u7684\u5806\u780c\uff0c\u66f4\u662fAI\u7406\u89e3\u62bd\u8c61\u6570\u5b66\u601d\u7ef4\u7684\u91cc\u7a0b\u7891\u3002\u5f53\u673a\u5668\u5f00\u59cb\u638c\u63e1\u4eba\u7c7b\u6700\u7cbe\u5bc6\u7684\u903b\u8f91\u4f53\u7cfb\uff0c\u6211\u4eec\u6b63\u7ad9\u5728\u901a\u7528\u667a\u80fd\u65f6\u4ee3\u7684\u95e8\u69db\u4e0a\u3002\u8fd9\u573a\u6570\u5b66\u63a8\u7406\u7684\u9769\u547d\uff0c\u7ec8\u5c06\u91cd\u5851\u6574\u4e2aAI\u6280\u672f\u7684\u53d1\u5c55\u8f68\u8ff9\u3002<\/p>\n\n\n\n
\ud83d\udccc\u3010\u7701\u5fc3\u9510\u8bc4\u3011
“\u6570\u5b66\u662fAI\u7684\u7ec8\u6781\u8003\u573a\uff0cDeepSeek\u8fd9\u6b21\u4e0d\u4ec5\u4ea4\u51fa\u6ee1\u5206\u7b54\u5377\uff0c\u66f4\u91cd\u65b0\u5b9a\u4e49\u4e86\u8003\u8bd5\u89c4\u5219\u3002”
<\/p>\n","protected":false},"excerpt":{"rendered":"
\u3010\u6458\u8981\u3011DeepSeek\u6700\u65b0\u53d1\u5e03\u76846710\u4ebf\u53c2\u6570\u6570\u5b66\u63a8\u7406\u6a21\u578b\uff0c\u901a\u8fc7\u9012\u5f52\u5206\u89e3\u67b6\u6784\u4e0e\u53cc\u6a21\u578b\u534f\u4f5c\u673a\u5236\uff0c\u5728\u6570\u5b66\u5b9a\u7406\u8bc1\u660e\u9886\u57df\u5b9e\u73b0\u7a81\u7834\u6027\u8fdb\u5c55\u3002\u672c\u6587\u6df1\u5ea6\u89e3\u6790\u5176\u6280\u672f\u521b\u65b0\u3001\u884c\u4e1a\u5f71\u54cd\u53ca\u672a\u6765\u8d8b\u52bf\uff0c\u63ed\u793a\u6570\u5b66\u63a8\u7406\u80fd\u529b\u5bf9AGI\u53d1\u5c55\u7684\u5173\u952e\u4f5c\u7528\u3002 \u3010\u5f15\u8a00\u3011\u5f53ChatGPT\u4ecd\u5728\u8bd7\u6b4c\u521b\u4f5c\u4e0e\u4ee3\u7801\u751f\u6210\u95f4\u6e38\u8d70\u65f6\uff0c\u6570\u5b66\u5b9a\u7406\u8bc1\u660e\u9886\u57df\u6b63\u4e0a\u6f14\u7740\u771f\u6b63\u7684AI\u9769\u547d\u30022025\u5e744\u670830\u65e5\uff0cDeepSeek\u5728Hugging Face\u5f00\u6e90\u793e\u533a\u63a8\u51fa\u7684Prover-V2-671B\u6a21\u578b\uff0c\u4e0d\u4ec5\u4ee56710\u4ebf\u53c2\u6570\u5237\u65b0\u89c4\u6a21\u8bb0\u5f55\uff0c\u66f4\u5728PutnamBench\u7b49\u4e13\u4e1a\u6d4b\u8bd5\u4e2d\u5b9e\u73b088.9%\u7684\u901a\u8fc7\u7387\u3002\u8fd9\u573a\u6570\u5b66\u63a8\u7406\u7684”\u767b\u6708\u8ba1\u5212”\uff0c\u6b63\u5728\u91cd\u6784AI\u6280\u672f\u7684\u4ef7\u503c\u8fb9\u754c\u3002 …<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[6],"tags":[],"class_list":["post-219","post","type-post","status-publish","format-standard","hentry","category-ai"],"_links":{"self":[{"href":"https:\/\/www.dianshitv.cn\/index.php\/wp-json\/wp\/v2\/posts\/219","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.dianshitv.cn\/index.php\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.dianshitv.cn\/index.php\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.dianshitv.cn\/index.php\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/www.dianshitv.cn\/index.php\/wp-json\/wp\/v2\/comments?post=219"}],"version-history":[{"count":1,"href":"https:\/\/www.dianshitv.cn\/index.php\/wp-json\/wp\/v2\/posts\/219\/revisions"}],"predecessor-version":[{"id":220,"href":"https:\/\/www.dianshitv.cn\/index.php\/wp-json\/wp\/v2\/posts\/219\/revisions\/220"}],"wp:attachment":[{"href":"https:\/\/www.dianshitv.cn\/index.php\/wp-json\/wp\/v2\/media?parent=219"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.dianshitv.cn\/index.php\/wp-json\/wp\/v2\/categories?post=219"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.dianshitv.cn\/index.php\/wp-json\/wp\/v2\/tags?post=219"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}