{"id":820867,"date":"2026-07-31T19:43:32","date_gmt":"2026-07-31T11:43:32","guid":{"rendered":"https:\/\/www.alphaseek.cn\/?p=820867"},"modified":"2026-07-31T19:43:32","modified_gmt":"2026-07-31T11:43:32","slug":"%e8%85%be%e8%ae%af%e7%a7%91%e7%a0%94%e6%99%ba%e8%83%bd%e4%bd%93%e6%94%bb%e7%a0%b450%e5%b9%b4%e6%9c%aa%e8%a7%a3%e6%95%b0%e5%ad%a6%e9%9a%be%e9%a2%98%ef%bc%8c%e5%a7%9a%e9%a1%ba%e9%9b%a8%e5%96%8a%e8%af%9d","status":"publish","type":"post","link":"https:\/\/www.alphaseek.cn\/?p=820867","title":{"rendered":"\u817e\u8baf\u79d1\u7814\u667a\u80fd\u4f53\u653b\u783450\u5e74\u672a\u89e3\u6570\u5b66\u96be\u9898\uff0c\u59da\u987a\u96e8\u558a\u8bdd\u6b63\u5728\u62db\u4eba"},"content":{"rendered":"<p><img data-lazyload=\"https:\/\/x0.ifengimg.com\/res\/2026\/D707CCDDAF84BD7B97761008953E7E74A628BB49_size626_w900_h383.png\" src=\"https:\/\/tech.ifeng.com\/c\/data:image\/png;base64,iVBORw0KGgoAAAANSUhEUgAAAAEAAAABAQMAAAAl21bKAAAAA1BMVEXy8vJkA4prAAAACklEQVQI12NgAAAAAgAB4iG8MwAAAABJRU5ErkJggg==\" style=\"display:block; margin-left:auto; margin-right:auto\" alt=\"\u817e\u8baf\u79d1\u7814\u667a\u80fd\u4f53\u653b\u783450\u5e74\u672a\u89e3\u6570\u5b66\u96be\u9898\uff0c\u59da\u987a\u96e8\u558a\u8bdd\u6b63\u5728\u62db\u4eba\"  \/><\/p>\n<p><strong>\u667a\u4e1c\u897f<\/strong><\/p>\n<p><strong>\u4f5c\u8005 | \u8304\u5b50<\/strong><\/p>\n<p><strong>\u7f16\u8f91 | \u7a0b\u831c<\/strong><\/p>\n<p>\u667a\u4e1c\u897f7\u670831\u65e5\u6d88\u606f\uff0c\u6628\u65e5\uff0c<a href=\"https:\/\/www.alphaseek.cn\/?tag=%e8%85%be%e8%ae%af\" title=\"View all posts in \u817e\u8baf\" target=\"_blank\" class=\"tag_link\">\u817e\u8baf<\/a>\u9996\u5e2dAI\u79d1\u5b66\u5bb6\u59da\u987a\u96e8\u8f6c\u53d1\u817e\u8baf\u6df7\u5143\u7684\u4e00\u7bc7\u8bba\u6587\u5e76\u558a\u8bdd\uff1a\u201cHy AI4S is hiring :)\u201d\uff0c\u516c\u5f00\u62db\u52dfAI for Science\u65b9\u5411\u4eba\u624d\u3002<\/p>\n<p><img data-lazyload=\"https:\/\/x0.ifengimg.com\/res\/2026\/C11F9D882B64E435AC7AC63F235D72C8191FF9C8_size158_w1000_h425.png\" src=\"https:\/\/tech.ifeng.com\/c\/data:image\/png;base64,iVBORw0KGgoAAAANSUhEUgAAAAEAAAABAQMAAAAl21bKAAAAA1BMVEXy8vJkA4prAAAACklEQVQI12NgAAAAAgAB4iG8MwAAAABJRU5ErkJggg==\" style=\"display:block; margin-left:auto; margin-right:auto\" alt=\"\u817e\u8baf\u79d1\u7814\u667a\u80fd\u4f53\u653b\u783450\u5e74\u672a\u89e3\u6570\u5b66\u96be\u9898\uff0c\u59da\u987a\u96e8\u558a\u8bdd\u6b63\u5728\u62db\u4eba\" \/><\/p>\n<p>7\u670829\u65e5\u7531\u817e\u8baf\u6df7\u5143\u79d1\u7814\u667a\u80fd\u4f53Hyra\u53c2\u4e0e\u7834\u89e3\u6570\u5b66\u96be\u9898\u7684\u8bba\u6587\u53d1\u5e03\u5728arXiv\u4e0a\u3002\u4f9d\u6258Hyra\u5f3a\u5927\u7684\u63a8\u6f14\u4e0e\u63a2\u7d22\u80fd\u529b\uff0c\u817e\u8baf\u7814\u7a76\u56e2\u961f\u53d6\u5f97\u5173\u952e\u8fdb\u5c55\uff0c\u7834\u89e3\u4e86\u52a0\u6cd5\u7ec4\u5408\u5b66\u9886\u57df\u4e00\u9053\u6301\u7eed50\u4f59\u5e74\u7684\u516c\u5f00\u96be\u9898\u3002<\/p>\n<p>\u59da\u987a\u96e8\u7684\u8bc4\u8bba\u533a\u91cc\uff0c\u6709\u4f4d\u7f51\u53cb\u79f0\uff0cHyra\/Hy3\u7684\u8bba\u6587\u201c\u592a\u75af\u72c2\u4e86\u201d\uff0c\u7528\u663e\u5f0f\u6784\u9020\u89e3\u51b3\u4e00\u4e2a\u6570\u5341\u5e74\u672a\u89e3\u7684\u548c\u96c6\u95ee\u9898\uff0c\u5b8c\u5168\u6ca1\u60f3\u5230\u8fd9\u4f1a\u51fa\u73b0\u5728\u4e00\u6761\u62db\u8058\u5e16\u91cc\u3002<\/p>\n<p><img data-lazyload=\"https:\/\/x0.ifengimg.com\/res\/2026\/A2CE716D3084785268CDA11143879C8F4C4ED182_size86_w1000_h209.png\" src=\"https:\/\/tech.ifeng.com\/c\/data:image\/png;base64,iVBORw0KGgoAAAANSUhEUgAAAAEAAAABAQMAAAAl21bKAAAAA1BMVEXy8vJkA4prAAAACklEQVQI12NgAAAAAgAB4iG8MwAAAABJRU5ErkJggg==\" style=\"display:block; margin-left:auto; margin-right:auto\" alt=\"\u817e\u8baf\u79d1\u7814\u667a\u80fd\u4f53\u653b\u783450\u5e74\u672a\u89e3\u6570\u5b66\u96be\u9898\uff0c\u59da\u987a\u96e8\u558a\u8bdd\u6b63\u5728\u62db\u4eba\" \/><\/p>\n<p>\u8fd8\u6709\u4eba\u7545\u60f3\uff1a\u201c\u4e0b\u4e00\u4f4d\u83f2\u5c14\u5179\u5956\u5f97\u4e3b\u4f1a\u662fAI\u5417\uff1f\u201d<\/p>\n<p><img data-lazyload=\"https:\/\/x0.ifengimg.com\/res\/2026\/11A7BBA2AC7EE0604E7271F2B1BEC0E58DD757E0_size57_w1000_h172.png\" src=\"https:\/\/tech.ifeng.com\/c\/data:image\/png;base64,iVBORw0KGgoAAAANSUhEUgAAAAEAAAABAQMAAAAl21bKAAAAA1BMVEXy8vJkA4prAAAACklEQVQI12NgAAAAAgAB4iG8MwAAAABJRU5ErkJggg==\" style=\"display:block; margin-left:auto; margin-right:auto\" alt=\"\u817e\u8baf\u79d1\u7814\u667a\u80fd\u4f53\u653b\u783450\u5e74\u672a\u89e3\u6570\u5b66\u96be\u9898\uff0c\u59da\u987a\u96e8\u558a\u8bdd\u6b63\u5728\u62db\u4eba\" \/><\/p>\n<p>\u503c\u5f97\u6ce8\u610f\u7684\u662f\uff0c\u4eca\u5929\u4e0b\u5348\u817e\u8baf\u62db\u8058\u5e73\u53f0\u4e5f\u53d1\u5e03\u4e86\u7531\u59da\u987a\u96e8\u5e26\u961f\u7684AI Infra\u56e2\u961f\u62db\u8058\u7684\u6d88\u606f\u3002<\/p>\n<p><img data-lazyload=\"https:\/\/x0.ifengimg.com\/res\/2026\/877848FDF59DFBAFBA29BD04ACE47190F8CF4B41_size302_w1000_h684.png\" src=\"https:\/\/tech.ifeng.com\/c\/data:image\/png;base64,iVBORw0KGgoAAAANSUhEUgAAAAEAAAABAQMAAAAl21bKAAAAA1BMVEXy8vJkA4prAAAACklEQVQI12NgAAAAAgAB4iG8MwAAAABJRU5ErkJggg==\" style=\"display:block; margin-left:auto; margin-right:auto\" alt=\"\u817e\u8baf\u79d1\u7814\u667a\u80fd\u4f53\u653b\u783450\u5e74\u672a\u89e3\u6570\u5b66\u96be\u9898\uff0c\u59da\u987a\u96e8\u558a\u8bdd\u6b63\u5728\u62db\u4eba\" \/><\/p>\n<p>7\u670821\u65e5\uff0c\u817e\u8baf\u6df7\u5143\u63a8\u51fa\u4e86\u79d1\u7814\u667a\u80fd\u4f53Hyra\u3002\u5b83\u57fa\u4e8e\u672c\u6708\u5f00\u6e90\u7684Hy3\u6a21\u578b\uff0c\u8be5\u6a21\u578b\u603b\u53c2\u6570\u91cf\u4e3a2950\u4ebf\u3001\u6fc0\u6d3b\u53c2\u6570\u91cf\u4e3a210\u4ebf\u3002Hyra\u5728\u7834\u89e3\u8fd9\u9053\u96be\u9898\u65f6\u627f\u62c5\u7684\u662f\u81ea\u52a8\u5316\u63a2\u7d22\u5de5\u4f5c\uff0c\u5e76\u5e2e\u52a9\u7814\u7a76\u8005\u6316\u6398\u6f5c\u5728\u6570\u5b66\u6784\u9020\u601d\u8def\u3002<\/p>\n<p>Hyra\u5148\u662f\u901a\u8fc7\u641c\u7d22\u4f18\u5316\u73b0\u6709\u6709\u9650\u96c6\u5408\u6848\u4f8b\uff0c\u4e4b\u540e\u8fdb\u4e00\u6b65\u63d0\u51fa\u4e00\u5957\u53ef\u65e0\u9650\u62d3\u5c55\u7684\u53c2\u6570\u5316\u6784\u9020\u65b9\u6848\uff1a\u4f9d\u9760\u5341\u4e8c\u8fdb\u5236\u7ed3\u6784\u7ea6\u675f\u5dee\u96c6\u89c4\u6a21\uff0c\u7ed3\u5408\u5faa\u73af\u7fa4\u5bf9\u79f0\u52a0\u6cd5\u57fa\u4e0e\u4e2d\u56fd\u5269\u4f59\u5b9a\u7406\uff0c\u5b9e\u73b0\u548c\u96c6\u66f4\u5feb\u6269\u5f20\u3002AI\u8f93\u51fa\u5019\u9009\u65b9\u5411\u540e\uff0c\u7814\u7a76\u4eba\u5458\u6821\u9a8c\u601d\u8def\u3001\u63a8\u5bfc\u5b8c\u6574\u4e25\u8c28\u8bc1\u660e\uff0c\u5e76\u501f\u52a9Lean4\u5b8c\u6210\u5f62\u5f0f\u5316\u9a8c\u8bc1\u3002<\/p>\n<p>\u8fd9\u9053\u52a0\u6cd5\u7ec4\u5408\u5b66\u95ee\u9898\u7814\u7a76\u7684\u662f\uff0c\u6574\u6570\u96c6\u5408\u7ecf\u8fc7\u52a0\u6cd5\u548c\u51cf\u6cd5\u8fd0\u7b97\u540e\uff0c\u89c4\u6a21\u6269\u5f20\u4e4b\u95f4\u5230\u5e95\u5b58\u5728\u600e\u6837\u7684\u5173\u7cfb\u3002<\/p>\n<p>\u6bd4\u5982\uff0c\u7ed9\u5b9a\u4e00\u4e2a\u6709\u9650\u6574\u6570\u96c6\u5408A\uff0c\u5c06\u96c6\u5408\u4e2d\u4efb\u610f\u4e24\u4e2a\u5143\u7d20\u76f8\u52a0\uff0c\u5e76\u53bb\u9664\u91cd\u590d\u7ed3\u679c\uff0c\u53ef\u4ee5\u5f97\u5230\u201c\u548c\u96c6\u201dA+A\uff1b\u540c\u6837\uff0c\u5c06\u4efb\u610f\u4e24\u4e2a\u5143\u7d20\u76f8\u51cf\uff0c\u53ef\u4ee5\u5f97\u5230\u201c\u5dee\u96c6\u201dA-A\u3002\u6570\u5b66\u5bb6\u957f\u671f\u5173\u6ce8\u7684\u95ee\u9898\u662f\uff1a\u4e00\u4e2a\u96c6\u5408\u7ecf\u8fc7\u52a0\u6cd5\u6269\u5f20\u540e\uff0c\u548c\u96c6\u89c4\u6a21\u80fd\u591f\u589e\u957f\u591a\u5c11\uff1f\u8fd9\u79cd\u589e\u957f\u80fd\u529b\u4e0e\u5dee\u96c6\u6269\u5f20\u4e4b\u95f4\u662f\u5426\u5b58\u5728\u67d0\u79cd\u56fa\u5b9a\u89c4\u5f8b\uff1f<\/p>\n<p>\u4e3a\u4e86\u8861\u91cf\u8fd9\u79cd\u6269\u5f20\u5173\u7cfb\uff0c\u6570\u5b66\u5bb6\u5b9a\u4e49\u4e86\u4e24\u4e2a\u6307\u6807\u3002\u5176\u4e2d\uff0c\u03c3(A)=|A+A|\/|A|\u7528\u4e8e\u8868\u793a\u548c\u96c6\u76f8\u5bf9\u4e8e\u539f\u96c6\u5408\u7684\u6269\u5f20\u500d\u6570\uff0c\u03b4(A)=|A-A|\/|A|\u8868\u793a\u5dee\u96c6\u6269\u5f20\u500d\u6570\uff0c\u5e76\u8fdb\u4e00\u6b65\u5b9a\u4e49C(A)=log\u03c3(A)\/log\u03b4(A)\uff0c\u7528\u6765\u8861\u91cf\u548c\u96c6\u6269\u5f20\u80fd\u529b\u76f8\u5bf9\u4e8e\u5dee\u96c6\u6269\u5f20\u80fd\u529b\u7684\u6bd4\u4f8b\u3002<\/p>\n<p>\u5df2\u6709\u6570\u5b66\u7406\u8bba\u8bc1\u660e\uff0cC(A)\u22642\u3002\u4f46\u8fc7\u53bb50\u591a\u5e74\uff0c\u6570\u5b66\u5bb6\u4e00\u76f4\u65e0\u6cd5\u56de\u7b54\u4e00\u4e2a\u5173\u952e\u95ee\u9898\uff1a2\u662f\u5426\u53ea\u662f\u4e00\u4e2a\u7406\u8bba\u4e0a\u7684\u5bbd\u677e\u4e0a\u754c\uff0c\u8fd8\u662f\u80fd\u591f\u901a\u8fc7\u6784\u9020\u7279\u6b8a\u96c6\u5408\u65e0\u9650\u903c\u8fd1\u7684\u6700\u4f18\u7ed3\u679c\uff1f<\/p>\n<p>\u56f4\u7ed5\u8fd9\u4e00\u95ee\u9898\uff0c\u6570\u5b66\u754c\u6301\u7eed\u5c1d\u8bd5\u5bfb\u627e\u66f4\u63a5\u8fd12\u7684\u96c6\u5408\u6784\u9020\u30021969\u5e74\uff0c\u76f8\u5173\u7ed3\u679c\u7ea6\u4e3a1.0290\uff1b1973\u5e74\u63d0\u5347\u81f31.0598\uff1b2013\u5e74\u8fdb\u4e00\u6b65\u8fbe\u52301.1259\u3002\u8fd1\u4e00\u5e74\uff0cAI\u8f85\u52a9\u641c\u7d22\u5f00\u59cb\u53c2\u4e0e\u8fd9\u4e00\u95ee\u9898\u7684\u63a2\u7d22\uff0c\u5c06\u5df2\u6709\u6570\u503c\u63a8\u8fdb\u52301.1449\u3002\u8be5\u8bba\u6587\u8fd8\u8bb0\u5f55\u4e86\u4e00\u9879\u5185\u90e8\u5b9e\u9a8c\uff0cCodex\uff08GPT-5.5\uff09\u5728\u4eba\u7c7b\u5f15\u5bfc\u4e0b\u5c06\u8fd9\u4e00\u6570\u503c\u8fdb\u4e00\u6b65\u63d0\u5347\u81f31.2851\u3002<\/p>\n<\/p>\n<p>\u4f46\u8fd9\u4e9b\u63a2\u7d22\u90fd\u5b58\u5728\u4e00\u4e2a\u9650\u5236\uff1a\u627e\u5230\u4e00\u4e2a\u66f4\u4f18\u7684\u96c6\u5408\uff0c\u5e76\u4e0d\u610f\u5473\u7740\u627e\u5230\u4e86\u80fd\u591f\u8bc1\u660e\u7406\u8bba\u6781\u9650\u7684\u65b9\u6cd5\u3002\u6b64\u524d\u7684\u7ed3\u679c\u66f4\u591a\u662f\u5728\u4e0d\u65ad\u5237\u65b0\u5177\u4f53\u6848\u4f8b\uff0c\u800c\u65e0\u6cd5\u56de\u7b54C(A)\u662f\u5426\u771f\u7684\u53ef\u4ee5\u65e0\u9650\u63a5\u8fd12\u3002<\/p>\n<p>Hyra\u7684\u7a81\u7834\u5728\u4e8e\uff0c\u5b83\u6ca1\u6709\u505c\u7559\u5728\u5bfb\u627e\u66f4\u4f18\u6837\u672c\uff0c\u800c\u662f\u8fdb\u4e00\u6b65\u53d1\u73b0\u4e86\u4e00\u5957\u53ef\u4ee5\u63a8\u5e7f\u7684\u6570\u5b66\u6784\u9020\u65b9\u6cd5\u3002<\/p>\n<p>\u7814\u7a76\u56e2\u961f\u9996\u5148\u8ba9Hyra\u8fdb\u884c\u6709\u9650\u96c6\u5408\u641c\u7d22\uff0c\u5c06\u5df2\u6709\u6700\u597d\u7ed3\u679c\u4ece\u7ea61.14\u63d0\u5347\u81f31.21\u3002\u4f46\u968f\u7740\u96c6\u5408\u89c4\u6a21\u6269\u5927\uff0c\u66b4\u529b\u641c\u7d22\u9762\u4e34\u8ba1\u7b97\u91cf\u548c\u5185\u5b58\u9650\u5236\uff0c\u540c\u65f6\u641c\u7d22\u7ed3\u679c\u4e5f\u96be\u4ee5\u8f6c\u5316\u4e3a\u4e25\u683c\u7684\u6570\u5b66\u8bc1\u660e\u3002<\/p>\n<p>\u968f\u540e\uff0c\u56e2\u961f\u8ba9Hyra\u5c1d\u8bd5\u81ea\u4e3b\u63d0\u51fa\u6570\u5b66\u6784\u9020\u548c\u63a8\u7406\u65b9\u6848\uff0c\u5e76\u901a\u8fc7LLM judge\u5bf9\u63a2\u7d22\u8fc7\u7a0b\u8fdb\u884c\u53cd\u9988\u3002\u7ecf\u8fc7\u7ea624\u5c0f\u65f6\u63a2\u7d22\u540e\uff0cHyra\u63d0\u51fa\u8bba\u6587\u4e2d\u7684\u6838\u5fc3\u601d\u8def\uff1a\u5229\u7528\u5341\u4e8c\u8fdb\u5236\u6570\u5b57\u7ed3\u6784\u63a7\u5236\u5dee\u96c6\u89c4\u6a21\uff0c\u518d\u7ed3\u5408\u5faa\u73af\u7fa4\u4e0a\u7684\u5bf9\u79f0\u52a0\u6cd5\u57fa\u4e0e\u4e2d\u56fd\u5269\u4f59\u5b9a\u7406\uff0c\u8ba9\u548c\u96c6\u89c4\u6a21\u5b9e\u73b0\u63a5\u8fd1\u5e73\u65b9\u7ea7\u589e\u957f\u3002<\/p>\n<p>\u6362\u53e5\u8bdd\u8bf4\uff0cHyra\u627e\u5230\u7684\u5e76\u4e0d\u662f\u4e00\u4e2a\u201c\u66f4\u5927\u7684\u7b54\u6848\u201d\uff0c\u800c\u662f\u4e00\u79cd\u53ef\u4ee5\u4e0d\u65ad\u6269\u5c55\u7684\u6784\u9020\u89c4\u5f8b\u3002<\/p>\n<p>\u57fa\u4e8e\u8fd9\u4e00\u65b9\u6cd5\uff0c\u7814\u7a76\u56e2\u961f\u6784\u9020\u51fa\u4e00\u65cf\u6709\u9650\u6574\u6570\u96c6\u5408A<sub>K<\/sub>\uff0c\u5e76\u8bc1\u660e\u968f\u7740\u53c2\u6570K\u4e0d\u65ad\u589e\u52a0\uff0cC(A<sub>K<\/sub>)\u4f1a\u65e0\u9650\u63a5\u8fd12\u3002\u8fd9\u4e5f\u610f\u5473\u7740\uff0c\u6570\u5b66\u5bb6\u957f\u671f\u5bfb\u627e\u7684\u7b54\u6848\u5f97\u5230\u89e3\u51b3\uff1a2\u786e\u5b9e\u662f\u8be5\u95ee\u9898\u7684\u7406\u8bba\u4e0a\u754c\uff0c\u4f46\u4e0d\u5b58\u5728\u4efb\u4f55\u6709\u9650\u6574\u6570\u96c6\u5408\u80fd\u591f\u771f\u6b63\u8fbe\u52302\u3002<\/p>\n<p>\u8fd9\u4e5f\u4e0d\u662f\u4e00\u6b21\u7b80\u5355\u7684\u66b4\u529b\u641c\u7d22\u3002\u7814\u7a76\u56e2\u961f\u6700\u521d\u8ba9Hyra\u8fdb\u884c\u6709\u9650\u96c6\u5408\u641c\u7d22\uff0c\u5c06\u6700\u597d\u7ed3\u679c\u4ece\u7ea61.14\u63d0\u9ad8\u81f31.21\u3002\u4f46\u663e\u5f0f\u679a\u4e3e\u4f1a\u53d7\u5230\u8ba1\u7b97\u91cf\u548c\u5185\u5b58\u9650\u5236\uff0c\u4e5f\u5f88\u96be\u8f6c\u5316\u6210\u53ef\u4ee5\u4e25\u683c\u8bc1\u660e\u7684\u901a\u7528\u6784\u9020\u3002<\/p>\n<p>\u968f\u540e\uff0c\u7814\u7a76\u56e2\u961f\u5bf9\u8bc1\u660e\u8fc7\u7a0b\u8fdb\u884c\u4e86\u4eba\u5de5\u68c0\u67e5\u548c\u6574\u7406\uff0c\u5e76\u516c\u5f00\u4e86Lean 4\u5f62\u5f0f\u5316\u8bc1\u660e\u3002\u76ee\u524d\uff0c\u8be5\u8bba\u6587\u4ecd\u4e3aarXiv\u9884\u5370\u672c\uff0c\u5c1a\u672a\u7ecf\u8fc7\u540c\u884c\u8bc4\u8bae\u3002<\/p>\n<p><strong>\u7ed3\u8bed\uff1aAI\u4e0d\u53ea\u5bfb\u627e\u7b54\u6848\uff0c\u4e5f\u5f00\u59cb\u63d0\u51fa\u65b0\u65b9\u6cd5<\/strong><\/p>\n<p>\u4ece\u63a8\u51faHyra\uff0c\u5230\u7528Hy3\u8f85\u52a9\u89e3\u51b350\u591a\u5e74\u672a\u89e3\u7684\u6570\u5b66\u95ee\u9898\uff0c\u518d\u5230\u59da\u987a\u96e8\u56e2\u961f\u62db\u4eba\uff0c\u817e\u8baf\u6df7\u5143\u6b63\u5728\u628a\u5927\u6a21\u578b\u80fd\u529b\u5ef6\u4f38\u5230\u79d1\u5b66\u53d1\u73b0\u9886\u57df\u3002<\/p>\n<p>\u6b64\u6b21\u5de5\u4f5c\u66f4\u503c\u5f97\u5173\u6ce8\u7684\u5730\u65b9\uff0c\u662fAI\u4ece\u201c\u641c\u7d22\u66f4\u597d\u7684\u7b54\u6848\u201d\u8d70\u5411\u4e86\u201c\u63d0\u51fa\u53ef\u4ee5\u88ab\u8bc1\u660e\u7684\u6570\u5b66\u6784\u9020\u201d\u3002\u5728AI\u63d0\u51fa\u601d\u8def\u3001\u4eba\u7c7b\u68c0\u67e5\u6574\u7406\u3001\u5f62\u5f0f\u5316\u5de5\u5177\u9a8c\u8bc1\u7684\u534f\u4f5c\u6a21\u5f0f\u4e0b\uff0cAI4S\u6b63\u5728\u6210\u4e3a\u5927\u6a21\u578b\u7ade\u4e89\u7684\u65b0\u6218\u573a\u3002<\/p>\n<p>\u76f8\u5173\u94fe\u63a5\uff1a<\/p>\n<p>\u8bba\u6587\uff1ahttps:\/\/arxiv.org\/abs\/2607.27199<\/p>\n<p>Lean\u5f62\u5f0f\u5316\u8bc1\u660e\uff1ahttps:\/\/github.com\/linhaowei1\/sum-diff-proof<\/p>\n<p>Hyra\uff1ahttps:\/\/hy.tencent.ai\/research\/hyra<\/p>\n<p>\u6765\u6e90\uff1a\u817e\u8baf\u6df7\u5143\u3001X<\/p>\n<p>(\u6765\u6e90\uff1a\u65b0\u6d6a\u79d1\u6280)<\/p>\n","protected":false},"excerpt":{"rendered":"<p>\u667a\u4e1c\u897f \u4f5c\u8005 | \u8304\u5b50 \u7f16\u8f91 | \u7a0b\u831c \u667a\u4e1c\u897f7\u670831\u65e5\u6d88\u606f\uff0c\u6628\u65e5\uff0c\u817e\u8baf\u9996\u5e2dAI\u79d1\u5b66\u5bb6\u59da\u987a\u96e8\u8f6c\u53d1\u817e\u8baf\u6df7\u5143\u7684\u4e00\u7bc7 [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":[],"categories":[6],"tags":[119],"views":3,"_links":{"self":[{"href":"https:\/\/www.alphaseek.cn\/index.php?rest_route=\/wp\/v2\/posts\/820867"}],"collection":[{"href":"https:\/\/www.alphaseek.cn\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.alphaseek.cn\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.alphaseek.cn\/index.php?rest_route=\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/www.alphaseek.cn\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=820867"}],"version-history":[{"count":0,"href":"https:\/\/www.alphaseek.cn\/index.php?rest_route=\/wp\/v2\/posts\/820867\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.alphaseek.cn\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=820867"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.alphaseek.cn\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=820867"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.alphaseek.cn\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=820867"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}