{"id":4609,"date":"2026-09-07T22:22:00","date_gmt":"2026-09-07T14:22:00","guid":{"rendered":"https:\/\/www.huanqiukexue.com\/?p=4609"},"modified":"2026-09-11T16:27:46","modified_gmt":"2026-09-11T08:27:46","slug":"ai%e6%ad%a3%e5%9c%a8%e7%96%af%e7%8b%82%e6%94%b6%e5%89%b2%e6%95%b0%e5%ad%a6%e9%9a%be%e9%a2%98%ef%bc%81%e9%bb%8e%e6%9b%bc%e7%8c%9c%e6%83%b3%e3%80%81%e5%ad%aa%e7%94%9f%e7%b4%a0%e6%95%b0%e3%80%81%e5%93%a5","status":"publish","type":"post","link":"https:\/\/www.huanqiukexue.com\/?p=4609","title":{"rendered":"AI\u6b63\u5728\u75af\u72c2\u6536\u5272\u6570\u5b66\u96be\u9898\uff01\u9ece\u66fc\u731c\u60f3\u3001\u5b6a\u751f\u7d20\u6570\u3001\u54e5\u5fb7\u5df4\u8d6b\u731c\u60f3\u2026\u2026\u8fd9\u6b21\u8f6e\u5230\u6570\u5b66\u5bb6\u4e22\u996d\u7897\u4e86"},"content":{"rendered":"\n<figure class=\"wp-block-image size-full\"><img loading=\"lazy\" decoding=\"async\" width=\"600\" height=\"238\" src=\"https:\/\/www.huanqiukexue.com\/wp-content\/uploads\/2026\/09\/wechat_image_1-7.jpg\" alt=\"\" class=\"wp-image-4610\" srcset=\"https:\/\/www.huanqiukexue.com\/wp-content\/uploads\/2026\/09\/wechat_image_1-7.jpg 600w, https:\/\/www.huanqiukexue.com\/wp-content\/uploads\/2026\/09\/wechat_image_1-7-300x119.jpg 300w\" sizes=\"auto, (max-width: 600px) 100vw, 600px\" \/><\/figure>\n\n\n\n<p><span style=\"color: rgb(153, 153, 153); font-size: 16px; letter-spacing: 1px;\">\u56fe\u7247\u4ec5\u4f5c\u793a\u610f<\/span><\/p>\n\n\n<section style=\"overflow: auto; line-height: 2.45; padding: 20px; border-radius: 5px; overflow-wrap: normal; color: #010101; background-color: #d5dce1;\" data-autoskip=\"1\"><span style=\"font-size: large;\"><span style=\"letter-spacing: 1px;\">\u7f16\u7a0b\u4e4b\u540e\uff0cAI\u6b63\u5728\u62ff\u4e0b\u6570\u5b66\u3002<\/span><\/span><\/section>\n\n\n<p><span style=\"color: rgb(153, 153, 153); font-size: 16px; letter-spacing: 1px;\">\u64b0\u6587\uff5c\u738b\u6631<\/span><\/p>\n\n\n\n<p><span style=\"color: rgb(153, 153, 153); font-size: 16px; letter-spacing: 1px;\">\u5ba1\u6821\uff5c\u9676\u5146\u5dcd\u3001\u5b50\u9c7c<\/span><\/p>\n\n\n\n<p>2026\u5e747\u670823\u65e5\uff0c\u9093\u715c\u3001\u7ea6\u7ff0\u00b7\u5e15\u987f\uff08John Pardon\uff09\u3001\u96c5\u5404\u5e03\u00b7\u9f50\u9ed8\u66fc\uff08Jacob Tsimerman\uff09\u548c\u738b\u8679\u83b7\u5f972026\u5e74\u83f2\u5c14\u5179\u5956\u3002\u8fd9\u4e2a\u539f\u672c\u66f2\u9ad8\u548c\u5be1\u7684\u6570\u5b66\u5956\u9879\uff0c\u56e0\u4e3a\u9093\u715c\u548c\u738b\u8679\u83b7\u5f97\u4e86\u5927\u91cf\u5173\u6ce8\u3002<\/p>\n\n\n\n<p>\u4f46\u9664\u6b64\u4e4b\u5916\uff0c\u8fd9\u5c4a\u83f2\u5c14\u5179\u5956\u8fd8\u6709\u4e00\u9879\u503c\u5f97\u6ce8\u610f\u7684\u7ebf\u7d22\u3002\u521a\u521a\u83b7\u5f97\u6570\u5b66\u6700\u9ad8\u8363\u8a89\u7684\u96c5\u5404\u5e03\u00b7\u9f50\u9ed8\u66fc\u5374\u516c\u5f00\u8bf4\uff1a\u201c<strong>\u6211\u8ba4\u4e3a\u4e24\u5e74\u4e4b\u5185\uff0cAI<\/strong><strong>\u505a\u6570\u5b66\u4f1a\u6bd4\u6570\u5b66\u5bb6\u66f4\u597d<\/strong>\u3002\u201d\u5e76\u4e14\u5728\u83b7\u5956\u5f53\u5929\u5ba3\u5e03\u5c06\u52a0\u5165OpenAI\u3002<\/p>\n\n\n\n<p>\u7f51\u4e0a\u5f88\u5feb\u5c31\u6d41\u4f20\u8d77\u4e86\u4e00\u79cd\u5224\u65ad\uff0c\u8fd9\u5c4a\u83f2\u5c14\u5179\u5956\uff0c\u4e5f\u8bb8\u662f\u6700\u540e\u4e00\u5c4a\u83b7\u5956\u6210\u679c\u4e3b\u8981\u4f9d\u9760\u4eba\u7c7b\u5b8c\u6210\u7684\u83f2\u5c14\u5179\u5956\u3002\u8fd9\u5f53\u7136\u53ea\u662f\u5bf9\u672a\u6765\u7684\u731c\u6d4b\u3002\u83f2\u5c14\u5179\u5956\u6bcf\u56db\u5e74\u9881\u53d1\u4e00\u6b21\uff0c\u4f46\u6700\u8fd1\u7684\u8fdb\u5c55\uff0c\u4f3c\u4e4e\u6b63\u5728\u544a\u8bc9\u6211\u4eec\uff0c<strong>\u4e5f\u8bb8\u6839\u672c\u4e0d\u9700\u8981\u7b49\u90a3\u4e48\u4e45<\/strong>\u3002<\/p>\n\n\n\n<p class=\"has-text-align-center has-medium-font-size\"><strong><mark style=\"background-color:rgba(0, 0, 0, 0);\"><span style=\"font-size: 24px; text-decoration: overline; caret-color: rgb(8,124,186); color: rgb(8,124,186);\"><strong><br><br>\u6570\u5b66\u6536\u5272\u673a<\/strong><\/span><\/mark><\/strong><\/p>\n\n\n\n<p>\u8fc7\u53bb\u51e0\u5e74\uff0c\u65b0\u95fb\u4e2dAI\u7684\u6570\u5b66\u80fd\u529b\u4e00\u76f4\u5728\u7a33\u6b65\u524d\u8fdb\uff0c\u4eceAI\u5728\u9ad8\u8003\u6570\u5b66\u4e0a\u53d6\u5f97\u4e86\u600e\u6837\u7684\u6210\u7ee9\uff0cAI\u5982\u4f55\u5b8c\u6210\u51e0\u4f55\u8bc1\u660e\u9898\uff0c\u5927\u5b66\u751f\u7528AI\u4f5c\u5f0a\u6570\u5b66\u4f5c\u4e1a\uff0c\u4e00\u76f4\u5230AI\u8fbe\u5230\u56fd\u9645\u6570\u5b66\u5965\u8d5b\u91d1\u724c\u6c34\u51c6\u3002<\/p>\n\n\n\n<p>\u76f4\u5230\u6700\u8fd1\u4e00\u4e24\u4e2a\u6708\uff0cAI\u4f3c\u4e4e\u7ec8\u4e8e\u771f\u6b63\u89e6\u8fbe\u4e86\u4eba\u7c7b\u7684\u80fd\u529b\u8fb9\u754c\uff0c\u548cAI\u4e00\u8d77\u51fa\u73b0\u7684\u6570\u5b66\u540d\u8bcd\u4e5f\u5e26\u4e0a\u4e86<strong>\u5386\u53f2\u7684\u539a\u91cd\u611f<\/strong>\u3002<\/p>\n\n\n\n<p><strong>\u8d39\u9a6c\u5927\u5b9a\u7406\u3001\u9ece\u66fc\u731c\u60f3\u3001\u5b6a\u751f\u7d20\u6570\u731c\u60f3\u3001\u54e5\u5fb7\u5df4\u8d6b\u731c\u60f3<\/strong><strong>\u2026\u2026<\/strong><\/p>\n\n\n\n<p>AI\u5728\u8fd9\u4e9b\u8457\u540d\u6570\u5b66\u547d\u9898\u53ca\u5176\u76f8\u5173\u95ee\u9898\u4e0a\u53d6\u5f97\u4e86\u4e0d\u540c\u7c7b\u578b\u7684\u8fdb\u5c55\uff1a\u6709\u7684\u662f\u53d1\u73b0\u65b0\u7ed3\u679c\uff0c\u6709\u7684\u662f\u628a\u4eba\u7c7b\u65e9\u5df2\u5b8c\u6210\u7684\u8bc1\u660e\u53d8\u6210\u673a\u5668\u53ef\u4ee5\u6838\u9a8c\u7684\u5f62\u5f0f\u3002\u968f\u7740\u65b0\u4e00\u4ee3Claude\u548cGPT\u6a21\u578b\u63a5\u8fde\u516c\u5e03\u6210\u679c\uff0c\u6570\u5b66\u7814\u7a76\u7684\u8282\u594f\u4e5f\u5728\u52a0\u5feb\u3002<\/p>\n\n\n\n<p>8\u670810\u65e5\uff0cAnthropic\u516c\u5e03\u4e86\u4e00\u9879\u7531\u5c1a\u672a\u53d1\u5e03\u7684\u7814\u7a76\u7248Claude\u53d1\u73b0\u7684\u7ed3\u679c\uff1a\u4e00\u540d\u5458\u5de5\u539f\u672c\u60f3\u8ba9Claude\u8bc1\u660e\u9ece\u66fc\u731c\u60f3\u3002Claude\u6ca1\u80fd\u5b8c\u6210\u8bc1\u660e\uff0c\u4f46\u636eAnthropic\u516c\u5e03\u7684\u7ed3\u679c\uff0c\u5b83<strong>\u628a\u5df2\u77e5\u80fd\u591f\u8bc1\u660e\u4f4d\u4e8e\u4e34\u754c\u7ebf\u4e0a\u7684\u9ece\u66fc<\/strong><strong>\u03b6<\/strong><strong>\u51fd\u6570\u975e\u5e73\u51e1\u96f6\u70b9\u7684\u6e10\u8fd1\u6bd4\u4f8b\u4e0b\u754c\uff0c\u4ece\u7ea6<\/strong><strong>41.6%<\/strong><strong>\u63d0\u9ad8\u5230<\/strong><strong>67.2%<\/strong>\u3002Claude\u540c\u65f6\u8fd8\u7ed9\u51fa\u4e86Lean\u5f62\u5f0f\u5316\uff08formalization\uff09\u8bc1\u660e\u3002<\/p>\n\n\n\n<p>9\u6708\u521d\uff0cOpenAI\u516c\u5f00\u4e86GPT-6 Astra\u5728\u6709\u754c\u7d20\u6570\u95f4\u9694\u95ee\u9898\u4e0a\u7684\u65b0\u6210\u679c\u3002\u8fd9\u4e2a\u95ee\u9898\u4e0e\u5b6a\u751f\u7d20\u6570\u731c\u60f3\u5bc6\u5207\u76f8\u5173\u3002\u5b6a\u751f\u7d20\u6570\u731c\u60f3\u8ba4\u4e3a\u5b58\u5728\u65e0\u7a77\u591a\u5bf9\u76f8\u5dee2\u7684\u7d20\u6570\u30022013\u5e74\uff0c\u5f20\u76ca\u5510\u8bc1\u660e\u5b58\u5728\u65e0\u7a77\u591a\u5bf9\u95f4\u9694\u5c0f\u4e8e7000\u4e07\u7684\u7d20\u6570\uff1b\u6b64\u540e\u4e0a\u754c\u964d\u5230246\uff0c\u4eca\u5e748\u670831\u65e5\u53c8\u88abJulia Stadlmann\u6539\u8fdb\u4e3a240\u3002<strong>OpenAI<\/strong><strong>\u7684\u65b0\u8bba\u6587\u5219\u7ed9\u51fa<\/strong><strong>186<\/strong><strong>\u7684\u754c\u9650\uff0c\u5373\u5b58\u5728\u65e0\u7a77\u591a\u5bf9\u95f4\u9694\u4e0d\u8d85\u8fc7<\/strong><strong>186<\/strong><strong>\u7684\u76f8\u90bb\u7d20\u6570<\/strong>\u3002\u8fd9\u4ecd\u672a\u89e3\u51b3\u8981\u6c42\u95f4\u9694\u4e3a2\u7684\u5b6a\u751f\u7d20\u6570\u731c\u60f3\u3002\u5317\u5927\u6570\u5b66\u5b66\u96622007\u7ea7\u6821\u53cb\u3001\u5bbe\u5927\u6559\u6388\u82cf\u709c\u6770\u968f\u540e\u4ecb\u7ecd\u4e86\u8fd9\u9879\u5de5\u4f5c\u3002\u76f8\u5173\u8bba\u6587\u548cLean\u4ee3\u7801\u5df2\u516c\u5f00\u3002\u4f46\u4ee3\u7801\u4ed3\u5e93\u660e\u786e\u8bf4\u660e\uff0c\u5f62\u5f0f\u5316\u90e8\u5206\u4ecd\u4f9d\u8d56\u4e09\u4e2a\u5c1a\u672a\u5728Lean\u4e2d\u8bc1\u660e\u7684\u5916\u90e8\u8f93\u5165\u5047\u8bbe\uff0c\u4e0d\u80fd\u636e\u6b64\u79f0\u6574\u4efd\u8bc1\u660e\u5df2\u7ecf\u5b8c\u6210\u673a\u5668\u6838\u9a8c\u3002<\/p>\n\n\n\n<figure class=\"wp-block-image size-full\"><img loading=\"lazy\" decoding=\"async\" width=\"600\" height=\"374\" src=\"https:\/\/www.huanqiukexue.com\/wp-content\/uploads\/2026\/09\/wechat_image_2-2.png\" alt=\"\" class=\"wp-image-4611\" srcset=\"https:\/\/www.huanqiukexue.com\/wp-content\/uploads\/2026\/09\/wechat_image_2-2.png 600w, https:\/\/www.huanqiukexue.com\/wp-content\/uploads\/2026\/09\/wechat_image_2-2-300x187.png 300w\" sizes=\"auto, (max-width: 600px) 100vw, 600px\" \/><\/figure>\n\n\n\n<p><span style=\"color: rgb(153, 153, 153); font-size: 16px; letter-spacing: 1px;\">OpenAI\u5173\u4e8e\u6709\u754c\u7d20\u6570\u95f4\u9694\u7684\u65b0\u8bba\u6587\u3002\u56fe\u7247\u6765\u6e90\uff1aOpenAI<\/span><\/p>\n\n\n\n<p>9\u67084\u65e5\uff0cAnthropic\u5ba3\u5e03\uff0cClaude\u5728\u7ea611\u5929\u5185\u5927\u4f53\u81ea\u4e3b\u5730\u7528Lean\u5b8c\u6210\u4e86\u8d39\u9a6c\u5927\u5b9a\u7406\u7684\u9996\u4e2a\u5b8c\u6574\u8ba1\u7b97\u673a\u6838\u9a8c\u8bc1\u660e\u300217\u4e16\u7eaa\uff0c\u6570\u5b66\u5bb6\u8d39\u9a6c\u66fe\u5728\u4e66\u7684\u9875\u8fb9\u5199\u4e0b\uff1a\u201c\u6211\u53d1\u73b0\u4e86\u4e00\u4e2a\u7edd\u5999\u7684\u8bc1\u660e\uff0c\u4f46\u8fd9\u4e2a\u9875\u8fb9\u592a\u7a84\uff0c\u5199\u4e0d\u4e0b\u3002\u201d\u8ba9\u8fd9\u4e2a\u547d\u9898\u6210\u4e3a\u4e86\u6570\u5b66\u53f2\u4e0a\u6700\u8457\u540d\u7684\u4e00\u4e2a\u201c\u5751\u201d\u3002\u76f4\u523020\u4e16\u7eaa90\u5e74\u4ee3\uff0c\u5b89\u5fb7\u9c81\u00b7\u6000\u5c14\u65af\u7b49\u6570\u5b66\u5bb6\u624d\u5b8c\u6574\u8bc1\u660e\u4e86\u8d39\u9a6c\u5927\u5b9a\u7406\u3002\u8fd9\u4e00\u6b21\uff0c<strong>Claude<\/strong><strong>\u6cbf\u7740\u5df2\u6709\u7684\u4eba\u7c7b\u8bc1\u660e\u8def\u7ebf\uff0c\u5b8c\u6210\u4e86\u6b64\u524d\u5c1a\u672a\u5b8c\u6210\u7684\u5b8c\u6574\u5f62\u5f0f\u5316\u3002<\/strong><\/p>\n\n\n\n<p><br>\u5728\u5927\u516c\u53f8\u4e4b\u5916\uff0c\u4e5f\u6709\u4eba\u5728\u63a8\u8fdb\u5f62\u5f0f\u5316\u5de5\u4f5c\u30029\u67085\u65e5\uff0c\u77e5\u4e4e\u7528\u6237\u5b50\u9c7c\u5728<a target=\"_blank\" href=\"https:\/\/zhuanlan.zhihu.com\/p\/2079688005330196025\" rel=\"noreferrer noopener\">\u4e00\u7bc7\u6587\u7ae0<\/a>\u4e2d\u8868\u793a\uff0c\u81ea\u5df1\u4f7f\u7528GPT-5.6\/6\u642d\u914dHermes Agent\u5b8c\u6210\u4e86\u90e8\u5206\u89e3\u51b3\u54e5\u5fb7\u5df4\u8d6b\u731c\u60f3\u7684\u9648\u666f\u6da6\u5b9a\u7406\uff0c\u5373\u901a\u5e38\u6240\u8bf4\u7684\u201c1+2\u201d\u7684\u5f62\u5f0f\u5316\uff0c\u5e76\u8ba4\u4e3a\u8fd9\u201c\u5927\u6982\u7387\u662f\u5386\u53f2\u4e0a\u7b2c\u4e00\u4e2a1+2\u7684\u5f62\u5f0f\u5316\u8bc1\u660e\u201d\u3002\u5728\u6b64\u57fa\u7840\u4e0a\uff0c\u5b50\u9c7c\u6b63\u5728\u8fdb\u4e00\u6b65\u5f62\u5f0f\u5316\u4eca\u5e74\u516d\u6708\u4efd\u7684\u4e00\u7bc7\u5c06\u9648\u666f\u6da6\u5b9a\u7406\u63a8\u8fdb\u5230\u201c1+1.9\u201d\u7684\u6587\u7ae0\uff0c\u5e76\u8868\u793a\u201c<strong>\u8fd9\u5c06\u4f1a\u9a8c\u8bc1\u54e5\u5fb7\u5df4\u8d6b\u731c\u60f3\u516d\u5341\u5e74\u4ee5\u6765\u7684\u6700\u91cd\u8981\u7a81\u7834\u3002<\/strong>\u201d<\/p>\n\n\n\n<p>\u8fd9\u53ea\u662f\u6700\u8fd11\u4e2a\u6708\u7684\u8fdb\u5c55\uff0c\u5b9e\u9645\u4e0a\uff0c\u4ece\u4eca\u5e745\u6708\u5f00\u59cb\uff0cAI\u5728\u6570\u5b66\u4e0a\u7684\u7a81\u7834\u5c31\u5c42\u51fa\u4e0d\u7a77\uff0cErd\u0151s\u5355\u4f4d\u8ddd\u79bb\u731c\u60f3\u3001\u6784\u9020\u975esofic\u7fa4\u3001\u5927\u7d20\u6570\u95f4\u9694\u95ee\u9898\u2026\u2026<strong>\u7c7b\u4f3c\u7684\u4f8b\u5b50\u6839\u672c\u5217\u4e0d\u5b8c\u3002<\/strong><\/p>\n\n\n\n<p class=\"has-text-align-center has-medium-font-size\"><strong><mark style=\"background-color:rgba(0, 0, 0, 0);\"><span style=\"font-size: 24px; text-decoration: overline; caret-color: rgb(8,124,186); color: rgb(8,124,186);\"><strong><br><br>\u81ea\u52a8\u5316\u9a8c\u8bc1<\/strong><\/span><\/mark><\/strong><\/p>\n\n\n\n<p>\u5728\u8fd9\u4e9b\u8fdb\u5c55\u4e2d\uff0c\u201c\u5f62\u5f0f\u5316\u201d\u548c\u201cLean\u201d\u8fd9\u4e24\u4e2a\u8bcd\u53cd\u590d\u51fa\u73b0\uff0c\u5b83\u4eec\u662f\u6838\u9a8cAI\u6570\u5b66\u6210\u679c\u7684\u91cd\u8981\u5de5\u5177\u3002<\/p>\n\n\n\n<p>\u5927\u8bed\u8a00\u6a21\u578b\uff08LLM\uff09\u53ef\u80fd\u4ea7\u751f\u5e7b\u89c9\uff0c\u7ed9\u51fa\u770b\u4f3c\u53ef\u4fe1\u3001\u5b9e\u9645\u4e0a\u9519\u8bef\u7684\u4fe1\u606f\u3002\u5b83\u4f1a\u6839\u636e\u4e0a\u4e0b\u6587\u9884\u6d4b\u540e\u7eedtoken\uff0c\u4f46\u8fd9\u79cd\u751f\u6210\u673a\u5236\u672c\u8eab\u4e0d\u4fdd\u8bc1\u903b\u8f91\u6b63\u786e\u6027\u3002AI\u53ef\u4ee5\u81ea\u52a8\u8f93\u51fa\u5404\u79cd\u201c\u5947\u601d\u5999\u60f3\u201d\uff0c\u4f46\u8fd9\u4e9b\u201c\u5947\u601d\u5999\u60f3\u201d\u7a76\u7adf\u662f\u5426\u503c\u5f97\u76f8\u4fe1\uff0c\u4ecd\u9700\u8981\u72ec\u7acb\u9a8c\u8bc1\u3002<\/p>\n\n\n\n<p>AI\u7f16\u7a0b\u5c31\u662f\u4e00\u4e2a\u5f88\u597d\u7684\u4f8b\u5b50\u3002LLM\u4f1a\u8f93\u51fa\u201c\u770b\u8d77\u6765\u8fd8\u4e0d\u9519\u201d\u7684\u4ee3\u7801\uff0c\u4f46LLM\u672c\u8eab\u5e76\u4e0d\u80fd\u4fdd\u8bc1\u4ee3\u7801\u7684\u6b63\u786e\u6027\u3002\u7f16\u8bd1\u5668\u53ef\u4ee5\u68c0\u67e5\u8bed\u6cd5\u3001\u7c7b\u578b\u7b49\u9519\u8bef\uff0c\u6d4b\u8bd5\u548c\u8fd0\u884c\u53cd\u9988\u8fd8\u80fd\u5e2e\u52a9\u53d1\u73b0\u90e8\u5206\u903b\u8f91\u95ee\u9898\u3002<strong>\u8bb8\u591a\u68c0\u67e5\u53ef\u4ee5\u7531\u8ba1\u7b97\u673a\u81ea\u52a8\u5b8c\u6210<\/strong>\uff0c\u8ba9AI\u80fd\u591f\u53cd\u590d\u4fee\u6539\u4ee3\u7801\uff0c\u8fd9\u4e3aAI\u7f16\u7a0b\u63d0\u4f9b\u4e86\u5feb\u901f\u8bd5\u9519\u7684\u6761\u4ef6\u3002<\/p>\n\n\n\n<p>\u800c<strong>Lean<\/strong><strong>\uff0c\u5c31\u662f\u5c5e\u4e8e\u6570\u5b66\u7684<\/strong><strong>\u201c<\/strong><strong>\u7f16\u7a0b\u8bed\u8a00<\/strong><strong>\u201d<\/strong>\u30022013\u5e74\uff0cLeonardo de Moura\u5728\u5fae\u8f6f\u7814\u7a76\u9662\u542f\u52a8Lean\u9879\u76ee\uff0c2014\u5e74\u53d1\u5e03\u7b2c\u4e00\u4e2a\u6b63\u5f0f\u516c\u5f00\u7248\u672c\u3002\u5b83\u65e2\u662f\u4e00\u95e8\u51fd\u6570\u5f0f\u7f16\u7a0b\u8bed\u8a00\uff0c\u4e5f\u662f\u4e00\u4e2a\u4ea4\u4e92\u5f0f\u5b9a\u7406\u8bc1\u660e\u5668\u3002Lean\u8bed\u8a00\u80fd\u628a\u666e\u901a\u6570\u5b66\u8bba\u6587\u4e2d\u7684\u5b9a\u4e49\u3001\u516c\u7406\u3001\u5f15\u7406\u3001\u6bcf\u4e00\u6b65\u903b\u8f91\u63a8\u5bfc\u3001\u5b9a\u7406\u90fd\u53d8\u6210\u673a\u5668\u80fd\u8bfb\u61c2\u7684\u5bf9\u8c61\u3002\u800c<strong>\u628a\u7528\u4eba\u7c7b\u8bed\u8a00\u5199\u4e0b\u7684\u6570\u5b66\uff0c\u6539\u5199\u6210\u8ba1\u7b97\u673a\u53ef\u4ee5\u9010\u6761\u7406\u89e3\u3001\u9010\u6b65\u68c0\u67e5\u7684\u8fc7\u7a0b\uff0c\u5c31\u88ab\u79f0\u4e3a\u5f62\u5f0f\u5316\u3002<\/strong><\/p>\n\n\n\n<figure class=\"wp-block-image size-full\"><img loading=\"lazy\" decoding=\"async\" width=\"600\" height=\"305\" src=\"https:\/\/www.huanqiukexue.com\/wp-content\/uploads\/2026\/09\/wechat_image_3-2.png\" alt=\"\" class=\"wp-image-4612\" srcset=\"https:\/\/www.huanqiukexue.com\/wp-content\/uploads\/2026\/09\/wechat_image_3-2.png 600w, https:\/\/www.huanqiukexue.com\/wp-content\/uploads\/2026\/09\/wechat_image_3-2-300x153.png 300w\" sizes=\"auto, (max-width: 600px) 100vw, 600px\" \/><\/figure>\n\n\n\n<p><span style=\"color: rgb(153, 153, 153); font-size: 16px; letter-spacing: 1px;\">\u56fe\u7247\u6765\u6e90\uff1aLean<\/span><\/p>\n\n\n\n<p>\u6570\u5b66\u5b9a\u7406\u88ab\u5f62\u5f0f\u5316\u540e\uff0cAI\u6570\u5b66\u5c31\u7a81\u7136\u53d8\u5f97\u548cAI\u7f16\u7a0b\u975e\u5e38\u7c7b\u4f3c\u3002<\/p>\n\n\n\n<p>\u6570\u5b66\u7814\u7a76\u7684\u4e00\u5927\u9650\u5236\uff0c\u662f\u4e13\u5bb6\u80fd\u7528\u4e8e\u7406\u89e3\u548c\u6838\u67e5\u590d\u6742\u8bc1\u660e\u7684\u7cbe\u529b\u6709\u9650\u3002\u4eca\u5929\u7684\u6570\u5b66\u5df2\u7ecf\u53d1\u5c55\u5f97\u975e\u5e38\u6df1\u5165\uff0c\u4e00\u7bc7\u6d89\u53ca\u91cd\u5927\u7a81\u7834\u7684\u8bba\u6587\uff0c\u5373\u4f7f\u5bf9\u76f8\u5173\u9886\u57df\u7684\u4e13\u5bb6\u4e5f\u53ef\u80fd\u5f88\u96be\u8bfb\u3002\u5982\u679c\u8bc1\u660e\u88ab\u5b8c\u6574\u5f62\u5f0f\u5316\uff0c\u9010\u6b65\u68c0\u67e5\u903b\u8f91\u63a8\u5bfc\u7684\u5de5\u4f5c\u5c31\u53ef\u4ee5<\/p>\n\n\n\n<p>\u4ea4\u7ed9\u8ba1\u7b97\u673a\u3002\u4f46\u4eba\u7c7b\u4ecd\u9700\u786e\u8ba4\uff1a<strong>\u5f62\u5f0f\u5316\u7684\u547d\u9898\u662f\u5426\u51c6\u786e\u8868\u8fbe\u4e86\u539f\u95ee\u9898\uff0c\u8bc1\u660e\u6709\u6ca1\u6709\u4f9d\u8d56\u989d\u5916\u7684\u672a\u7ecf\u8bc1\u660e\u7684\u5047\u8bbe<\/strong>\uff0c\u4ee5\u53ca\u7ed3\u679c\u7a76\u7adf\u6709\u4ec0\u4e48\u6570\u5b66\u610f\u4e49\u3002<\/p>\n\n\n\n<p>OpenAI\u3001Anthropic\u7b49<strong>\u524d<\/strong><strong>\u6cbf<\/strong><strong>AI<\/strong><strong>\u516c\u53f8<\/strong>\u4ee5\u53ca<strong>\u8bb8\u591a\u72ec\u7acb\u7684\u6570\u5b66\u5de5\u4f5c\u8005<\/strong>\u6b63\u5728\u63a2\u7d22\u201cAI\u63d0\u51fa\u8bc1\u660e\u2014\u673a\u5668\u9a8c\u8bc1\u2014\u81ea\u52a8\u4fee\u6b63\u201d\u7684\u5de5\u4f5c\u6d41\u7a0b\uff0c<strong>\u6279\u91cf\u5236\u9020\u6570\u5b66\u7a81\u7834<\/strong>\u3002\u5927\u6a21\u578b\u5f00\u59cb\u4e0eLean\u7b49\u5f62\u5f0f\u5316\u8bc1\u660e\u7cfb\u7edf\u7ed3\u5408\uff0c\u7ed9\u6570\u5b66\u7814\u7a76\u5e26\u6765\u4e86\u4e00\u573a\u540d\u526f\u5176\u5b9e\u7684\u8303\u5f0f\u8f6c\u53d8\u3002<\/p>\n\n\n\n<p class=\"has-text-align-center has-medium-font-size\"><strong><mark style=\"background-color:rgba(0, 0, 0, 0);\"><span style=\"font-size: 24px; text-decoration: overline; caret-color: rgb(8,124,186); color: rgb(8,124,186);\"><strong><br><br>\u4eba\u7c7b\u7684\u6570\u5b66\uff1f<\/strong><\/span><\/mark><\/strong><\/p>\n\n\n\n<p>\u4f5c\u4e3a\u4eba\u7c7b\u667a\u6167\u7684\u9876\u70b9\uff0c\u6570\u5b66\u5bb6\u81ea\u5df1\u5f53\u7136\u5bdf\u89c9\u5230\u4e86\u8fd9\u6837\u7684\u8d8b\u52bf\u3002\u6bd4\u5982\u9876\u7ea7\u6570\u5b66\u5bb6\u9676\u54f2\u8f69\uff0c\u4ed6\u5bf9AI\u7684\u8bc4\u4ef7\u4e00\u76f4\u5728\u53d8\u5316\u3002<\/p>\n\n\n\n<p>2024\u5e74\uff0c\u4ed6\u8bc4\u4ef7AI\u50cf\u4e00\u4e2a\u201c\u5e73\u5eb8\u4f46\u4e0d\u5b8c\u5168\u65e0\u80fd\u7684\u7814\u7a76\u751f\u201d\u3002<\/p>\n\n\n\n<p>2026\u5e743\u6708\uff0c\u4ed6\u8868\u793aAI\u5df2\u7ecf\u201cready for primetime\u201d\uff0c\u5728\u5b9e\u9645\u6570\u5b66\u7814\u7a76\u91cc\uff0c\u5f00\u59cb\u201c\u8282\u7701\u7684\u65f6\u95f4\u591a\u4e8e\u6d6a\u8d39\u7684\u65f6\u95f4\u201d\u3002\u4ed6\u4f1a\u8ba9AI\u67e5\u6587\u732e\u3001\u5199\u4ee3\u7801\u3001\u8bd5\u8ba1\u7b97\u3001\u7b5b\u6389\u5931\u8d25\u65b9\u5411\u3002<\/p>\n\n\n\n<p>\u4e0e\u6b64\u540c\u65f6\uff0c\u4ed6\u4e5f\u5728\u63d0\u9192\uff1a<strong>\u5982\u679c\u53ea\u8ffd\u6c42\u89e3\u51fa\u9898\u76ee\uff0c\u4eba\u7c7b\u53ef\u80fd\u5931\u53bb\u7814\u7a76\u8fc7\u7a0b\u4e2d\u66f4\u6709\u4ef7\u503c\u7684\u4e1c\u897f\u3002<\/strong><\/p>\n\n\n\n<p>\u6700\u8fd1\uff0c\u9676\u54f2\u8f69\u5728\u77e5\u8bc6\u5a92\u4f53Big Think\u7684\u8bbf\u8c08\u4e2d\uff0c\u628a\u6570\u5b66\u7814\u7a76\u6bd4\u4f5c\u4e00\u6b21\u5f92\u6b65\u65c5\u884c\uff1a\u7814\u7a76\u8005\u4e3a\u4e86\u5bfb\u627e\u8fdc\u5904\u7684\u7011\u5e03\uff0c\u9700\u8981\u4e0d\u65ad\u63a2\u8def\u3001\u8ff7\u8def\u3001\u753b\u5730\u56fe\uff0c\u9014\u4e2d\u8fd8\u53ef\u80fd\u53d1\u73b0\u65b0\u7684\u666f\u89c2\uff1b\u800cAI\u5219\u50cf\u4e00\u67b6\u76f4\u5347\u673a\uff0c\u53ef\u4ee5\u76f4\u63a5\u628a\u4eba\u9001\u5230\u7011\u5e03\u65c1\uff0c\u518d\u628a\u4eba\u63a5\u56de\u6765\u3002<strong>\u8fd9\u6837\u5f53\u7136\u66f4\u5feb\uff0c\u4f46\u4eba\u7c7b\u4e5f\u53ef\u80fd\u56e0\u6b64\u4e0d\u77e5\u9053\u5982\u4f55\u62b5\u8fbe\u90a3\u91cc\uff0c\u66f4\u4e0d\u4f1a\u6ce8\u610f\u5230\u6cbf\u9014\u90a3\u4e9b\u610f\u5916\u7684\u53d1\u73b0\u3002\u800c\u540e\u9762\u8fd9\u4e24\u70b9\uff0c\u53cd\u800c\u624d\u66f4\u53ef\u80fd\u662f\u6570\u5b66\u7814\u7a76\u672c\u8eab\u7684\u610f\u4e49\u3002<\/strong><\/p>\n\n\n\n<p>\u76ee\u7684\u5730\u53ea\u662f\u8fd9\u6bb5\u65c5\u7a0b\u4ef7\u503c\u7684\u4e00\u90e8\u5206\u3002\u4e00\u8def\u53d1\u73b0\u7684\u90a3\u4e9b\u5de5\u5177\u3001\u6982\u5ff5\u3001\u6280\u5de7\u3001\u5931\u8d25\u539f\u56e0\uff0c\u5f80\u5f80\u624d\u6210\u4e3a\u4e0b\u4e00\u4ee3\u6570\u5b66\u7684\u57fa\u7840\u3002<\/p>\n\n\n\n<p>9\u67083\u65e5\uff0c\u9676\u54f2\u8f69\u5728Mathstodon\u53d1\u4e86\u4e00\u7ec4\u957f\u5e16\u3002\u4ed6\u62ff\u957f\u671f\u60ac\u800c\u672a\u51b3\u7684\u4e09\u7ef4\u4e0d\u53ef\u538b\u7f29\u7eb3\u7ef4\u2013\u65af\u6258\u514b\u65af\u65b9\u7a0b\u7684\u6574\u4f53\u6b63\u5219\u6027\u95ee\u9898\uff08Navier\u2013Stokes\u95ee\u9898\uff0c\u4e5f\u53ebN-S\u95ee\u9898\uff09\u4e3e\u4f8b\uff0c\u8bbe\u60f3\u4e86\u8fd9\u6837\u4e00\u79cd\u60c5\u5f62\uff1a\u4e00\u4e2a\u62e5\u6709\u5de8\u5927\u7b97\u529b\u7684AI\u7cfb\u7edf\u5728\u5185\u90e8\u53cd\u590d\u5c1d\u8bd5\uff0c\u6700\u7ec8\u89e3\u51b3\u8fd9\u4e2a\u95ee\u9898\uff0c\u5e76\u7ed9\u51fa\u673a\u5668\u53ef\u4ee5\u6838\u9a8c\u7684\u8bc1\u660e\u3002<\/p>\n\n\n\n<figure class=\"wp-block-image size-full\"><img loading=\"lazy\" decoding=\"async\" width=\"600\" height=\"553\" src=\"https:\/\/www.huanqiukexue.com\/wp-content\/uploads\/2026\/09\/wechat_image_4-2.png\" alt=\"\" class=\"wp-image-4613\" srcset=\"https:\/\/www.huanqiukexue.com\/wp-content\/uploads\/2026\/09\/wechat_image_4-2.png 600w, https:\/\/www.huanqiukexue.com\/wp-content\/uploads\/2026\/09\/wechat_image_4-2-300x277.png 300w\" sizes=\"auto, (max-width: 600px) 100vw, 600px\" \/><\/figure>\n\n\n\n<p><span style=\"color: rgb(153, 153, 153); font-size: 16px; letter-spacing: 1px;\">\u56fe\u7247\u6765\u6e90\uff1aMathstodon<\/span><\/p>\n\n\n\n<p>\u95ee\u9898\u5728\u4e8e\uff0c\u5982\u679c\u6574\u4e2a\u63a2\u7d22\u8fc7\u7a0b\u90fd\u7559\u5728AI\u516c\u53f8\u7684\u5185\u90e8\uff0c\u4eba\u7c7b\u6700\u540e\u53ea\u770b\u5230\u90a3\u4e2a\u6700\u7ec8\u7b54\u6848\uff0c\u90a3\u4e48\u6570\u5b66\u4e0a\u6700\u6709\u4ef7\u503c\u7684\u90e8\u5206\u2014\u2014\u54ea\u4e9b\u8def\u7ebf\u5931\u8d25\u4e86\u3001\u4e3a\u4ec0\u4e48\u5931\u8d25\u3001\u7531\u6b64\u66b4\u9732\u51fa\u4e86\u4ec0\u4e48\u65b0\u7684\u6d41\u4f53\u7ed3\u6784\u2014\u2014\u53ef\u80fd\u5168\u90e8\u4e22\u5931\u3002\u5728\u8fd9\u79cd\u6781\u7aef\u60c5\u51b5\u4e0b\uff0c<strong>\u6280\u672f\u4e0a\u4e00\u4e2a\u8457\u540d\u5f00\u653e\u95ee\u9898\u88ab\u89e3\u51b3\u4e86\uff0c\u4f46<\/strong><strong>\u201c<\/strong><strong>\u51e0\u4e4e\u6ca1\u6709\u7ed9\u6570\u5b66\u589e\u52a0\u76f8\u5e94\u7684\u4ef7\u503c<\/strong><strong>\u201d<\/strong><strong>\u3002<\/strong><\/p>\n\n\n\n<p>\u53ef\u6015\u7684\u662f\uff0c\u9676\u54f2\u8f69\u53ea\u662f\u7528\u7eb3\u7ef4\u2013\u65af\u6258\u514b\u65af\u95ee\u9898\u4e3e\u4f8b\uff0c\u7f51\u4e0a\u5f88\u5feb\u5c31\u5f00\u59cb\u6d41\u4f20\u201c\u9676\u54f2\u8f69\u662f\u4e0d\u662f\u5df2\u7ecf\u770b\u8fc7Claude\u89e3\u51b3\u7eb3\u7ef4\u2013\u65af\u6258\u514b\u65af\u7684\u8bc1\u660e\u201d\u3002<strong>\u9676\u54f2\u8f69<\/strong><strong>9<\/strong><strong>\u6708<\/strong><strong>5<\/strong><strong>\u65e5\u4e13\u95e8\u6f84\u6e05\uff0c\u8fd9\u53ea\u662f\u4e00\u4e2a\u5047\u8bbe\u6027\u573a\u666f\uff0c\u4ed6\u4e0d\u77e5\u9053\u7eb3\u7ef4<\/strong><strong>\u2013<\/strong><strong>\u65af\u6258\u514b\u65af\u76ee\u524d\u6709\u4efb\u4f55\u91cd\u5927\u65b0\u8fdb\u5c55\u3002<\/strong>\u4f46\u8fd9\u4e5f\u8bf4\u660e\uff0c\u5c31\u7b97AI\u653b\u514b\u4e86\u7eb3\u7ef4\u2013\u65af\u6258\u514b\u65af\u95ee\u9898\uff0c\u5927\u5bb6\u4e5f\u4e0d\u4f1a\u611f\u5230\u5341\u5206\u610f\u5916\u3002<\/p>\n\n\n\n<p>\u8fc7\u53bb\uff0c\u4eba\u4eec\u66fe\u7528\u201c\u7231\u56e0\u65af\u5766\u6d4b\u8bd5\u201d\u6765\u60f3\u8c61AI\u771f\u6b63\u6210\u4e3a\u79d1\u5b66\u5bb6\u7684\u95e8\u69db\uff1a\u53ea\u7ed9AI\u7231\u56e0\u65af\u5766\u572820\u4e16\u7eaa\u521d\u80fd\u591f\u83b7\u5f97\u7684\u4fe1\u606f\uff0c\u770b\u770b\u5b83\u80fd\u5426\u5728\u4e0d\u77e5\u9053\u7b54\u6848\u7684\u60c5\u51b5\u4e0b\uff0c\u72ec\u7acb\u63d0\u51fa\u5e7f\u4e49\u76f8\u5bf9\u8bba\u3002Google DeepMind\u7684Demis Hassabis\u5728\u8bbf\u8c08\u4e2d\u4e5f\u7528\u8fc7\u8fd9\u6837\u7684\u601d\u60f3\u5b9e\u9a8c\uff0c\u6765\u8ba8\u8bbaAI\u662f\u5426\u5177\u5907\u5f00\u521b\u6027\u7684\u79d1\u5b66\u521b\u9020\u529b\u3002\u5b83\u5e76\u4e0d\u662f\u4e00\u9879\u5df2\u7ecf\u5efa\u7acb\u7684\u6807\u51c6\u5316\u6d4b\u8bd5\uff0c\u800c\u662f\u63d0\u51fa\u4e86\u4e00\u4e2a\u66f4\u9ad8\u7684\u8981\u6c42\uff1aAI\u4e0d\u4ec5\u8981\u4f1a\u56de\u7b54\u5df2\u6709\u7684\u95ee\u9898\uff0c\u8fd8\u8981\u5b8c\u6210\u524d\u4eba\u4ece\u672a\u5b8c\u6210\u8fc7\u7684\u667a\u529b\u8dc3\u8fc1\u3002<\/p>\n\n\n\n<p>\u7136\u800c\u5230\u4e862026\u5e74\uff0c\u8fd9\u4e2a\u66fe\u7ecf\u663e\u5f97\u9887\u4e3a\u9065\u8fdc\u7684\u8bbe\u60f3\uff0c\u4f3c\u4e4e\u5df2\u7ecf\u9732\u51fa\u4e86\u73b0\u5b9e\u7684\u8f6e\u5ed3\u3002AI\u5f53\u7136\u8fd8\u6ca1\u6709\u6210\u4e3a\u4e0b\u4e00\u4e2a\u7231\u56e0\u65af\u5766\uff0c\u4f46\u81f3\u5c11\u5728\u6570\u5b66\u9886\u57df\uff0c\u5b83\u5df2\u7ecf\u4e0d\u53ea\u662f\u590d\u8ff0\u3001\u8ba1\u7b97\u548c\u8bc1\u660e\u4eba\u7c7b\u7ed9\u51fa\u7684\u7ed3\u8bba\uff0c\u800c\u662f\u5f00\u59cb\u72ec\u7acb\u53d1\u73b0\u53cd\u4f8b\u3001\u6539\u8fdb\u6570\u5b66\u754c\u4fdd\u6301\u591a\u5e74\u7684\u7eaa\u5f55\uff0c\u751a\u81f3\u5728\u5c1d\u8bd5\u4e00\u4e2a\u672a\u89e3\u731c\u60f3\u5931\u8d25\u65f6\uff0c\u987a\u624b\u5e26\u56de\u4e00\u4e2a\u6b64\u524d\u672a\u77e5\u7684\u65b0\u7ed3\u679c\u3002\u6211\u4eec\u8fc7\u53bb\u7528\u201cAI\u80fd\u4e0d\u80fd\u4f5c\u51fa\u771f\u6b63\u7684\u79d1\u5b66\u53d1\u73b0\u201d\u8861\u91cf\u672a\u6765\uff1b\u73b0\u5728\uff0c\u8fd9\u4e2a\u95ee\u9898\u6b63\u5728\u4e00\u70b9\u70b9\u53d8\u6210\u73b0\u5b9e\u3002<strong>\u73b0\u5b9e\u7684\u8fdb\u6b65\uff0c\u4f3c\u4e4e\u6bd4\u6211\u4eec\u7684\u9884\u60f3\u8fd8\u8981\u66f4\u5feb\u4e00\u4e9b\u3002<\/strong><\/p>\n\n\n\n<span style=\"color: rgb(153, 153, 153); font-size: 16px; letter-spacing: 1px;\">\u53c2\u8003\u94fe\u63a5\uff1a<br>\nhttps:\/\/www.mathunion.org\/imu-awards\/fields-medal<br>\nhttps:\/\/www.quantamagazine.org\/jacob-tsimerman-wins-2026-fields-medal-for-andre-oort-conjecture-proof-20260723\/<br>\nhttps:\/\/www.theatlantic.com\/technology\/2026\/07\/jacob-tsimerman-math-fields-medal-openai\/688120\/<br>\nhttps:\/\/www.anthropic.com\/research\/riemann-zeta<br>\nhttps:\/\/github.com\/anthropics\/formal-math\/tree\/main\/zeta23<br>\nhttps:\/\/arxiv.org\/abs\/2608.31126<br>\nhttps:\/\/cdn.openai.com\/pdf\/51126fac-1b68-4128-9666-c908bcc16033\/short_gaps.pdf<br>\nhttps:\/\/github.com\/openai\/PrimeGaps186<br>\nhttps:\/\/www.anthropic.com\/research\/formalizing-fermats-last-theorem<br>\nhttps:\/\/github.com\/anthropics\/fermats-last-theorem<br>\nhttps:\/\/xenaproject.wordpress.com\/2026\/09\/04\/flt-anthropic-has-beaten-me-to-it\/<br>\nhttps:\/\/zhuanlan.zhihu.com\/p\/2079688005330196025<br>\nhttps:\/\/www.maths.ox.ac.uk\/node\/38132<br>\nhttps:\/\/openai.com\/index\/model-disproves-discrete-geometry-conjecture\/<br>\nhttps:\/\/arxiv.org\/abs\/2605.20695<br>\nhttps:\/\/openai.com\/index\/ten-advances-in-mathematics\/<br>\nhttps:\/\/github.com\/openai\/LongGapsBetweenPrimes<br>\nhttps:\/\/lean-lang.org\/doc\/reference\/latest\/Introduction\/<br>\nhttps:\/\/lean-lang.org\/doc\/reference\/latest\/<br>\nhttps:\/\/forum.openai.com\/en\/public\/blogs\/terence-tao-ai-is-ready-for-primetime-in-math-and-theoretical-physics-2026-03-10<br>\nhttps:\/\/mathstodon.xyz\/@tao\/117207849921390904<br>\nhttps:\/\/mathstodon.xyz\/@tao\/117207855800042681<br>\nhttps:\/\/mathstodon.xyz\/@tao\/117219101339291693<br>\nhttps:\/\/www.possible.fm\/podcasts\/demis\/<br>\nhttps:\/\/podwise.ai\/episodes\/8831491<br>\nhttps:\/\/deepmind.google\/blog\/advanced-version-of-gemini-with-deep-think-officially-achieves-gold-medal-standard-at-the-international-mathematical-olympiad\/<br>\n<\/span>\n","protected":false},"excerpt":{"rendered":"<p>LLM+Lean\u2248\u6570\u5b66\u6536\u5272\u673a<\/p>\n","protected":false},"author":3,"featured_media":4610,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[6,8],"tags":[],"class_list":["post-4609","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-technology","category-lead"],"_links":{"self":[{"href":"https:\/\/www.huanqiukexue.com\/index.php?rest_route=\/wp\/v2\/posts\/4609","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.huanqiukexue.com\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.huanqiukexue.com\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.huanqiukexue.com\/index.php?rest_route=\/wp\/v2\/users\/3"}],"replies":[{"embeddable":true,"href":"https:\/\/www.huanqiukexue.com\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=4609"}],"version-history":[{"count":1,"href":"https:\/\/www.huanqiukexue.com\/index.php?rest_route=\/wp\/v2\/posts\/4609\/revisions"}],"predecessor-version":[{"id":4614,"href":"https:\/\/www.huanqiukexue.com\/index.php?rest_route=\/wp\/v2\/posts\/4609\/revisions\/4614"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.huanqiukexue.com\/index.php?rest_route=\/wp\/v2\/media\/4610"}],"wp:attachment":[{"href":"https:\/\/www.huanqiukexue.com\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=4609"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.huanqiukexue.com\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=4609"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.huanqiukexue.com\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=4609"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}