{"id":964,"date":"2024-08-03T00:41:22","date_gmt":"2024-08-02T16:41:22","guid":{"rendered":"https:\/\/www.62ar.com\/?p=964"},"modified":"2024-08-03T00:41:22","modified_gmt":"2024-08-02T16:41:22","slug":"%e8%82%a5%e5%95%be%e5%95%be%e7%a7%91%e6%8a%80%e5%ae%89%e5%85%a8%e6%96%b0%e9%97%bb-20240726","status":"publish","type":"post","link":"http:\/\/www.62ar.com\/index.php\/2024\/08\/03\/%e8%82%a5%e5%95%be%e5%95%be%e7%a7%91%e6%8a%80%e5%ae%89%e5%85%a8%e6%96%b0%e9%97%bb-20240726\/","title":{"rendered":"\u80a5\u557e\u557e\u79d1\u6280\u5b89\u5168\u65b0\u95fb-20240726"},"content":{"rendered":"

\u5168\u7403\u8fde\u7eed\u7b2c\u4e24\u5929\u6253\u7834\u5355\u65e5\u6700\u70ed\u7eaa\u5f55<\/span><\/p>\n

\u6b27\u76df\u6c14\u5019\u76d1\u6d4b\u673a\u6784\u54e5\u767d\u5c3c\u6c14\u5019\u53d8\u5316\u670d\u52a1\u5c40\uff08C3S\uff09\u516c\u5e03\u7684\u6570\u636e\u663e\u793a\uff0c7 \u6708 21 \u65e5\u5168\u7403\u65e5\u5e73\u5747\u6c14\u6e29\u4e3a 17.09\u00b0C\uff0c22 \u65e5\u4e3a 17.15\u00b0C\uff0c\u8fde\u7eed\u7b2c\u4e8c\u5929\u6253\u7834\u5355\u65e5\u6700\u70ed\u7eaa\u5f55\u30027 \u6708 22 \u65e5\u662f\u59cb\u4e8e 1940 \u5e74\u7684 ERA5 \u6570\u636e\u96c6\u4e2d\u6700\u70ed\u7684\u4e00\u5929\u30022023 \u5e74 7 \u6708\u4e4b\u524d\u7684\u5168\u7403\u65e5\u5e73\u5747\u6c14\u6e29\u7eaa\u5f55\u662f 2016 \u5e74 8 \u6708 13 \u65e5\u521b\u4e0b\u7684 16.8\u00b0C\uff0c\u81ea 2023 \u5e74 7 \u6708 3 \u65e5\u4ee5\u6765\uff0c\u5df2\u7ecf\u6709 53 \u5929\u8d85\u8fc7\u4e86\u6b64\u524d\u7684\u65e5\u5747\u6700\u70ed\u6e29\u5ea6\u7eaa\u5f55\u30022024 \u5e74\u9884\u8ba1\u5c06\u662f\u6709\u8bb0\u5f55\u4ee5\u6765\u6700\u70ed\u7684\u4e00\u5e74<\/span><\/p>\n

\u8c37\u6b4c\u63a8\u51fa\u4e24\u5927\u6570\u5b66\u6a21\u578b 19\u79d2\u89e3\u5f00IMO2024\u51e0\u4f55\u95ee\u9898<\/span><\/p>\n

Google DeepMind\u7684AI\u6a21\u578b\u89e3\u51b3\u4e86\u4eca\u5e74\u56fd\u9645\u6570\u5b66\u5965\u6797\u5339\u514b\u7ade\u8d5b\uff08IMO\uff09\u516d\u4e2a\u95ee\u9898\u4e2d\u7684\u56db\u4e2a\u95ee\u9898\uff0c\u4eba\u5de5\u667a\u80fd\u9996\u6b21\u8fbe\u5230\u4e86\u94f6\u724c\u6807\u51c6\u3002\u5f53\u5730\u65f6\u95f47\u670825\u65e5\uff0cGoogleDeepMind\u516c\u5e03\u4e13\u7528\u4e8e\u6570\u5b66\u63a8\u7406\u7684\u6a21\u578bAlphaProof\uff0c\u4ee5\u53ca\u4e13\u6ce8\u4e8e\u51e0\u4f55\u7684\u6a21\u578b\u66f4\u65b0\u7248\u672cAlphaGeometry 2<\/span><\/p>\n

Ocean Energy\u5728\u590f\u5a01\u5937\u90e8\u7f72\u7535\u7f51\u7ea7\u6ce2\u6d6a\u80fd\u53d1\u7535\u673a<\/span><\/p>\n

\u6d77\u6d0b\u80fd\u6e90\u516c\u53f8\u5df2\u5c06\u5176 826 \u5428\u91cd\u7684\u6ce2\u6d6a\u80fd\u8f6c\u6362\u6d6e\u6807 OE-35 \u90e8\u7f72\u5728\u74e6\u80e1\u5c9b\u6d77\u5cb8\u5916\u7684\u7f8e\u56fd\u6d77\u519b\u6ce2\u6d6a\u80fd\u8bd5\u9a8c\u573a\uff0c\u7136\u540e\u5c06\u5176\u63a5\u5165\u590f\u5a01\u5937\u7535\u7f51\u3002OE-35 \u5c3a\u5bf8\u4e3a 125 x 59 \u82f1\u5c3a\uff0838 x 18 \u7c73\uff09\uff0c\u5403\u6c34\u4e3a 31 \u82f1\u5c3a\uff089 \u7c73\uff09\uff0c\u5728\u6b27\u80e1\u5c9b\u5411\u98ce\u4e00\u4fa7\u7684\u5361\u5185\u5965\u8d6b\u6d77\u6e7e\u5df2\u7ecf\u662f\u4e00\u9053\u719f\u6089\u7684\u98ce\u666f\u3002<\/span><\/p>\n

\u745e\u58eb\u5f3a\u5236\u653f\u5e9c\u673a\u6784\u4f7f\u7528\u5f00\u6e90\u8f6f\u4ef6 \u5e0c\u671b\u63d0\u9ad8\u6548\u7387\u3001\u5b89\u5168\u548c\u900f\u660e\u5ea6<\/span><\/p>\n

\u81ea\u7531\u3001\u5f00\u653e\u6e90\u7801\u8f6f\u4ef6\u901a\u5e38\u88ab\u5ba3\u4f20\u4e3a\u5177\u6709\u6210\u672c\u6548\u76ca\u7684\u4e13\u6709\u6216\u5546\u4e1a\u8f6f\u4ef6\u7684\u66ff\u4ee3\u54c1\u3002\u867d\u7136\u81ea\u7531\u548c\u5f00\u653e\u6e90\u7801\u8f6f\u4ef6\u5c1a\u672a\u5f97\u5230\u5e7f\u6cdb\u91c7\u7528\uff0c\u4f46\u4e00\u4e9b\u6b27\u6d32\u56fd\u5bb6\u6b63\u8bd5\u56fe\u901a\u8fc7\u5b9e\u65bd\u65b0\u7684\u6cd5\u5f8b\u8981\u6c42\u6765\u52a0\u5feb\u8fd9\u4e00\u8fdb\u7a0b<\/span><\/p>\n

\u5bf9\u7261\u86ce\u6765\u8bf4 \u6d77\u6d0b\u73af\u5883\u53d8\u5f97\u592a\u5435\u4e86<\/span><\/p>\n

\u963f\u5fb7\u83b1\u5fb7\u5927\u5b66\u7684\u7814\u7a76\u663e\u793a\uff0c\u4eba\u7c7b\u4ea7\u751f\u7684\u566a\u97f3\u6b63\u5728\u963b\u788d\u5c0f\u7261\u86ce\u5229\u7528\u81ea\u7136\u58f0\u97f3\u5bfb\u627e\u6816\u606f\u5730\u7684\u80fd\u529b\uff0c\u4ece\u800c\u5f71\u54cd\u6d77\u6d0b\u4fdd\u62a4\u5de5\u4f5c\u3002\u867d\u7136\u58f0\u5b66\u6280\u672f\u5728\u8f83\u5b89\u9759\u7684\u5730\u533a\u6709\u6240\u5e2e\u52a9\uff0c\u4f46\u5728\u5608\u6742\u7684\u57ce\u5e02\u73af\u5883\u4e2d\uff0c\u5176\u6548\u679c\u5374\u5927\u6253\u6298\u6263\u3002 <\/span><\/p>\n

\u7f8e\u56fd\u53c8\u53d1\u73b03\u4f8b\u4eba\u611f\u67d3\u79bd\u6d41\u611f\u75c5\u4f8b CDC\uff1a\u666e\u901a\u516c\u4f17\u611f\u67d3\u98ce\u9669\u5f88\u4f4e<\/span><\/p>\n

\u7f8e\u56fd\u79d1\u7f57\u62c9\u591a\u5dde\u516c\u5171\u536b\u751f\u548c\u73af\u5883\u90e8\u5468\u56db\u5ba3\u5e03\uff0c\u5728\u5bb6\u79bd\u517b\u6b96\u573a\u5de5\u4eba\u4e2d\u53c8\u53d1\u73b0\u4e863\u4f8b\u4eba\u7c7b\u611f\u67d3\u79bd\u6d41\u611f\u7684\u75c5\u4f8b\uff0c\u4f7f\u4eca\u5e74\u7f8e\u56fd\u786e\u8bca\u7684\u4eba\u7c7b\u611f\u67d3\u79bd\u6d41\u611f\u75c5\u4f8b\u603b\u6570\u8fbe\u523013\u4f8b\u3002\u8be5\u536b\u751f\u90e8\u95e8\u8868\u793a\uff0c\u8fd9\u4e09\u4f8b\u65b0\u75c5\u4f8b\u6d89\u53ca\u5728\u97e6\u5c14\u5fb7\u53bf\u4e00\u4e2a\u9e21\u86cb\u519c\u573a\u5bb0\u6740\u53d7\u611f\u67d3\u9e21\u7684\u5bb6\u79bd\u517b\u6b96\u573a\u5de5\u4eba\u3002\u7f8e\u56fd\u75be\u75c5\u63a7\u5236\u4e0e\u9884\u9632\u4e2d\u5fc3\uff08CDC\uff09\u5728\u4e00\u4efd\u58f0\u660e\u4e2d\u8868\u793a\uff0c\u8fd9\u4e9b\u5de5\u4eba\u75c7\u72b6\u8f7b\u5fae\uff0c\u5e76\u5df2\u670d\u7528\u6297\u75c5\u6bd2\u836f\u7269<\/span><\/p>\n

\u7814\u7a76\u53d1\u73b0\u8bed\u8a00\u80fd\u591f\u5f71\u54cd\u5927\u8111\u611f\u77e5\u4e0d\u540c\u8272\u8c03\u7684\u901f\u5ea6<\/span><\/p>\n

\u65b0\u7684\u7814\u7a76\u53d1\u73b0\uff0c\u7528\u4e0d\u540c\u7684\u8bcd\u6765\u8868\u793a\u4e0d\u540c\u7684\u989c\u8272\u6df1\u6d45\uff0c\u4e0e\u53ea\u7528\u4e00\u4e2a\u8bcd\u6765\u8868\u793a\u4e00\u79cd\u989c\u8272\u7684\u8bed\u8a00\u76f8\u6bd4\uff0c\u7528\u4e0d\u540c\u7684\u8bcd\u6765\u8868\u793a\u4e0d\u540c\u7684\u989c\u8272\u6df1\u6d45\uff0c\u80fd\u8ba9\u5927\u8111\u66f4\u5feb\u5730\u611f\u77e5\u8fd9\u4e9b\u989c\u8272\u6df1\u6d45\u3002\u8fd9\u9879\u7814\u7a76\u7ed3\u679c\u51f8\u663e\u4e86\u8bed\u8a00\u4e0e\u611f\u77e5\u4e4b\u95f4\u7684\u91cd\u8981\u4e92\u52a8\u5173\u7cfb\u3002 <\/span><\/p>\n

\u5df4\u897f\u786e\u8bca\u5965\u7f57\u666e\u5207\u70ed\u75c5\u4f8b\u8d857000\u4f8b \u5168\u7403\u9996\u6b21\u53d1\u73b0\u81f4\u6b7b\u75c5\u4f8b<\/span><\/p>\n

\u5df4\u897f\u536b\u751f\u90e8\u8868\u793a\uff0c\u5df2\u8bb0\u5f55\u5168\u7403\u9996\u4f8b\u5965\u7f57\u666e\u5207\u70ed\u81f4\u6b7b\u75c5\u4f8b\uff0c\u6709\u4e24\u540d\u5973\u6027\u6b7b\u4e8e\u8be5\u75be\u75c5\u3002\u8fd9\u662f\u5168\u7403\u9996\u6b21\u53d1\u73b0\u5965\u7f57\u666e\u5207\u70ed\u81f4\u6b7b\u75c5\u4f8b\u3002  \u636e\u5df4\u897f\u536b\u751f\u90e822\u65e5\u6700\u65b0\u516c\u5e03\u7684\u6743\u5a01\u6570\u636e\uff0c\u76ee\u524d\u5df4\u897f\u5168\u56fd\u8303\u56f4\u5185\u5df2\u670916\u4e2a\u5dde\u62a5\u544a\u4e86\u5965\u7f57\u666e\u5207\u70ed\u7684\u786e\u8bca\u75c5\u4f8b\uff0c\u603b\u6570\u6fc0\u589e\u81f3\u8d85\u8fc77000\u4f8b\uff0c\u8fd9\u4e00\u6570\u5b57\u4e0d\u4ec5\u8fdc\u8d85\u53bb\u5e74\u5168\u5e74\u7d2f\u8ba1\u7684831\u4f8b\uff0c\u66f4\u51f8\u663e\u4e86\u75ab\u60c5\u5728\u5df4\u897f\u5883\u5185\u7684\u8fc5\u901f\u8513\u5ef6\u6001\u52bf<\/span><\/p>\n

\u7814\u7a76\u4eba\u5458\u6253\u9020\u51fa\u53ef\u4e3a\u6f5c\u8247\u63d0\u4f9b30\u5929\u52a8\u529b\u7684\u6d77\u6c34 – \u6c22\u53cd\u5e94\u5668<\/span><\/p>\n

\u9ebb\u7701\u7406\u5de5\u5b66\u9662\u7684\u79d1\u5b66\u5bb6\u4eec\u53d1\u73b0\u4e86\u4e00\u79cd\u751f\u4ea7\u6c22\u71c3\u6599\u7684\u65b0\u65b9\u6cd5\uff0c\u53ea\u9700\u4f7f\u7528\u82cf\u6253\u7f50\u3001\u6d77\u6c34\u548c\u5496\u5561\u6e23\u5373\u53ef\u3002\u7814\u7a76\u5c0f\u7ec4\u8868\u793a\uff0c\u8fd9\u79cd\u5316\u5b66\u53cd\u5e94\u53ef\u4ee5\u4e3a\u5438\u5165\u6d77\u6c34\u7684\u6d77\u6d0b\u8f66\u8f86\u7684\u53d1\u52a8\u673a\u6216\u71c3\u6599\u7535\u6c60\u63d0\u4f9b\u52a8\u529b\u3002 <\/span><\/p>\n

OpenAI\u5f00\u53d1\u4e86\u4e00\u79cd\u65b0\u65b9\u6cd5\u6765\u6559\u6388AI\u6a21\u578b\u4e0e\u5b89\u5168\u653f\u7b56\u4fdd\u6301\u4e00\u81f4<\/span><\/p>\n

OpenAI \u5ba3\u5e03\u4e86\u4e00\u79cd\u65b0\u7684\u65b9\u6cd5\u6765\u6559\u6388\u4eba\u5de5\u667a\u80fd\u6a21\u578b\u4e0e\u5b89\u5168\u653f\u7b56\u4fdd\u6301\u4e00\u81f4\uff0c\u8fd9\u79cd\u65b9\u6cd5\u88ab\u79f0\u4e3a”\u57fa\u4e8e\u89c4\u5219\u7684\u5956\u52b1”\uff08Rules Based Rewards\uff09\u3002\u636e OpenAI \u5b89\u5168\u7cfb\u7edf\u8d1f\u8d23\u4eba Lilian Weng \u4ecb\u7ecd\uff0c\u57fa\u4e8e\u89c4\u5219\u7684\u5956\u52b1\uff08RBR\uff09\u53ef\u4ee5\u81ea\u52a8\u5bf9\u4e00\u4e9b\u6a21\u578b\u8fdb\u884c\u5fae\u8c03\uff0c\u5e76\u7f29\u77ed\u786e\u4fdd\u6a21\u578b\u4e0d\u4f1a\u4ea7\u751f\u610f\u5916\u7ed3\u679c\u6240\u9700\u7684\u65f6\u95f4<\/span><\/p>\n

\u7528 AI \u751f\u6210\u7684\u6570\u636e\u96c6\u8bad\u7ec3\u6a21\u578b\u53ef\u80fd\u5bfc\u81f4\u6a21\u578b\u5d29\u6e83<\/span><\/p>\n

\u6839\u636e\u53d1\u8868\u5728\u300a\u81ea\u7136\u300b\u671f\u520a\u4e0a\u7684\u4e00\u9879\u7814\u7a76\uff0cGoogle DeepMind \u548c\u725b\u6d25\u5927\u5b66\u7684\u7814\u7a76\u4eba\u5458\u53d1\u73b0\uff0c\u7528 AI \u751f\u6210\u7684\u6570\u636e\u96c6\u8bad\u7ec3 AI \u6a21\u578b\u53ef\u80fd\u5bfc\u81f4\u6a21\u578b\u5d29\u6e83\uff0c\u5373\u5728\u6570\u4ee3\u4e4b\u540e\u4ea7\u751f\u65e0\u610f\u4e49\u7684\u8f93\u51fa\u3002\u4e3e\u4f8b\u6765\u8bf4\uff0c\u6a21\u578b\u4ece\u4e2d\u4e16\u7eaa\u5efa\u7b51\u6587\u672c\u5f00\u59cb\uff0c\u5230\u7b2c\u4e5d\u4ee3\u8f93\u51fa\u4e86\u6beb\u4e0d\u76f8\u5e72\u7684\u957f\u8033\u5927\u91ce\u5154\u3002\u7814\u7a76\u4eba\u5458\u53d1\u73b0\uff0cAI \u96be\u4ee5\u638c\u63e1\u8bad\u7ec3\u6570\u636e\u96c6\u4e2d\u4e0d\u5e38\u89c1\u7684\u6587\u672c\u884c\uff0c\u540e\u7eed\u5728\u6b64\u8f93\u51fa\u4e0a\u7684\u8bad\u7ec3\u65e0\u6cd5\u5ef6\u7eed\u8fd9\u4e9b\u5fae\u5999\u5dee\u5f02\u3002\u4ee5\u8fd9\u79cd\u65b9\u5f0f\u57fa\u4e8e\u65e9\u671f\u6a21\u578b\u7684\u8f93\u51fa\u8bad\u7ec3\u65b0\u6a21\u578b\u6700\u7ec8\u4f1a\u9677\u5165\u9012\u5f52\u5faa\u73af\u3002\u4ee5\u751f\u6210\u72d7\u56fe\u50cf\u7684\u6a21\u578b\u4e3a\u4f8b\uff0cAI \u6a21\u578b\u503e\u5411\u4e8e\u91cd\u65b0\u521b\u9020\u8bad\u7ec3\u6570\u636e\u4e2d\u6700\u5e38\u89c1\u7684\u72ac\u79cd\uff0c\u91d1\u6bdb\u730e\u72ac\u76f8\u6bd4\u8d1d\u5409\u683c\u91cc\u82ac\u51e1\u4e01\u72ac\uff08Petit Basset Griffon Vendeen\uff09\u66f4\u5e38\u89c1\uff0c\u56e0\u6b64\u91d1\u6bdb\u730e\u72ac\u4f1a\u88ab\u8fc7\u5ea6\u4ee3\u8868\u3002\u5982\u679c\u7528\u8fc7\u5ea6\u4ee3\u8868\u91d1\u6bdb\u730e\u72ac\u7684\u6570\u636e\u96c6\u8bad\u7ec3\u540e\u7eed\u6a21\u578b\uff0c\u95ee\u9898\u5c06\u4f1a\u6108\u53d1\u4e25\u91cd\uff0c\u540e\u7eed\u6a21\u578b\u5c06\u4f1a\u5fd8\u8bb0\u8d1d\u5409\u683c\u91cc\u82ac\u51e1\u4e01\u72ac\u4e0d\u77e5\u540d\u72ac\u79cd\u7684\u5b58\u5728\uff0c\u5b83\u5c06\u53ea\u4f1a\u751f\u6210\u91d1\u6bdb\u730e\u72ac\u7684\u56fe\u50cf\u3002\u6700\u7ec8\u6a21\u578b\u5c06\u4f1a\u5d29\u6e83\uff0c\u65e0\u6cd5\u751f\u6210\u6709\u610f\u4e49\u7684\u5185\u5bb9<\/span><\/p>\n

\u72b9\u4ed6\u5dde\u5927\u76d0\u6e56\u5e72\u6db8\u7684\u6e56\u5e8a\u57282020\u5e74\u91ca\u653e\u4e86410\u4e07\u5428\u6e29\u5ba4\u6c14\u4f53<\/span><\/p>\n

\u7814\u7a76\u663e\u793a\uff0c\u72b9\u4ed6\u5dde\u5927\u76d0\u6e56\u5e72\u6db8\u7684\u6e56\u5e8a\u5728 2020 \u5e74\u91ca\u653e\u4e86 410 \u4e07\u5428\u6e29\u5ba4\u6c14\u4f53\u3002\u8fd9\u4e00\u53d1\u73b0\u51f8\u663e\u4e86\u56e0\u4eba\u7c7b\u6d88\u8d39\u548c\u6c14\u5019\u53d8\u5316\u800c\u52a0\u5267\u7684\u6e56\u5e8a\u5e72\u6db8\u6240\u4ea7\u751f\u7684\u91cd\u8981\u6392\u653e\u6e90\uff0c\u4f46\u8fd9\u4e00\u6392\u653e\u6e90\u5f80\u5f80\u88ab\u5ffd\u89c6\u3002\u8fd9\u9879\u7814\u7a76\u5f3a\u8c03\uff0c\u5728\u6c14\u5019\u53d8\u5316\u51cf\u7f13\u548c\u89c4\u5212\u5de5\u4f5c\u4e2d\uff0c\u6709\u5fc5\u8981\u8be6\u7ec6\u7814\u7a76\u6e56\u6cca\u5e72\u6db8\u95ee\u9898<\/span><\/p>\n

\u8ba1\u7b97\u53d1\u73b0\u51a5\u738b\u661f\u51b0\u5c42\u4e0b\u6709\u4e00\u4e2a\u5de8\u5927\u7684\u6db2\u6001\u6c34\u6d77\u6d0b<\/span><\/p>\n

\u7814\u7a76\u751f\u4e9a\u5386\u514b\u65af-\u962e\uff08Alex Nguyen\uff09\u8ba1\u7b97\u4e86\u592a\u9633\u7cfb\u6700\u795e\u79d8\u3001\u6700\u9065\u8fdc\u7684\u6c34\u4f53\u7684\u6df1\u5ea6\u548c\u5bc6\u5ea6\u3002\u6700\u8fd1\u7684\u7814\u7a76\u8ba9\u4eba\u4eec\u5bf9\u51a5\u738b\u661f\u7684\u5730\u8868\u4e0b\u6d77\u6d0b\u6709\u4e86\u66f4\u6df1\u5165\u7684\u4e86\u89e3\uff0c\u7531\u4e8e\u8fd9\u9897\u77ee\u884c\u661f\u7684\u6e29\u5ea6\u6781\u4f4e\uff0c\u4ee5\u524d\u8ba4\u4e3a\u51a5\u738b\u661f\u7684\u5730\u8868\u4e0b\u6d77\u6d0b\u662f\u4e0d\u53ef\u80fd\u5b58\u5728\u7684<\/span><\/p>\n

Google DeepMind \u65b0 AI \u7cfb\u7edf\u80fd\u5728\u6570\u5b66\u5965\u6797\u5339\u514b\u7ade\u8d5b\u4e2d\u53d6\u5f97\u94f6\u724c<\/span><\/p>\n

Google DeepMind \u65b0 AI \u7cfb\u7edf AlphaProof \u548c AlphaGeometry 2 \u80fd\u5728 2024 \u5e74\u56fd\u9645\u6570\u5b66\u5965\u6797\u5339\u514b(IMO)\u7ade\u8d5b\u83b7\u5f97\u94f6\u724c\uff0c\u89e3\u51b3\u4e86\u516d\u9053\u9898\u4e2d\u7684\u56db\u9053\uff0c\u83b7\u5f97\u4e86 28\/42 \u5206\uff0c\u6807\u5fd7\u7740 AI \u5728\u6570\u5b66\u63a8\u7406\u65b9\u9762\u53d6\u5f97\u91cd\u5927\u7a81\u7834\u3002IMO \u662f\u5386\u53f2\u6700\u60a0\u4e45\u3001\u89c4\u6a21\u6700\u5927\u3001\u6700\u8d1f\u76db\u540d\u7684\u9752\u5e74\u6570\u5b66\u5bb6\u7ade\u8d5b\uff0c\u81ea 1959 \u5e74\u4ee5\u6765\u6bcf\u5e74\u4e3e\u529e\u4e00\u6b21\u3002\u9009\u624b\u8981\u89e3\u51b3\u4ee3\u6570\u3001\u7ec4\u5408\u5b66\u3001\u51e0\u4f55\u548c\u6570\u8bba\u65b9\u9762\u516d\u4e2a\u5f02\u5e38\u56f0\u96be\u7684\u95ee\u9898\u3002DeepMind \u8868\u793a\uff0cIMO \u7684\u6570\u5b66\u95ee\u9898\u88ab\u4eba\u5de5\u7ffb\u8bd1\u6210\u6570\u5b66\u8bed\u8a00\uff0c\u4f9b\u7cfb\u7edf\u7406\u89e3\u3002\u5728\u6b63\u5f0f\u6bd4\u8d5b\u4e2d\uff0c\u5b66\u751f\u4eec\u5206\u4e24\u6b21\u63d0\u4ea4\u7b54\u6848\uff0c\u6bcf\u6b21 4.5 \u5c0f\u65f6\u3002\u800c AI \u7cfb\u7edf\u5728\u51e0\u5206\u949f\u5185\u89e3\u51b3\u4e86\u4e00\u4e2a\u95ee\u9898\uff0c\u82b1\u4e86\u4e09\u5929\u65f6\u95f4\u89e3\u51b3\u5176\u4ed6\u95ee\u9898\u3002\u57fa\u4e8e\u5f3a\u5316\u5b66\u4e60\u7684\u63a8\u7406\u7cfb\u7edf AlphaProof \u89e3\u51b3\u4e86\u4e24\u4e2a\u4ee3\u6570\u95ee\u9898\u548c\u4e00\u4e2a\u6570\u8bba\u95ee\u9898\u5e76\u88ab\u8bc1\u660e\u7b54\u6848\u6b63\u786e\uff0c\u8fd9\u4e9b\u95ee\u9898\u5305\u62ec\u4eca\u5e74 IMO \u6bd4\u8d5b\u4e2d\u53ea\u6709 5 \u540d\u9009\u624b\u89e3\u51b3\u7684\u6700\u96be\u7684\u95ee\u9898\u3002AlphaGeometry 2 \u8bc1\u660e\u4e86\u51e0\u4f55\u95ee\u9898\uff0c\u4f46\u4e24\u4e2a\u7ec4\u5408\u95ee\u9898\u4ecd\u672a\u89e3\u51b3<\/span><\/p>\n

\u79d1\u5b66\u5bb6\u6210\u529f\u7834\u89e3\u5a01\u80c1\u5730\u7403\u7684\u592a\u9633\u98ce\u66b4\u5bc6\u7801 \u5728\u5b8c\u5168\u7206\u53d1\u524d\u9884\u6d4b\u5176\u901f\u5ea6\u548c\u5230\u8fbe\u65f6\u95f4<\/span><\/p>\n

\u7814\u7a76\u4eba\u5458\u5df2\u7ecf\u5f00\u53d1\u51fa\u4e00\u79cd\u65b9\u6cd5\uff0c\u53ef\u4ee5\u5728\u65e5\u5195\u7269\u8d28\u629b\u5c04\uff08CMEs\uff09\u5b8c\u5168\u4ece\u592a\u9633\u55b7\u53d1\u51fa\u6765\u4e4b\u524d\u9884\u6d4b\u5176\u901f\u5ea6\u548c\u5230\u8fbe\u65f6\u95f4\u3002\u8fd9\u4e00\u8fdb\u5c55\u5229\u7528\u5bf9\u592a\u9633\u6d3b\u8dc3\u533a\u4e34\u754c\u9ad8\u5ea6\u7684\u6d4b\u91cf\u6765\u63d0\u9ad8\u7a7a\u95f4\u5929\u6c14\u9884\u62a5\u7684\u51c6\u786e\u6027\u3002\u8fd9\u4e9b\u9884\u6d4b\u5bf9\u4e8e\u4fdd\u62a4\u5730\u7403\u7684\u6280\u672f\u57fa\u7840\u8bbe\u65bd\u514d\u53d7\u5730\u78c1\u66b4\u7684\u5f71\u54cd\u81f3\u5173\u91cd\u8981\uff0c\u5730\u78c1\u66b4\u4f1a\u7834\u574f\u536b\u661f\u3001\u7535\u7f51\u548c\u901a\u4fe1\u7f51\u7edc<\/span><\/p>\n

\u5929\u6587\u5b66\u5bb6\u5728\u4e0d\u540c\u5bfb\u5e38\u7684\u6052\u661f\u7cfb\u7edf\u4e2d\u53d1\u73b0\u65b0\u7684\u5b9c\u5c45\u5e26\u884c\u661f<\/span><\/p>\n

\u5929\u6587\u5b66\u5bb6\u548c\u516c\u6c11\u79d1\u5b66\u5bb6\u5728\u4e00\u4e2a\u72ec\u7279\u6052\u661f\u7cfb\u7edf\u7684\u5b9c\u5c45\u5e26\u5185\u53d1\u73b0\u4e86\u4e00\u9897\u884c\u661f\uff0c\u8be5\u6052\u661f\u7cfb\u7edf\u7531\u4e24\u9897\u6052\u661f\u7ec4\u6210\uff0c\u53ef\u80fd\u8fd8\u6709\u4e00\u9897\u7cfb\u5916\u884c\u661f\u3002\u8fd9\u9897\u65b0\u53d1\u73b0\u7684\u884c\u661f\u662f\u7531\u5fd7\u613f\u884c\u661f\u730e\u624b\u53d1\u73b0\u7684\uff0c\u5e76\u7ecf Flatiron \u7814\u7a76\u6240\u7684\u79d1\u5b66\u5bb6\u53ca\u5176\u540c\u4e8b\u786e\u8ba4\uff0c\u5b83\u7684\u8f68\u9053\u7279\u522b\u957f\u3002\u8fd9\u4e00\u53d1\u73b0\u4e3a\u591a\u6052\u661f\u7cfb\u7edf\u4e2d\u884c\u661f\u7684\u5f62\u6210\u548c\u7a33\u5b9a\u6027\u63d0\u4f9b\u4e86\u5b9d\u8d35\u7684\u89c1\u89e3<\/span><\/p>\n

\u98ce\u80fd\u9a71\u52a8\u5357\u6781\u6d32\u5de8\u6d6a\u7684\u5f62\u6210 \u5176\u53d1\u751f\u9891\u7387\u6bd4\u4ee5\u524d\u8ba4\u4e3a\u7684\u8981\u9ad8<\/span><\/p>\n

\u58a8\u5c14\u672c\u5927\u5b66\u5bf9\u5357\u6781\u6d32\u6700\u5357\u7aef\u5468\u56f4\u6c34\u57df\u7684\u8003\u5bdf\u53d1\u73b0\uff0c\u98ce\u662f\u4ea7\u751f\u5de8\u6d6a\u7684\u5173\u952e\u56e0\u7d20\u3002\u7814\u7a76\u53d1\u73b0\uff0c\u8fd9\u4e9b\u4e0d\u53ef\u9884\u6d4b\u7684\u6d77\u6d6a\u6bd4\u4ee5\u524d\u8ba4\u4e3a\u7684\u53d1\u751f\u5f97\u66f4\u9891\u7e41\uff0c\u8fd9\u4e3a\u52a0\u5f3a\u672a\u6765\u9884\u6d4b\u5de8\u6d6a\u7684\u6a21\u578b\u63d0\u4f9b\u4e86\u91cd\u8981\u6570\u636e\u3002 <\/span><\/p>\n

\u7814\u7a76\u663e\u793a\u6811\u76ae\u5fae\u751f\u7269\u80fd\u5438\u6536\u5927\u6c14\u4e2d\u7684\u7532\u70f7<\/span><\/p>\n

\u4f2f\u660e\u7ff0\u5927\u5b66\u7684\u4e00\u9879\u65b0\u7814\u7a76\u53d1\u73b0\uff0c\u6811\u76ae\u5fae\u751f\u7269\u80fd\u5438\u6536\u5927\u91cf\u7532\u70f7\uff0c\u4f7f\u6811\u6728\u7684\u6c14\u5019\u6548\u76ca\u589e\u52a0\u7ea6 10%\u3002\u8fd9\u4e00\u53d1\u73b0\u5f3a\u8c03\u4e86\u6811\u6728\u5728\u51cf\u7f13\u6c14\u5019\u53d8\u5316\u65b9\u9762\u7684\u91cd\u8981\u6027\uff0c\u5e76\u652f\u6301\u5c06\u690d\u6811\u9020\u6797\u548c\u68ee\u6797\u4fdd\u62a4\u4f5c\u4e3a\u5168\u7403\u7532\u70f7\u51cf\u6392\u5de5\u4f5c\u7684\u5173\u952e\u6218\u7565<\/span><\/p>\n

\u8054\u5408\u56fd\u79d8\u4e66\u957f\u547c\u5401\u5bf9\u6781\u7aef\u708e\u70ed\u91c7\u53d6\u884c\u52a8<\/span><\/p>\n

\u4ece\u7f8e\u56fd\u5230\u975e\u6d32\u8428\u8d6b\u52d2\u5730\u533a\uff0c\u4ece\u6b27\u6d32\u5230\u4e2d\u4e1c\uff0c\u4eca\u5e74\u590f\u5929\u521b\u7eaa\u5f55\u7684\u6c14\u6e29\u548c\u81f4\u547d\u7684\u70ed\u6d6a\u5df2\u9020\u6210\u6570\u767e\u4eba\u6b7b\u4ea1\u3002\u5728\u7a46\u65af\u6797\u671d\u89d0\u671f\u95f4\uff0c\u9177\u70ed\u593a\u53bb\u4e86 1300 \u591a\u540d\u671d\u5723\u8005\u7684\u751f\u547d\u3002\u53e4\u7279\u96f7\u65af\u79d8\u4e66\u957f\u5728\u7ebd\u7ea6\u8054\u5408\u56fd\u603b\u90e8\u4e3e\u884c\u7684\u65b0\u95fb\u53d1\u5e03\u4f1a\u4e0a\u8bf4\uff1a\u201c\u6570\u5341\u4ebf\u4eba\u6b63\u9762\u4e34\u7740\u6781\u7aef\u9ad8\u6e29\u5927\u6d41\u884c–\u5728\u8d8a\u6765\u8d8a\u81f4\u547d\u7684\u70ed\u6d6a\u4e2d\u714e\u71ac\uff0c\u4e16\u754c\u5404\u5730\u7684\u6c14\u6e29\u9ad8\u8fbe 50 \u6444\u6c0f\u5ea6\u3002\u8fd9\u610f\u5473\u7740\u534e\u6c0f 122 \u5ea6\uff0c\u76f8\u5f53\u4e8e\u6cb8\u70b9\u7684\u4e00\u534a\u3002\u201d\u4ed6\u8bf4\uff1a\u201c\u4fe1\u606f\u5f88\u660e\u786e\uff1a\u9177\u70ed\u6765\u88ad\u3002\u6781\u7aef\u9ad8\u6e29\u6b63\u5728\u5bf9\u4eba\u7c7b\u548c\u5730\u7403\u4ea7\u751f\u6781\u7aef\u5f71\u54cd\u3002\u5168\u4e16\u754c\u5fc5\u987b\u594b\u8d77\u5e94\u5bf9\u6c14\u6e29\u4e0a\u5347\u7684\u6311\u6218\u3002\u201d\u53e4\u7279\u96f7\u65af\u5f3a\u8c03\uff0c\u867d\u7136\u8086\u8650\u7684\u9ad8\u6e29\u65e0\u5904\u4e0d\u5728\uff0c\u4f46\u5b83\u5bf9\u6bcf\u4e2a\u4eba\u7684\u5f71\u54cd\u5e76\u4e0d\u76f8\u540c\u3002\u9762\u4e34\u6700\u5927\u98ce\u9669\u7684\u4eba\u7fa4\u5305\u62ec\u57ce\u5e02\u8d2b\u6c11\u3001\u5b55\u5987\u3001\u513f\u7ae5\u3001\u8001\u5e74\u4eba\u3001\u6b8b\u75be\u4eba\u3001\u75c5\u4eba\u548c\u6d41\u79bb\u5931\u6240\u8005\uff0c\u4ed6\u4eec\u901a\u5e38\u5c45\u4f4f\u5728\u4e0d\u7b26\u5408\u6807\u51c6\u7684\u4f4f\u623f\u4e2d\uff0c\u65e0\u6cd5\u83b7\u5f97\u964d\u6e29\u8bbe\u65bd\u3002\u8054\u5408\u56fd\u4f30\u8ba1\uff0c\u5728\u8fc7\u53bb\u4e8c\u5341\u5e74\u91cc\uff0c65 \u5c81\u4ee5\u4e0a\u8001\u4eba\u56e0\u9ad8\u6e29\u800c\u6b7b\u4ea1\u7684\u4eba\u6570\u589e\u52a0\u4e86\u7ea6 85%\uff0c\u800c\u5982\u4eca 25% \u7684\u513f\u7ae5\u7ecf\u5e38\u66b4\u9732\u5728\u70ed\u6d6a\u4e2d\uff0c\u5230 2050 \u5e74\uff0c\u8fd9\u4e00\u6bd4\u4f8b\u53ef\u80fd\u4e0a\u5347\u5230\u8fd1 100%<\/span><\/p>\n

<\/p>\n

<\/mp-style-type><\/p>\n","protected":false},"excerpt":{"rendered":"

\u5168\u7403\u8fde\u7eed\u7b2c\u4e24\u5929\u6253\u7834\u5355\u65e5\u6700\u70ed\u7eaa\u5f55 \u6b27\u76df\u6c14\u5019\u76d1\u6d4b\u673a\u6784\u54e5\u767d\u5c3c\u6c14\u5019\u53d8\u5316\u670d\u52a1\u5c40\uff08C3S\uff09\u516c\u5e03\u7684\u6570\u636e\u663e\u793a\uff0c7 \u6708 21 \u65e5 […]<\/p>\n","protected":false},"author":1,"featured_media":966,"comment_status":"closed","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[1],"tags":[],"class_list":["post-964","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-uncategorized"],"_links":{"self":[{"href":"http:\/\/www.62ar.com\/index.php\/wp-json\/wp\/v2\/posts\/964","targetHints":{"allow":["GET"]}}],"collection":[{"href":"http:\/\/www.62ar.com\/index.php\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"http:\/\/www.62ar.com\/index.php\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"http:\/\/www.62ar.com\/index.php\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"http:\/\/www.62ar.com\/index.php\/wp-json\/wp\/v2\/comments?post=964"}],"version-history":[{"count":1,"href":"http:\/\/www.62ar.com\/index.php\/wp-json\/wp\/v2\/posts\/964\/revisions"}],"predecessor-version":[{"id":965,"href":"http:\/\/www.62ar.com\/index.php\/wp-json\/wp\/v2\/posts\/964\/revisions\/965"}],"wp:featuredmedia":[{"embeddable":true,"href":"http:\/\/www.62ar.com\/index.php\/wp-json\/wp\/v2\/media\/966"}],"wp:attachment":[{"href":"http:\/\/www.62ar.com\/index.php\/wp-json\/wp\/v2\/media?parent=964"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"http:\/\/www.62ar.com\/index.php\/wp-json\/wp\/v2\/categories?post=964"},{"taxonomy":"post_tag","embeddable":true,"href":"http:\/\/www.62ar.com\/index.php\/wp-json\/wp\/v2\/tags?post=964"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}