{"id":21495,"date":"2024-07-29T10:21:36","date_gmt":"2024-07-29T02:21:36","guid":{"rendered":"https:\/\/aif.amtbbs.org\/?p=21495"},"modified":"2024-07-29T10:21:36","modified_gmt":"2024-07-29T02:21:36","slug":"%e9%99%b6%e5%93%b2%e8%bd%a9%e7%82%b9%e8%af%84%e8%b0%b7%e6%ad%8calphaproof%ef%bc%9aai%e5%9c%a8%e6%95%b0%e5%ad%a6%e7%ab%9e%e8%b5%9b%e4%b8%ad%e5%b1%95%e7%8e%b0%e3%80%8c%e8%b6%85%e5%87%a1%e6%99%ba","status":"publish","type":"post","link":"https:\/\/aif.amtbbs.org\/index.php\/2024\/07\/29\/21495\/","title":{"rendered":"\u9676\u54f2\u8f69\u70b9\u8bc4\u8c37\u6b4cAlphaProof\uff1aAI\u5728\u6570\u5b66\u7ade\u8d5b\u4e2d\u5c55\u73b0\u300c\u8d85\u51e1\u667a\u6167\u300d"},"content":{"rendered":"
\u5e38\u7528 AI \u8f85\u52a9\u8bc1\u660e\u7684\u6570\u5b66\u5bb6\u9676\u54f2\u8f69\u8fd1\u671f\u6b63\u5904\u5728\u51fa\u5dee\u7684\u5fd9\u788c\u4e2d\uff0c\u5bf9\u95ee\u9898\u6c42\u89e3\u5f15\u64ce AlphaProof \u548c AlphaGeometry2 \u8fd8\u672a\u5b8c\u5168\u6d88\u5316\u3002<\/div>\n
\n
\n

\u5728\u5965\u6570\u95ee\u9898\u9762\u524d\uff0cAI \u7684\u300c\u667a\u5546\u300d\u5f80\u5f80\u4e0d\u592a\u591f\u7528\u3002<\/p>\n

\u4e0d\u8fc7\uff0c\u8fd9\u5df2\u7ecf\u662f\u8fc7\u53bb\u5f0f\u4e86\u3002\u8c37\u6b4c DeepMind \u7528 AI \u505a\u51fa\u4e86\u4eca\u5e74\u56fd\u9645\u6570\u5b66\u5965\u6797\u5339\u514b\u7ade\u8d5b IMO \u7684\u771f\u9898\uff0c\u5e76\u4e14\u8ddd\u62ff\u91d1\u724c\u4ec5\u4e00\u6b65\u4e4b\u9065\u3002\u5bf9\u4e8e AI \u6765\u8bf4\uff0c\u5965\u6570\u4e0d\u518d\u662f\u95ee\u9898\u4e86\u3002<\/p>\n

IMO 2024 \u4e2d\u516d\u4e2a\u95ee\u9898\u7684\u6bcf\u4e00\u4e2a\u95ee\u9898\u6ee1\u5206\u4e3a 7 \u5206\uff0c\u603b\u5206\u6700\u9ad8 42 \u5206\u3002DeepMind \u7684\u7cfb\u7edf\u6700\u7ec8\u5f97\u5206\u4e3a 28 \u5206\uff0c\u610f\u5473\u7740\u89e3\u51b3\u7684 4 \u4e2a\u95ee\u9898\u90fd\u83b7\u5f97\u4e86\u6ee1\u5206 \u2014\u2014 \u76f8\u5f53\u4e8e\u94f6\u724c\u7c7b\u522b\u7684\u6700\u9ad8\u5206\u3002<\/p>\n

DeepMind \u6587\u7ae0\u8fde\u63a5\uff1ahttps:\/\/deepmind.google\/discover\/blog\/ai-solves-imo-problems-at-silver-medal-level\/<\/p>\n

\u5e38\u7528 AI \u8f85\u52a9\u8bc1\u660e\u7684\u6570\u5b66\u5bb6\u9676\u54f2\u8f69\u8fd1\u671f\u6b63\u5904\u5728\u51fa\u5dee\u7684\u5fd9\u788c\u4e2d\uff0c\u5bf9\u95ee\u9898\u6c42\u89e3\u5f15\u64ce AlphaProof \u548c AlphaGeometry2 \u8fd8\u672a\u5b8c\u5168\u6d88\u5316\u3002\u4f46\u4ed6\u5728\u81ea\u5df1\u7684\u535a\u5ba2\u4e0a\u5bf9 DeepMind \u7684 AI \u7cfb\u7edf\u53c2\u52a0 IMO \u7ade\u8d5b\u8fd9\u4ef6\u4e8b\u8868\u8fbe\u4e86\u81ea\u5df1\u7684\u770b\u6cd5\u3002<\/p>\n

\"\"<\/p>\n

\u9676\u54f2\u8f69\u8c08\u5230\uff0c\u8fd9\u662f\u4e00\u9879\u975e\u5e38\u4f1f\u5927\u7684\u5de5\u4f5c\uff0c \u518d\u6b21\u6539\u53d8\u4e86\u6211\u4eec\u5bf9\u54ea\u4e9b\u57fa\u51c6\u6311\u6218\u53ef\u4ee5\u901a\u8fc7 AI \u8f85\u52a9\u6216\u5b8c\u5168\u81ea\u4e3b\u7684\u65b9\u6cd5\u5b9e\u73b0\u7684\u671f\u671b\u3002<\/p>\n

\u4f8b\u5982\uff0cIMO \u7ea7\u522b\u7684\u51e0\u4f55\u95ee\u9898\u73b0\u5728\u5bf9\u4e8e\u4e13\u7528\u7684 AI \u5de5\u5177\u6765\u8bf4\u5df2\u57fa\u672c\u89e3\u51b3\u3002\u73b0\u5728\u770b\u6765\uff0c\u901a\u8fc7\u5f3a\u5316\u5b66\u4e60\u8fc7\u7a0b\u53ef\u4ee5\u627e\u5230\u5f62\u5f0f\u5316\u8bc1\u660e\u7684 IMO \u95ee\u9898\u81f3\u5c11\u5728\u67d0\u79cd\u7a0b\u5ea6\u4e0a\u53ef\u4ee5\u88ab AI \u653b\u514b\u3002\u867d\u7136\u76ee\u524d\u6bcf\u4e2a\u95ee\u9898\u9700\u8981\u76f8\u5f53\u5927\u7684\u8ba1\u7b97\u91cf\uff0c\u5e76\u4e14\u5728\u5f62\u5f0f\u5316\u65b9\u9762\u9700\u8981\u4eba\u7c7b\u7684\u5e2e\u52a9\u3002<\/p>\n

\u5728\u9676\u54f2\u8f69\u770b\u6765\uff0c\u8fd9\u79cd\u65b9\u6cd5\u8fd8\u6709\u4e00\u4e9b\u300cbuff \u52a0\u6210\u300d\uff0c\u5b83\u80fd\u4f7f\u5f62\u5f0f\u5316\u6570\u5b66\u66f4\u5bb9\u6613\u81ea\u52a8\u5316\uff0c\u8fd9\u53cd\u8fc7\u6765\u53ef\u80fd\u4f1a\u4fc3\u8fdb\u5305\u542b\u5f62\u5f0f\u5316\u6210\u5206\u7684\u6570\u5b66\u7814\u7a76\u65b9\u6cd5\u3002\u5982\u679c\u66f4\u516c\u5f00\u5730\u5171\u4eab\u7531\u6b64\u4ea7\u751f\u7684\u5f62\u5f0f\u8bc1\u660e\u6570\u636e\u5e93\uff0c\u5b83\u53ef\u80fd\u662f\u4e00\u4e2a\u6709\u7528\u7684\u8d44\u6e90\u3002<\/p>\n

\u8fd9\u79cd\u65b9\u6cd5\uff08\u66f4\u591a\u5730\u57fa\u4e8e\u5f3a\u5316\u5b66\u4e60\u800c\u975e\u5927\u578b\u8bed\u8a00\u6a21\u578b\uff0c\u6709\u70b9\u7c7b\u4f3c AlphaGo \u7684\u7cbe\u795e\uff0c\u4e14\u5f3a\u8c03\u6574\u4f53\u65b9\u6cd5\uff09\u975e\u5e38\u806a\u660e\uff0c\u4e8b\u540e\u6765\u770b\u5f88\u6709\u9053\u7406\u3002\u6b63\u5982\u300cAI \u6548\u5e94\u300d\u6240\u8a00\uff0c\u4e00\u65e6\u89e3\u91ca\u6e05\u695a\uff0c\u5b83\u4e0d\u4f1a\u7ed9\u4eba\u4e00\u79cd\u5c55\u793a\u4eba\u7c7b\u667a\u80fd\u7684\u611f\u89c9\uff1b\u4f46\u5b83\u4ecd\u7136\u662f\u6211\u4eec AI \u8f85\u52a9\u95ee\u9898\u89e3\u51b3\u5de5\u5177\u96c6\u80fd\u529b\u7684\u6269\u5c55\u3002<\/p>\n

\"\"<\/p>\n

\u300cAI \u6548\u5e94\u300d\u662f\u6307\u5f53\u4eba\u5de5\u667a\u80fd\u6280\u672f\u53d6\u5f97\u8fdb\u5c55\u6216\u89e3\u51b3\u95ee\u9898\u65f6\uff0c\u4eba\u4eec\u5f80\u5f80\u4f1a\u8ba4\u4e3a\u8fd9\u4e9b\u6210\u5c31\u5e76\u4e0d\u662f\u771f\u6b63\u7684\u4eba\u5de5\u667a\u80fd\u6216\u8005\u4e0d\u5177\u5907\u771f\u6b63\u7684\u667a\u80fd\u3002\u6362\u53e5\u8bdd\u8bf4\uff0c\u4e00\u65e6\u67d0\u9879\u6280\u672f\u88ab\u7406\u89e3\u6216\u666e\u53ca\uff0c\u5b83\u5c31\u4e0d\u518d\u88ab\u8ba4\u4e3a\u662f\u667a\u80fd\u7684\u3002\u8fd9\u79cd\u73b0\u8c61\u8868\u660e\uff0c\u4eba\u4eec\u5bf9 \u201c\u667a\u80fd\u201d \u7684\u5b9a\u4e49\u548c\u671f\u671b\u4f1a\u968f\u7740\u6280\u672f\u7684\u8fdb\u6b65\u800c\u4e0d\u65ad\u63d0\u9ad8\u3002<\/p>\n

\u672c\u6708\u6708\u521d\uff0c\u9676\u54f2\u8f69\u5728\u81ea\u5df1\u7684\u535a\u5ba2\u4e2d\u53d1\u5e03 AI \u6570\u5b66\u5965\u6797\u5339\u514b\u7ade\u8d5b\uff08AIMO \u8fdb\u6b65\u5956\uff09\u7684\u521d\u6b65\u6210\u7ee9\u5df2\u516c\u5e03\u7684\u6d88\u606f\u3002\u5176\u4e2d\uff0c\u83b7\u5f97\u7b2c\u4e00\u540d\u7684\u662f Numina \u7684\u56e2\u961f\u3002<\/p>\n

\u4ed6\u5728\u6700\u65b0\u535a\u5ba2\u4e2d\u8868\u793a\uff0cDeepMind \u7684\u8fd9\u4e9b\u65b0\u5de5\u5177\u65e0\u6cd5\u4e0e\u6700\u8fd1\u8d62\u5f97 AIMO \u8fdb\u6b65\u5956\u7684 NuminaMath \u6a21\u578b\u76f4\u63a5\u6bd4\u8f83\u3002NuminaMath \u6a21\u578b\u5b8c\u5168\u81ea\u52a8\u5316\u4e14\u8d44\u6e90\u6548\u7387\u9ad8\u51fa\u6570\u4e2a\u6570\u91cf\u7ea7\uff0c\u5e76\u4e14\u91c7\u7528\u4e86\u5b8c\u5168\u4e0d\u540c\u7684\u65b9\u6cd5\uff08\u4f7f\u7528\u5927\u578b\u8bed\u8a00\u6a21\u578b\u751f\u6210 Python \u4ee3\u7801\uff0c\u4ee5\u86ee\u529b\u89e3\u51b3\u533a\u57df\u7ade\u8d5b\u7ea7\u522b\u7684\u6570\u503c\u7b54\u6848\u95ee\u9898\uff09\u3002\u8fd9\u4e2a\u6a21\u578b\u4e5f\u662f\u5b8c\u5168\u5f00\u6e90\u7684\u3002\u8fd9\u4e5f\u662f\u975e\u5e38\u4e0d\u9519\u7684\u5de5\u4f5c\uff0c\u5c55\u793a\u4e86\u5c1d\u8bd5\u4f7f\u7528 AI \u6765\u8f85\u52a9\u6216\u81ea\u52a8\u5316\u6570\u5b66\u95ee\u9898\u89e3\u51b3\u8fc7\u7a0b\u7684\u4e0d\u540c\u90e8\u5206\u7684\u591a\u7ef4\u6311\u6218\u3002<\/p>\n

\u5176\u5b9e DeepMind \u5728\u6570\u5b66\u63a8\u7406\u65b9\u9762\u6709\u7740\u4e0d\u61c8\u7684\u52aa\u529b\u3002\u5728\u4eca\u5e74\u5e74\u521d\uff0c\u5b83\u7684\u4eba\u5de5\u667a\u80fd\u7b97\u6cd5\u5c31\u5df2\u7ecf\u5728\u6570\u5b66\u5965\u6797\u5339\u514b\u7ade\u8d5b\uff08IMO\uff09\u4e0a\u53d6\u5f97\u4e86\u91cd\u5927\u6210\u7ee9\u7a81\u7834\u3002\u8bba\u6587\u300aSolving olympiad geometry without human demonstrations\u300b\u5411\u4e16\u4eba\u4ecb\u7ecd\u4e86 AlphaGeometry\uff0c\u8fd8\u767b\u4e0a\u4e86\u56fd\u9645\u6743\u5a01\u671f\u520a\u300a\u81ea\u7136\u300b\u6742\u5fd7\u3002\u4e13\u5bb6\u8868\u793a\uff0c\u8fd9\u662f\u4eba\u5de5\u667a\u80fd\u671d\u7740\u5177\u6709\u4eba\u7c7b\u63a8\u7406\u80fd\u529b\u65b9\u5411\u8fc8\u8fdb\u7684\u91cd\u8981\u4e00\u6b65\u3002<\/p>\n

\"\"<\/p>\n

\u8bba\u6587\u94fe\u63a5\uff1ahttps:\/\/www.nature.com\/articles\/s41586-023-06747-5<\/p>\n

\u672a\u6765 DeepMind \u8fd8\u5c06\u5e26\u7ed9\u6211\u4eec\u600e\u6837\u7684\u60ca\u559c\uff0c\u6211\u4eec\u62ed\u76ee\u4ee5\u5f85\u3002<\/p>\n<\/div>\n<\/div>\n

<\/div>\n

<\/g><\/svg><\/i> \"Loading\"<\/p>\n

<\/div>\n","protected":false},"excerpt":{"rendered":"

\u5e38\u7528 AI \u8f85\u52a9\u8bc1\u660e\u7684\u6570\u5b66\u5bb6\u9676\u54f2\u8f69\u8fd1\u671f\u6b63\u5904\u5728\u51fa\u5dee\u7684\u5fd9\u788c\u4e2d\uff0c\u5bf9\u95ee\u9898\u6c42\u89e3\u5f15\u64ce AlphaProof \u548c Alpha […]<\/p>\n

<\/div>\n

<\/g><\/svg><\/i> \"Loading\"<\/p>\n

<\/div>\n","protected":false},"author":56,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[23,17,20,80],"tags":[1235],"class_list":["post-21495","post","type-post","status-publish","format-standard","hentry","category-23","category-17","category-20","category-80","tag-ai-"],"_links":{"self":[{"href":"https:\/\/aif.amtbbs.org\/index.php\/wp-json\/wp\/v2\/posts\/21495","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/aif.amtbbs.org\/index.php\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/aif.amtbbs.org\/index.php\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/aif.amtbbs.org\/index.php\/wp-json\/wp\/v2\/users\/56"}],"replies":[{"embeddable":true,"href":"https:\/\/aif.amtbbs.org\/index.php\/wp-json\/wp\/v2\/comments?post=21495"}],"version-history":[{"count":1,"href":"https:\/\/aif.amtbbs.org\/index.php\/wp-json\/wp\/v2\/posts\/21495\/revisions"}],"predecessor-version":[{"id":21499,"href":"https:\/\/aif.amtbbs.org\/index.php\/wp-json\/wp\/v2\/posts\/21495\/revisions\/21499"}],"wp:attachment":[{"href":"https:\/\/aif.amtbbs.org\/index.php\/wp-json\/wp\/v2\/media?parent=21495"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/aif.amtbbs.org\/index.php\/wp-json\/wp\/v2\/categories?post=21495"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/aif.amtbbs.org\/index.php\/wp-json\/wp\/v2\/tags?post=21495"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}