{"id":20162,"date":"2024-04-09T15:44:33","date_gmt":"2024-04-09T07:44:33","guid":{"rendered":"https:\/\/aif.amtbbs.org\/?p=20162"},"modified":"2024-04-09T15:44:33","modified_gmt":"2024-04-09T07:44:33","slug":"ai%e6%94%bb%e5%85%8b%e8%b4%b9%e9%a9%ac%e5%a4%a7%e5%ae%9a%e7%90%86%ef%bc%9f%e6%95%b0%e5%ad%a6%e5%ae%b6%e6%94%be%e5%bc%835%e5%b9%b4%e8%81%8c%e4%b8%9a%e7%94%9f%e6%b6%af%ef%bc%8c%e5%b0%86100%e9%a1%b5","status":"publish","type":"post","link":"https:\/\/aif.amtbbs.org\/index.php\/2024\/04\/09\/20162\/","title":{"rendered":"AI\u653b\u514b\u8d39\u9a6c\u5927\u5b9a\u7406\uff1f\u6570\u5b66\u5bb6\u653e\u5f035\u5e74\u804c\u4e1a\u751f\u6daf\uff0c\u5c06100\u9875\u8bc1\u660e\u53d8\u4ee3\u7801"},"content":{"rendered":"<div><img data-dominant-color=\"0e3a4b\" data-has-transparency=\"false\" style=\"--dominant-color: #0e3a4b;\" loading=\"lazy\" decoding=\"async\" class=\"not-transparent alignnone size-full wp-image-20164\" src=\"https:\/\/aiforumimage.oss-cn-shanghai.aliyuncs.com\/wp-content\/uploads\/2024\/04\/QQ\u56fe\u724720240409154343-300x167-1.png\" width=\"300\" height=\"167\" alt=\"\" srcset=\"https:\/\/aiforumimage.oss-cn-shanghai.aliyuncs.com\/wp-content\/uploads\/2024\/04\/QQ\u56fe\u724720240409154343-300x167-1.png 300w, https:\/\/aiforumimage.oss-cn-shanghai.aliyuncs.com\/wp-content\/uploads\/2024\/04\/QQ\u56fe\u724720240409154343-300x167-1-150x84.png 150w\" sizes=\"auto, (max-width: 300px) 100vw, 300px\" \/><\/div>\n<div class=\"article-desc\">\u56f0\u6270\u5168\u4e16\u754c\u51e0\u4e2a\u4e16\u7eaa\u7684\u300c\u81ed\u540d\u662d\u8457\u300d\u8c1c\u9898\u2014\u2014\u8d39\u9a6c\u5927\u5b9a\u7406\uff0c\u6216\u5c06\u88abAI\u653b\u514b\uff1f\u4e00\u4f4d\u82f1\u56fd\u6570\u5b66\u5bb6\u5ba3\u5e03\uff0c\u5373\u5c06\u542f\u52a8\u7528Lean\u91cd\u73b0\u8d39\u9a6c\u5927\u5b9a\u7406\u8bc1\u660e\u8fc7\u7a0b\u7684\u9879\u76ee\uff0c\u5c06100\u9875\u8bc1\u660e\u53d8\u6210\u4ee3\u7801\u3002\u4ece\u6b64\uff0c\u4e16\u754c\u9876\u5c16\u6570\u5b66\u96be\u9898\u7684\u8bc1\u660e\u5c06\u6210\u4e3a\u300c\u4f17\u5305\u300d\u9879\u76ee\uff0c\u4f60\u6211\u90fd\u53ef\u4ee5\u8fdb\u53bb\u6dfb\u51e0\u7b14\u3002<\/div>\n<div id=\"postspictures\" class=\"article-content\">\n<div id=\"container\" class=\"container am-engine\" data-v-1d7a5742=\"\" data-element=\"root\">\n<p>\u8d39\u9a6c\u5927\u5b9a\u7406\uff0c\u5373\u5c06\u88abAI\u653b\u514b\uff1f<\/p>\n<p>\u800c\u4e14\u6574\u4ef6\u4e8b\u6700\u610f\u5473\u6df1\u957f\u7684\u5730\u65b9\u5728\u4e8e\uff0cAI\u5373\u5c06\u89e3\u51b3\u7684\u8d39\u9a6c\u5927\u5b9a\u7406\uff0c\u6b63\u662f\u4e3a\u4e86\u8bc1\u660eAI\u65e0\u7528\u3002<\/p>\n<p>\u66fe\u7ecf\uff0c\u6570\u5b66\u5c5e\u4e8e\u7eaf\u7cb9\u7684\u4eba\u7c7b\u667a\u529b\u738b\u56fd\uff1b\u5982\u4eca\uff0c\u8fd9\u7247\u7586\u571f\u6b63\u88ab\u5148\u8fdb\u7684\u7b97\u6cd5\u6240\u7834\u8bd1\uff0c\u6240\u8df5\u8e0f\u3002<\/p>\n<p><img data-dominant-color=\"d2d2d2\" data-has-transparency=\"false\" style=\"--dominant-color: #d2d2d2;\" loading=\"lazy\" decoding=\"async\" class=\"not-transparent alignnone size-full wp-image-20165\" src=\"https:\/\/aiforumimage.oss-cn-shanghai.aliyuncs.com\/wp-content\/uploads\/2024\/04\/17d5f613467f26881c7439a3c0af1017c59118.png\" width=\"1080\" height=\"1045\" alt=\"\u56fe\u7247\" title=\"\u56fe\u7247\" srcset=\"https:\/\/aiforumimage.oss-cn-shanghai.aliyuncs.com\/wp-content\/uploads\/2024\/04\/17d5f613467f26881c7439a3c0af1017c59118.png 1080w, https:\/\/aiforumimage.oss-cn-shanghai.aliyuncs.com\/wp-content\/uploads\/2024\/04\/17d5f613467f26881c7439a3c0af1017c59118-300x290.png 300w, https:\/\/aiforumimage.oss-cn-shanghai.aliyuncs.com\/wp-content\/uploads\/2024\/04\/17d5f613467f26881c7439a3c0af1017c59118-1024x991.png 1024w, https:\/\/aiforumimage.oss-cn-shanghai.aliyuncs.com\/wp-content\/uploads\/2024\/04\/17d5f613467f26881c7439a3c0af1017c59118-150x145.png 150w, https:\/\/aiforumimage.oss-cn-shanghai.aliyuncs.com\/wp-content\/uploads\/2024\/04\/17d5f613467f26881c7439a3c0af1017c59118-768x743.png 768w\" sizes=\"auto, (max-width: 1080px) 100vw, 1080px\" \/><span class=\"data-image-title\">\u56fe\u7247<\/span><\/p>\n<p>\u8d39\u9a6c\u5927\u5b9a\u7406\uff0c\u662f\u4e00\u4e2a\u300c\u81ed\u540d\u662d\u8457\u300d\u7684\u8c1c\u9898\uff0c\u5728\u51e0\u4e2a\u4e16\u7eaa\u4ee5\u6765\uff0c\u4e00\u76f4\u56f0\u6270\u7740\u6570\u5b66\u5bb6\u4eec\u3002<\/p>\n<p>\u5b83\u57281993\u5e74\u88ab\u8bc1\u660e\uff0c\u800c\u73b0\u5728\uff0c\u6570\u5b66\u5bb6\u4eec\u6709\u4e00\u4e2a\u4f1f\u5927\u8ba1\u5212\uff1a\u7528\u8ba1\u7b97\u673a\u628a\u8bc1\u660e\u8fc7\u7a0b\u91cd\u73b0\u3002<\/p>\n<p>\u4ed6\u4eec\u5e0c\u671b\u5728\u8fd9\u4e2a\u7248\u672c\u7684\u8bc1\u660e\u4e2d\uff0c\u5982\u679c\u6709\u4efb\u4f55\u903b\u8f91\u4e0a\u7684\u9519\u8bef\uff0c\u90fd\u53ef\u7531\u8ba1\u7b97\u673a\u68c0\u67e5\u51fa\u6765\u3002<\/p>\n<p><img decoding=\"async\" title=\"\u56fe\u7247\" src=\"https:\/\/s2.51cto.com\/oss\/202404\/09\/f3bfa1b20a3fd246b0e937b84d5b774ebdb860.webp\" alt=\"\u56fe\u7247\" data-type=\"inline\" \/><\/p>\n<p>\u9879\u76ee\u5730\u5740\uff1ahttps:\/\/github.com\/riccardobrasca\/flt3<\/p>\n<p>3\u6708\u5e95\uff0c\u6570\u5b66\u5bb6Pietro Monticone\u6fc0\u52a8\u5730\u8868\u793a\uff0c\u81ea\u5df1\u548c\u540c\u4e8b\u51e0\u4e4e\u5728leanprover\u4e2d\u5b8c\u6210\u4e86\u6307\u65703\u7684\u8d39\u9a6c\u5927\u5b9a\u7406\u7684\u5f62\u5f0f\u5316\u3002<\/p>\n<p>\u4ed6\u4eec\u4f1a\u5c3d\u5feb\u628a\u5f62\u5f0f\u5316\u8fc7\u7a0b\u79fb\u690d\u5230Mathlib\u4e2d\uff0c\u4ee5\u4fbf\u5728FLT\u9879\u76ee\u4e2d\u4f7f\u7528\u3002<\/p>\n<p><img decoding=\"async\" title=\"\u56fe\u7247\" src=\"https:\/\/s6.51cto.com\/oss\/202404\/09\/22a83bf213cafbd4a3439695961dea35975410.webp\" alt=\"\u56fe\u7247\" data-type=\"block\" \/><span class=\"data-image-title\">\u56fe\u7247<\/span><\/p>\n<p>\u8bc1\u660e\u8fc7\u7a0b\u5927\u81f4\u9075\u5faaWiles\u7684\u8bc1\u660e\uff0c\u4f46\u4f1a\u7565\u6709\u6539\u52a8\u3002<\/p>\n<h3>\u7528Lean\u628a\u8d39\u9a6c\u5927\u5b9a\u7406\u53d8\u6210\u4ee3\u7801<\/h3>\n<p>\u5f53\u56db\u6708\u5230\u6765\u65f6\uff0c\u6570\u5b66\u5bb6\u517c\u7a0b\u5e8f\u5458Kevin Buzzard\u5c06\u53d1\u5e03\u8fd9\u4e2a\u8ba1\u5212\uff1a\u901a\u8fc7\u8ba1\u7b97\u673a\u4ee3\u7801\uff0c\u5b8c\u6210\u8d39\u9a6c\u5927\u5b9a\u7406\u7684\u8bc1\u660e\u3002<\/p>\n<p>\u9879\u76ee\u57284\u6708\u4e0a\u7ebf\u540e\uff0c\u516c\u5f00\u7684\u84dd\u56fe\u5c31\u4f1a\u51fa\u73b0\u5728\u7f51\u4e0a\uff0c\u5c4a\u65f6\uff0cLean\u793e\u533a\u7684\u4efb\u4f55\u4eba\uff0c\u90fd\u53ef\u4ee5\u4e3a\u5f62\u5f0f\u5316\u8bc1\u660e\u505a\u51fa\u81ea\u5df1\u7684\u8d21\u732e\u3002<\/p>\n<p><img decoding=\"async\" title=\"\u56fe\u7247\" src=\"https:\/\/s6.51cto.com\/oss\/202404\/09\/868bc9b9781c2206c3c125621524500ac39e3c.webp\" alt=\"\u56fe\u7247\" data-type=\"block\" \/><span class=\"data-image-title\">\u56fe\u7247<\/span><\/p>\n<p>\u628a\u4e00\u4e2a\u5f00\u521b\u6027\u7684100\u9875\u6570\u5b66\u8bc1\u660e\uff0c\u53d8\u6210\u8ba1\u7b97\u673a\u4ee3\u7801\uff0c\u8fd9\u4e2a\u8fc7\u7a0b\u5bb9\u6613\u5b9e\u73b0\u5417\uff1f<\/p>\n<p>\u8fd9\u5f53\u7136\u5c31\u8981\u5f52\u529f\u4e8e\u88ab\u9676\u54f2\u8f69\u5927\u52a0\u8d5e\u8d4f\u3001\u6c89\u8ff7\u4f7f\u7528\u7684\u8bc1\u660e\u5de5\u5177Lean\uff0c\u5b83\u53ef\u4ee5\u8ba9\u7528\u6237\u628a\u6563\u6587\u5f0f\u7684\u8bc1\u660e\u8f6c\u5316\u4e3a\u7528\u4e8e\u6d4b\u8bd5\u7684\u89c4\u5219\u548c\u903b\u8f91\u3002<\/p>\n<p><img decoding=\"async\" title=\"\u56fe\u7247\" src=\"https:\/\/s9.51cto.com\/oss\/202404\/09\/34eced9391b1cf97e2662993062015584e7936.webp\" alt=\"\u56fe\u7247\" data-type=\"block\" \/><span class=\"data-image-title\">\u56fe\u7247<\/span><\/p>\n<p>\u4f46\u65e0\u8bba\u5982\u4f55\uff0c\u8fd9\u9879\u5de5\u7a0b\u90fd\u4e0d\u7b80\u5355\uff0c\u9884\u8ba1\u5c06\u5386\u65f6\u591a\u5e74\uff0c\u800cKevin Buzzard\u9875\u83b7\u5f97\u4e86\u9879\u76ee\u7684\u8d44\u91d1\u652f\u6301\u3002<\/p>\n<p><img decoding=\"async\" title=\"\u56fe\u7247\" src=\"https:\/\/s3.51cto.com\/oss\/202404\/09\/f529bdb35adb75ca92c476ed30d401d28fec42.webp\" alt=\"\u56fe\u7247\" data-type=\"block\" \/><span class=\"data-image-title\">\u56fe\u7247<\/span><\/p>\n<p>\u5927\u5bb6\u90fd\u660e\u767d\uff0c\u8fd9\u4e2a\u9879\u76ee\uff0c\u5f88\u53ef\u80fd\u662f\u8fc4\u4eca\u4e3a\u6b62\u6700\u590d\u6742\u7684\u8ba1\u7b97\u673a\u5316\u65b9\u5f0f\u8bc1\u660e\u4e4b\u4e00\u3002<\/p>\n<p><img decoding=\"async\" title=\"\u56fe\u7247\" src=\"https:\/\/s3.51cto.com\/oss\/202404\/09\/08a7ceb12a6e69f0aa66017f366ba51eff197b.webp\" alt=\"\u56fe\u7247\" data-type=\"block\" \/><span class=\"data-image-title\">\u56fe\u7247<\/span><\/p>\n<h3>\u8d39\u9a6c\u5927\u5b9a\u7406<\/h3>\n<p>\u8d39\u9a6c\u5927\u5b9a\u7406\uff0c\u582a\u79f0\u662f\u53f2\u4e0a\u6700\u7cbe\u5f69\u7684\u4e00\u4e2a\u6570\u5b66\u8c1c\u9898\u3002<\/p>\n<p>\u800c\u8bc1\u660e\u8d39\u9a6c\u5927\u5b9a\u7406\u7684\u8fc7\u7a0b\uff0c\u76f4\u63a5\u5c31\u662f\u4e00\u90e8\u6570\u5b66\u53f2\u3002<\/p>\n<p><img decoding=\"async\" title=\"\u56fe\u7247\" src=\"https:\/\/s2.51cto.com\/oss\/202404\/09\/11411904477744c8b010709ff737662aa2f6f7.webp\" alt=\"\u56fe\u7247\" data-type=\"block\" \/><span class=\"data-image-title\">\u56fe\u7247<\/span><\/p>\n<p>\u6211\u4eec\u8033\u719f\u80fd\u8be6\u7684\u8d39\u9a6c\u5927\u5b9a\u7406\uff0c\u753117\u4e16\u7eaa\u7684\u6cd5\u56fd\u6570\u5b66\u5bb6\u76ae\u57c3\u5c14\u00b7\u5fb7\u00b7\u8d39\u9a6c\u63d0\u51fa\u3002\u9057\u61be\u7684\u662f\uff0c\u4ed6\u672a\u80fd\u5728\u6709\u751f\u4e4b\u5e74\u627e\u5230\u8bc1\u660e\u3002<\/p>\n<p>\u4e8e\u662f\uff0c\u8fd9\u9879\u8d77\u6e90\u4e8e\u4e09\u767e\u591a\u5e74\u524d\u7684\u96be\u9898\uff0c\u76f4\u63a5\u6311\u6218\u4e86\u4eba\u7c7b\u6574\u65743\u4e2a\u4e16\u7eaa\uff0c\u591a\u6b21\u9707\u60ca\u5168\u4e16\u754c\uff0c\u8017\u5c3d\u4eba\u7c7b\u4f17\u591a\u6700\u6770\u51fa\u5927\u8111\u7684\u7cbe\u529b\uff0c\u4e5f\u8ba9\u5343\u5343\u4e07\u4e07\u4e1a\u4f59\u8005\u75f4\u8ff7\u3002<\/p>\n<p><img decoding=\"async\" title=\"\u56fe\u7247\" src=\"https:\/\/s5.51cto.com\/oss\/202404\/09\/12b01af470c93549e76992c6b7002f388d2f4c.webp\" alt=\"\u56fe\u7247\" data-type=\"block\" \/><span class=\"data-image-title\">\u56fe\u7247<\/span><\/p>\n<p>\u8fd9\u4e2a\u5b9a\u7406\u58f0\u79f0\uff0c\u4e0d\u5b58\u5728\u4e09\u4e2a\u6b63\u6574\u6570a\u3001b\u3001c\u80fd\u6ee1\u8db3\u65b9\u7a0b (a^n + b^n = c^n)\uff0c\u5176\u4e2dn\u662f\u4efb\u4f55\u5927\u4e8e2\u7684\u6574\u6570\u3002<\/p>\n<p>\u8fd9\u4e2a\u8bc1\u660e\u7684\u96be\u70b9\u5c31\u5728\u4e8e\uff0c\u6570\u5b66\u5bb6\u5f88\u96be\u627e\u51fa\u4e00\u4e2a\u5426\u5b9a\u6848\u4f8b\uff1a\u6211\u4eec\u600e\u4e48\u80fd\u4fdd\u8bc1\u4e00\u5b9a\u4e0d\u5b58\u5728\u8fd9\u6837\u4e00\u4e2a\u65e0\u7a77\u5927\u7684\u6574\u6570n\uff0c\u80fd\u6ee1\u8db3\u8fd9\u4e2a\u65b9\u7a0b\u5f0f\u5462\uff1f<\/p>\n<p><img decoding=\"async\" title=\"\u56fe\u7247\" src=\"https:\/\/s4.51cto.com\/oss\/202404\/09\/09a02c7923e14875bc870674cf844792cd3bc3.webp\" alt=\"\u56fe\u7247\" data-type=\"block\" \/><span class=\"data-image-title\">\u56fe\u7247<\/span><\/p>\n<p>\u5e78\u597d\uff0c\u5bf9\u4e8e\u4eca\u5929\u7684\u6570\u5b66\u5bb6\u6765\u8bf4\uff0c\u5c06\u65e0\u7a77\u5927\u7684\u6982\u5ff5\u8f6c\u6362\u6210\u903b\u8f91\uff0c\u5e76\u4e0d\u662f\u4ec0\u4e48\u65b0\u9c9c\u4e8b\u4e86\u3002<\/p>\n<p>\u5728\u8f83\u4e3a\u7b80\u5355\u7684\u8bc1\u660e\u4e2d\uff0c\u6211\u4eec\u53ef\u4ee5\u4f9d\u9760\u5f52\u7eb3\u6cd5\u2014\u2014<\/p>\n<p>\u4e00\u65e6\u67d0\u4e2a\u903b\u8f91\u5bf9\u67d0\u4e2a\u6570\u5b57\u6210\u7acb\uff08\u6bd4\u59828\uff09\uff0c\u90a3\u4e48\u5b83\u5bf9\u4e8e\u4e4b\u540e\u7684\u6bcf\u4e00\u4e2a\u6570\uff08\u6bd4\u59829\u300110\u300111\u7b49\uff09\u90fd\u540c\u6837\u6210\u7acb\uff0c\u76f4\u5230\u65e0\u9650\u5927\u3002<\/p>\n<p><img decoding=\"async\" title=\"\u56fe\u7247\" src=\"https:\/\/s6.51cto.com\/oss\/202404\/09\/06a4c07070cef84dd3a3362676c3e43f6201d6.webp\" alt=\"\u56fe\u7247\" data-type=\"block\" \/><span class=\"data-image-title\">\u56fe\u7247<\/span><\/p>\n<p>\u7136\u800c\uff0c\u8d39\u9a6c\u5927\u5b9a\u7406\u5374\u662f\u6570\u5b66\u754c\u767e\u5e74\u6765\u7684\u4e00\u5757\u7eca\u811a\u77f3\u3002<\/p>\n<p>\u76f4\u52301993\u5e74\uff0c\u82f1\u56fd\u6570\u5b66\u5bb6Andrew Wiles\u7528\u4e00\u4efd\u957f\u8fbe100\u9875\u7684\u4e66\u9762\u8bc1\u660e\uff0c\u89e3\u5f00\u4e86\u8fd9\u4e00\u8c1c\u56e2\u3002<\/p>\n<p><img decoding=\"async\" title=\"\u56fe\u7247\" src=\"https:\/\/s9.51cto.com\/oss\/202404\/09\/31a292f714a639b46f7260af40f90c1c4aa3e2.webp\" alt=\"\u56fe\u7247\" data-type=\"block\" \/><span class=\"data-image-title\">\u56fe\u7247<\/span><\/p>\n<p>\u8ba1\u7b97\u673a\u4e3a\u4ec0\u4e48\u65e0\u6cd5\u8bc1\u660e\u8d39\u9a6c\u5927\u5b9a\u7406\uff1f<\/p>\n<p>\u4e1a\u754c\u8ba4\u4e3a\u539f\u56e0\u6709\u4e09\uff1a<\/p>\n<p><strong>1. \u8ba1\u7b97\u673a\u65e0\u6cd5\u63a8\u5bfc\u51fa\u65e0\u7a77\u79cd<\/strong><\/p>\n<p><strong>2. \u8ba1\u7b97\u673a\u65e0\u6cd5\u8bc1\u660e\u903b\u8f91\u6b63\u786e<\/strong><\/p>\n<p><strong>3. \u8ba1\u7b97\u673a\u53ef\u80fd\u4f1a\u51fa\u73b0\u8f6c\u77ac\u5373\u901d\u7684\u5931\u8bef<\/strong><\/p>\n<h3>\u5e78\u597d\u6709Lean\u8f85\u52a9\u8bc1\u660e<\/h3>\n<p>\u4e00\u4efd100\u9875\u7684\u6570\u5b66\u8bc1\u660e\uff0c\u65e0\u8bba\u662f\u5bf9\u4e8e\u666e\u901a\u7684\u6570\u5b66\u7cfb\u5b66\u751f\uff0c\u8fd8\u662f\u6570\u5b66\u5bb6\uff0c\u90fd\u4e0d\u662f\u90a3\u4e48\u597d\u9a7e\u9a6d\u7684\u3002<\/p>\n<p>\u597d\u5728\uff0c\u6211\u4eec\u53ef\u4ee5\u4e0d\u518d\u4f9d\u8d56\u4f20\u7edf\u7684\u8bc1\u660e\u65b9\u6cd5\uff0c\u53ef\u4ee5\u6c42\u52a9\u4e8eLean\u8fd9\u6837\u7684\u5de5\u5177\u3002<\/p>\n<p>\u5b83\u662f\u4e00\u6b3e\u57fa\u4e8eC++\u5f00\u53d1\u7684\u7f16\u7a0b\u5de5\u5177\uff0c\u4e13\u4e3a\u7f16\u5199\u548c\u9a8c\u8bc1\u5f52\u7eb3\u6cd5\u8bc1\u660e\u800c\u8bbe\u8ba1\u3002<\/p>\n<p>\u5982\u4eca\u8bb8\u591a\u6240\u8c13\u7684\u300c\u4eba\u5de5\u667a\u80fd\u300d\uff0c\u4e0d\u8fc7\u662f\u5de7\u5999\u5730\u6392\u5217\u6a21\u4eff\u4eba\u7c7b\u8bed\u8a00\u7684\u6587\u5b57\u3002\u4f46Lean\u8fd9\u7c7b\u8ba1\u7b97\u673a\u8f85\u52a9\u7684\u8bc1\u660e\uff0c\u66f4\u6df1\u5165\u5730\u878d\u5408\u4e86\u4eba\u7c7b\u7684\u601d\u7ef4\u65b9\u5f0f\uff0c\u548c\u8ba1\u7b97\u673a\u8f85\u52a9\u52a0\u5f3a\u7684\u80fd\u529b\u3002<\/p>\n<p><img decoding=\"async\" title=\"\u56fe\u7247\" src=\"https:\/\/s8.51cto.com\/oss\/202404\/09\/f99782510f8bc11d19929923eab77cbfa5808f.webp\" alt=\"\u56fe\u7247\" data-type=\"block\" \/><span class=\"data-image-title\">\u56fe\u7247<\/span><\/p>\n<h3>Lean\u7f16\u7a0b\u5de5\u5177\uff0c\u8fdb\u5165\u672c\u79d1\u8bfe\u5802<\/h3>\n<p>\u5728\u4f26\u6566\u5e1d\u56fd\u7406\u5de5\u5b66\u9662\u6559\u6570\u5b66\u7684Kevin Buzzard\uff0c\u82b1\u8d39\u4e86\u6570\u5e74\u65f6\u95f4\uff0c\u5229\u7528Lean\u4e3a\u5b66\u9662\u7684\u6574\u4e2a\u672c\u79d1\u6570\u5b66\u8bfe\u7a0b\u5f00\u53d1\u4e86\u652f\u6301\u5de5\u5177\u3002<\/p>\n<p>\u901a\u8fc7\u8fd9\u4e9b\u5de5\u5177\uff0c\u5b66\u751f\u4eec\u53ef\u4ee5\u5c06\u8bfe\u5802\u4e0a\u8ba8\u8bba\u7684\u5185\u5bb9\u5206\u89e3\u6210\u903b\u8f91\u548c\u6570\u5b66\u8fd0\u7b97\u7684\u6b65\u9aa4\u3002<\/p>\n<p>\u8fd9\u5c31\u4eff\u4f5b\u662f\u4e00\u4e2a\u6570\u5b66\u8bc1\u660e\u4e0a\u7684\u7f57\u585e\u5854\u77f3\u7891\u3002<\/p>\n<p>\u540c\u4e3a\u6570\u5b66\u6559\u5e08\u7684Clarissa Littler\uff0c\u5c31\u975e\u5e38\u8d5e\u540cKevin Buzzard\u7684\u7406\u5ff5\u3002<\/p>\n<p>\u5979\u5728\u6ce2\u7279\u5170\u793e\u533a\u5b66\u9662\u6559\u6388\u79bb\u6563\u6570\u5b66\u3002\u8fc7\u53bb\u4e24\u4e2a\u5b66\u671f\u91cc\uff0c\u5979\u90fd\u5728\u79bb\u6563\u6570\u5b66\u8bfe\u4e0a\u7528Kevin Buzzard\u5f00\u53d1\u7684\u300cLean\u7ecf\u5178\u5165\u95e8\u6e38\u620f\u300d\u3002<\/p>\n<p><img decoding=\"async\" title=\"\u56fe\u7247\" src=\"https:\/\/s9.51cto.com\/oss\/202404\/09\/c45bf5347b31fd973670403920570c9106729e.webp\" alt=\"\u56fe\u7247\" data-type=\"block\" \/><span class=\"data-image-title\">\u56fe\u7247<\/span><\/p>\n<p>\u5730\u5740\uff1ahttps:\/\/adam.math.hhu.de\/<\/p>\n<p>\u5979\u4f1a\u7528\u300c\u81ea\u7136\u6570\u535a\u5f08\u300d\uff0c\u5e2e\u5b66\u751f\u719f\u6089\u6570\u5b66\u5f52\u7eb3\u6cd5\u7684\u601d\u60f3\uff0c\u901a\u8fc7\u300c\u96c6\u5408\u8bba\u535a\u5f08\u300d\uff0c\u8ba9\u4ed6\u4eec\u4e60\u60ef\u4e8e\u5bf9\u96c6\u5408\u8fdb\u884c\u63a8\u7406\u3002<\/p>\n<p><img decoding=\"async\" title=\"\u56fe\u7247\" src=\"https:\/\/s2.51cto.com\/oss\/202404\/09\/8146d61343e5ecc360818204ba2513be95fea8.webp\" alt=\"\u56fe\u7247\" data-type=\"block\" \/><span class=\"data-image-title\">\u56fe\u7247<\/span><\/p>\n<p>\u5728\u8fd9\u4e2a\u8fc7\u7a0b\u4e2d\uff0c\u5b66\u751f\u4eec\u5bf9\u300c\u4e25\u683c\u9075\u5faa\u903b\u8f91\u89c4\u5219\u7f16\u5199\u8bc1\u660e\u300d\uff0c\u548c\u300c\u7528\u901a\u4fd7\u8bed\u8a00\u89e3\u91ca\u4e8b\u7269\u771f\u7406\u300d\u4e4b\u95f4\u7684\u7406\u89e3\u5dee\u8ddd\uff0c\u5c31\u4f1a\u9010\u6e10\u5f25\u5408\u3002<\/p>\n<p>Littler\u5f3a\u8c03\uff0c\u8bfe\u7a0b\u7684\u4e00\u5927\u91cd\u70b9\uff0c\u5c31\u662f\u8ba9\u6570\u5b66\u57fa\u7840\u4e0d\u592a\u7262\u56fa\u7684\u5b66\u751f\uff0c\u66f4\u81ea\u5982\u5730\u7528\u6570\u5b66\u5bb6\u7684\u65b9\u5f0f\u601d\u8003\uff0c\u540c\u65f6\u66f4\u597d\u5730\u7406\u89e3\u8bc1\u660e\u3001\u8bc1\u636e\u548c\u5c55\u793a\u771f\u7406\u7684\u65b9\u6cd5\u3002<\/p>\n<p>\u8fd9\u79cd\u4ece\u5f62\u5f0f\u903b\u8f91\u5230\u89c4\u5219\u5217\u8868\uff0c\u518d\u5230\u7528\u6563\u6587\u8868\u8fbe\u7684\u8f6c\u53d8\uff0c\u662f\u5c06\u9879\u76ee\u5206\u89e3\u6210\u4e92\u76f8\u534f\u4f5c\u7684\u4ee3\u7801\u7247\u6bb5\u7684\u5173\u952e\u6240\u5728\u3002<\/p>\n<p><img decoding=\"async\" title=\"\u56fe\u7247\" src=\"https:\/\/s5.51cto.com\/oss\/202404\/09\/a9dbf7318b0c727bfda040b2742d5dfd016bc4.webp\" alt=\"\u56fe\u7247\" data-type=\"block\" \/><span class=\"data-image-title\">\u56fe\u7247<\/span><\/p>\n<p>\u800c\u8fd9\u4e00\u70b9\uff0c\u5728\u7f16\u7a0b\u548c\u7eaf\u6570\u5b66\u7684\u4ea4\u53c9\u9886\u57df\u5c24\u4e3a\u91cd\u8981\uff0c\u4e5f\u6b63\u662fLean\u8fd9\u6837\u7684\u5de5\u5177\u80fd\u5927\u653e\u5f02\u5f69\u7684\u5730\u65b9\u3002<\/p>\n<p>Buzzard\u8868\u793a\uff0c\u4ed6\u5e0c\u671b\u5c06\u8d39\u9a6c\u5927\u5b9a\u7406\u5f15\u53d1\u7684\u590d\u6742\u6570\u5b66\u601d\u60f3\u8f6c\u5316\u4e3a\u53ef\u7f16\u7a0b\u7684\u5f62\u5f0f\u3002<\/p>\n<p>\u51e0\u4e2a\u4e16\u7eaa\u4ee5\u6765\uff0c\u4e3a\u4e86\u8bc1\u660e\u8fd9\u4e2a\u5728Buzzard\u770b\u6765\u300c\u6beb\u65e0\u5b9e\u9645\u610f\u4e49\u300d\u7684\u5b9a\u7406\uff0c\u4eba\u4eec\u5f00\u521b\u4e86\u8bb8\u591a\u6781\u5177\u4ef7\u503c\u7684\u65b0\u6570\u5b66\u5206\u652f\u3002<\/p>\n<p>\u662f\u7684\uff0c\u5728Buzzard\u770b\u6765\uff0c\u8d39\u9a6c\u5927\u5b9a\u7406\u6beb\u65e0\u610f\u4e49\uff0c\u5728\u73b0\u5b9e\u4e16\u754c\u4e2d\u6ca1\u6709\u4efb\u4f55\u5e94\u7528\uff0c\u4e0d\u8fc7\u56e0\u4e3a\u8fd9\u4e2a\u300c\u81ed\u540d\u662d\u8457\u300d\u7684\u95ee\u9898\uff0c\u51e0\u4e2a\u5b9e\u9645\u6765\u4eba\u4eec\u4ea7\u751f\u4e86\u5927\u91cf\u7edd\u5999\u7684\u65b0\u60f3\u6cd5\u3002<\/p>\n<p>\u5982\u4eca\uff0c\u5c06Wiles\u7684100\u9875\u957f\u7684\u8bc1\u660e\u8f6c\u5316\u4e3a\u8ba1\u7b97\u673a\u80fd\u591f\u7406\u89e3\u7684\u5f62\u5f0f\u8bed\u8a00\u548c\u89c4\u5219\uff0c\u6709\u671b\u4e3a\u65b0\u4e00\u4ee3\u6570\u5b66\u5bb6\u5f00\u542f\u8ba1\u7b97\u673a\u8f85\u52a9\u8bc1\u660e\u7684\u5927\u95e8\u3002<\/p>\n<p><img decoding=\"async\" title=\"\u56fe\u7247\" src=\"https:\/\/s9.51cto.com\/oss\/202404\/09\/c519df20286583fe1e3857ad579cdf41b781bc.webp\" alt=\"\u56fe\u7247\" data-type=\"block\" \/><span class=\"data-image-title\">\u56fe\u7247<\/span><\/p>\n<p>\u800c\u8fd9\u79cd\u8f6c\u6362\u5de5\u5177\uff0c\u4e5f\u80fd\u591f\u4e3a\u7f16\u7a0b\u4eba\u5458\u63d0\u4f9b\u5e2e\u52a9\u3002<\/p>\n<p>Littler\u8868\u793a\uff0c\u5728\u8fd9\u4e00\u9886\u57df\uff0c\u96c4\u5fc3\u52c3\u52c3\u7684\u9879\u76ee\u603b\u662f\u503c\u5f97\u5c1d\u8bd5\u7684\uff0c\u56e0\u4e3a\u6211\u4eec\u90fd\u80fd\u4ece\u5b66\u5230\u7684\u7ecf\u9a8c\u548c\u7f16\u5199\u7684\u7a0b\u5e8f\u5e93\u4e2d\u83b7\u76ca\u3002<\/p>\n<p>\u4ea4\u4e92\u5f0f\u7684\u5b9a\u7406\u8bc1\u660e\u867d\u7136\u8fd8\u662f\u4e00\u4e2a\u8f83\u65b0\u7684\u9886\u57df\uff0c\u4f46Lean\u793e\u533a\u5df2\u7ecf\u505a\u4e86\u8bb8\u591a\u4f18\u79c0\u7684\u5de5\u4f5c\u3002<\/p>\n<h3>Kevin Buzzard\uff1aLean\u7684\u5e03\u9053\u8005<\/h3>\n<p>1968\u5e74\u51fa\u751f\u7684Kevin Mark Buzzard\uff0c\u5728\u7b97\u672f\u51e0\u4f55\u548cLanglands\u7a0b\u5e8f\u65b9\u9762\u6709\u7740\u6df1\u539a\u7684\u4e13\u4e1a\u9020\u8be3\u3002<\/p>\n<p>\u4ed6\u76ee\u524d\u662f\u4f26\u6566\u5e1d\u56fd\u5b66\u9662\u7684\u7eaf\u6570\u5b66\u6559\u6388\uff0c\u4e5f\u662fAI\u5de5\u5177Lean\u7684\u300c\u5e03\u9053\u8005\u300d\u3002<\/p>\n<p>\u5728\u7687\u5bb6\u6587\u6cd5\u5b66\u6821\u8bfb\u4e66\u671f\u95f4\uff0cKevin Buzzard\u66fe\u53c2\u52a0\u4e86\u56fd\u9645\u6570\u5b66\u5965\u6797\u5339\u514b\u7ade\u8d5b\uff0c\u5e76\u57281986\u5e74\u8d62\u5f97\u94dc\u724c\uff0c1987\u5e74\u4ee5\u6ee1\u5206\u62ff\u4e0b\u91d1\u724c\u3002<\/p>\n<p><img decoding=\"async\" title=\"\u56fe\u7247\" src=\"https:\/\/s6.51cto.com\/oss\/202404\/09\/b3624d093af93b9586f7527796f176266c72b9.webp\" alt=\"\u56fe\u7247\" data-type=\"block\" \/><span class=\"data-image-title\">\u56fe\u7247<\/span><\/p>\n<p>\u6b64\u540e\uff0c\u4ed6\u5728\u5251\u6865\u5927\u5b66\u7684\u4e09\u4e00\u5b66\u9662\u5b8c\u6210\u4e86\u6570\u5b66\u672c\u79d1\u5b66\u4e60\uff0c\u5e76\u4e8e1990\u5e74\u83b7\u5f97Senior Wrangler\u5934\u8854\uff0c\u4e8e1991\u5e74\u83b7\u5f97C.A.S.M.\u5b66\u4f4d\u3002<\/p>\n<p>\u5728Richard Taylor\u7684\u6307\u5bfc\u4e0b\uff0c\u4ed6\u7684\u535a\u58eb\u8bba\u6587\u300cThe levels of modular representations\u300d\u4e8e1995\u5e74\u5b8c\u6210\uff0c\u63a2\u8ba8\u4e86\u6570\u5b66\u4e2d\u7684\u4e00\u4e2a\u590d\u6742\u9886\u57df\u3002<\/p>\n<p><img decoding=\"async\" title=\"\u56fe\u7247\" src=\"https:\/\/s5.51cto.com\/oss\/202404\/09\/c85c42e65769747cb1a959e4263fdd7fc60405.webp\" alt=\"\u56fe\u7247\" data-type=\"block\" \/><span class=\"data-image-title\">\u56fe\u7247<\/span><\/p>\n<p>1998\u5e74\uff0c\u4ed6\u5f00\u59cb\u5728\u4f26\u6566\u5e1d\u56fd\u5b66\u9662\u62c5\u4efb\u8bb2\u5e08\uff0c2002\u5e74\u664b\u5347\u4e3a\u9ad8\u7ea7\u8bb2\u5e08\uff0c2004\u5e74\u88ab\u4efb\u547d\u4e3a\u6559\u6388\u3002<\/p>\n<p>\u4ed6\u8fd8\u66fe\u5728\u54c8\u4f5b\u5927\u5b66\uff082002\u5e7410\u6708\u81f312\u6708\uff09\u548c\u5176\u4ed6\u51e0\u6240\u8457\u540d\u673a\u6784\u8fdb\u884c\u8bbf\u95ee\u7814\u7a76\u3002<\/p>\n<p>\u56e0\u5176\u5728\u6570\u8bba\u9886\u57df\u7684\u7a81\u51fa\u8d21\u732e\uff0c\u4ed6\u57282002\u5e74\u83b7\u5f97\u4e86\u6000\u7279\u9ed1\u5fb7\u5956\uff0c2008\u5e74\u83b7\u5f97\u4e86Senior Berwick\u5956\u3002<\/p>\n<p>2017\u5e74\uff0cBuzzard\u53d1\u8d77\u4e86\u4e00\u4e2a\u5173\u4e8eLean\u5b9a\u7406\u8bc1\u660e\u5668\u7684\u9879\u76ee\u548c\u535a\u5ba2\uff0c\u81f4\u529b\u4e8e\u63a8\u52a8\u5728\u6570\u5b66\u7814\u7a76\u4e2d\u4f7f\u7528\u8ba1\u7b97\u673a\u8f85\u52a9\u8bc1\u660e\u5de5\u5177\u3002<\/p>\n<p>\u4ed6\u8fd8\u6307\u5bfc\u4e86\u97f3\u4e50\u5bb6Dan Snaith\uff08\u827a\u540dCaribou\uff09\u5b8c\u6210\u4e86\u5173\u4e8e\u8d85\u6536\u655bSiegel\u6a21\u7b26\u53f7\u7814\u7a76\u7684\u6570\u5b66\u535a\u58eb\u8bba\u6587\uff0cSnaith\u56e0\u6b64\u4ece\u4f26\u6566\u5e1d\u56fd\u5b66\u9662\u83b7\u5f97\u4e86\u535a\u58eb\u5b66\u4f4d\u3002<\/p>\n<p>2023\u5e7410\u6708\uff0cKevin Buzzard\u5728\u793e\u4ea4\u5a92\u4f53\u4e0a\u79f0\uff0c\u81ea\u5df1\u83b7\u5f97\u4e86\u7814\u7a76\u7ecf\u8d39\uff0c\u5f00\u59cb\u7528Lean\u53bb\u8bc1\u660e\u8d39\u9a6c\u5927\u5b9a\u7406\u3002<\/p>\n<p><img decoding=\"async\" title=\"\u56fe\u7247\" src=\"https:\/\/s7.51cto.com\/oss\/202404\/09\/5925e5f16c19fc980470244de8f1df49048dba.webp\" alt=\"\u56fe\u7247\" data-type=\"block\" \/><span class=\"data-image-title\">\u56fe\u7247<\/span><\/p>\n<p>Buzzard\u8868\u793a\uff0c\u300c\u5341\u5e74\u524d\uff0c\u8fd9\u9700\u8981\u82b1\u8d39\u65e0\u9650\u591a\u7684\u65f6\u95f4\u300d\u3002\u4e3a\u4e86\u5b8c\u6210\u8fd9\u4e2a\u9879\u76ee\uff0c\u4ed6\u5c06\u628a\u81ea\u5df1\u7684\u6559\u5b66\u4efb\u52a1\u6401\u7f6e\u4e94\u5e74\u3002<\/p>\n<p>\u6401\u7f6e\u81ea\u5df1\u7684\u4efb\u52a1\uff0c\u503c\u5f97\u5417\uff1f<\/p>\n<p>\u5728\u4ed6\u7684\u540c\u884c\u3001\u82f1\u56fd\u8bfa\u4e01\u6c49\u5927\u5b66Chris Williams\u770b\u6765\uff0c\u8fd9\u79cd\u9879\u76ee\u53ef\u80fd\u4f1a\u4ea7\u751f\u610f\u60f3\u4e0d\u5230\u7684\u597d\u5904\uff0c\u548c\u6df1\u8fdc\u7684\u5f71\u54cd\u3002<\/p>\n<p>\u300c\u6211\u8ba4\u4e3a\u4ed6\u4e0d\u592a\u53ef\u80fd\u5728\u672a\u6765\u4e94\u5e74\u5185\u6b63\u5f0f\u5f62\u5f0f\u5316\u6574\u4e2a\u8bc1\u660e\uff0c\u5426\u5219\u5c31\u592a\u60ca\u4eba\u4e86\u3002\u4f46\u662f\uff0c\u73b0\u5728\u7684\u6570\u8bba\u548c\u7b97\u672f\u51e0\u4f55\u4e2d\uff0c\u8bb8\u591a\u5de5\u5177\u90fd\u65e0\u5904\u4e0d\u5728\uff0c\u56e0\u6b64\u6211\u9884\u8ba1\uff0c\u672a\u6765\u4efb\u4f55\u5b9e\u8d28\u6027\u7684\u8fdb\u5c55\u90fd\u5c06\u975e\u5e38\u6709\u7528\u3002\u300d<\/p>\n<h3>\u5bf9\u6570\u5b66\u7814\u7a76\u610f\u4e49\u91cd\u5927<\/h3>\n<p>\u8fd9\u4e2a\u9879\u76ee\u8fd8\u63ed\u793a\u4e86\u4e00\u4e2a\u66f4\u6df1\u5c42\u6b21\u7684\u4ef7\u503c\u3002<\/p>\n<p>\u968f\u7740\u8ba1\u7b97\u5de5\u5177\u7684\u4e0d\u65ad\u8fdb\u6b65\uff0c\u6570\u5b66\u7684\u4e0d\u540c\u5206\u652f\u4e4b\u95f4\uff0c\u751a\u81f3\u4e0d\u540c\u5b66\u79d1\u4e4b\u95f4\u7684\u754c\u9650\uff0c\u6b63\u53d8\u5f97\u8d8a\u6765\u8d8a\u6a21\u7cca\uff0c\u8fd9\u5c31\u5bfc\u81f4\u4e00\u4e9b\u51e0\u4e4e\u65e0\u6cd5\u9a8c\u8bc1\u7684\u8bc1\u660e\u51fa\u73b0\u4e86\u3002<\/p>\n<p>\u6bd4\u5982\uff0c\u4eac\u90fd\u5927\u5b66\u7684\u65e5\u672c\u6570\u5b66\u5bb6Mochizuki Shinichi\u7f16\u5199\u4e86\u4e00\u4efd\u957f\u8fbe500\u9875\u7684\u8bc1\u660e\uff0c\u56e0\u4e3a\u592a\u8fc7\u590d\u6742\uff0c\u82b1\u8d39\u4e86\u6570\u5e74\u65f6\u95f4\u624d\u53d1\u8868\u51fa\u6765\uff0c\u90e8\u5206\u539f\u56e0\u5c31\u662f\uff0c\u4eba\u4eec\u4e0d\u77e5\u9053\u8be5\u5982\u4f55\u5904\u7406\u5b83\u3002<\/p>\n<p>\u4ece\u6b64\uff0c\u6211\u4eec\u53ef\u80fd\u4f1a\u53d1\u73b0\uff0c\u6570\u5b66\u7684\u8fb9\u754c\u53d8\u5f97\u8d8a\u6765\u8d8a\u6a21\u7cca\u3002<\/p>\n<p>\u8fd9\u4e0d\u662f\u6307\u771f\u5b9e\u6027\u6216\u903b\u8f91\u4e0a\u7684\u6a21\u7cca\uff0c\u800c\u662f\u6307\u4e00\u4e2a\u8bc1\u660e\u4e2d\u53ef\u4ee5\u878d\u5408\u7684\u4e0d\u540c\u601d\u60f3\u7684\u8303\u56f4\u3002<\/p>\n<p>Lean\u53ef\u4ee5\u8ba9\u6570\u5b66\u5bb6\u4eec\u7684\u601d\u60f3\u8f6c\u5316\u4e3a\u4ee3\u7801\uff0c\u8fd9\u5c31\u8ba9\u540c\u884c\u66f4\u6613\u4e8e\u7406\u89e3\u3002\u770b\u7740\u524d\u4eba\u8bb0\u5f55\u7684\u5148\u4f8b\uff0c\u672a\u6765\u7684\u6570\u5b66\u5bb6\u4eec\u53ef\u4ee5\u5728\u6b64\u57fa\u7840\u4e0a\u7ee7\u7eed\u63a8\u8fdb\u81ea\u5df1\u7684\u7814\u7a76\u3002<\/p>\n<p>Buzzard\u8868\u793a\uff0c\u7528Lean\u8fdb\u884c\u6570\u5b66\u5199\u4f5c\u7684\u7279\u70b9\u5c31\u662f\uff0c\u4f60\u53ef\u4ee5\u7559\u4e0b\u7cbe\u786e\u9648\u8ff0\u4f46\u672a\u7ecf\u8bc1\u660e\u7684\u7ed3\u679c\uff0c\u800c\u5176\u4ed6\u4eba\u5c31\u53ef\u4ee5\u5728\u4e4b\u540e\u89e3\u51b3\u5b83\u4eec\u3002<\/p>\n<p>Lean\u672c\u8eab\u5c31\u4fc3\u6210\u4e86\u8fd9\u6837\u4e00\u79cd\u5de5\u4f5c\u6d41\u3002<\/p>\n<p><img decoding=\"async\" title=\"\u56fe\u7247\" src=\"https:\/\/s4.51cto.com\/oss\/202404\/09\/a8c54a835de8bc49e78926d9f1c0f3e281419b.webp\" alt=\"\u56fe\u7247\" data-type=\"block\" \/><span class=\"data-image-title\">\u56fe\u7247<\/span><\/p>\n<p>\u6362\u8a00\u4e4b\uff0c\u8d39\u9a6c\u5927\u5b9a\u7406\u6b63\u51c6\u5907\u4ee5\u300c\u4f17\u5305\u300d\u7684\u65b9\u5f0f\u6765\u89e3\u51b3\u2014\u2014\u7279\u522b\u662f\u5982\u679c\u7f16\u7801\u5de5\u4f5c\u8d85\u51fa\u4e86Buzzard\u5269\u4f59\u7684\u5de5\u4f5c\u5e74\u9650\u3002<\/p>\n<p>\u5b8c\u6210\u4e00\u4e2a\u6570\u5b66\u8bc1\u660e\u9700\u8981\u6574\u4e2a\u793e\u533a\u7684\u52aa\u529b\u3002<\/p>\n<p>\u4e5f\u8bb8\uff0c\u5728\u5c06\u6765\uff0c\u6211\u4eec\u80fd\u62e5\u6709\u4e00\u4e2a\u7c7b\u4f3cGenius.com\u7684\u5e73\u53f0\uff0c\u7528\u4e8e\u5206\u4eab\u548c\u89e3\u8bfb\u6570\u5b66\u8bc1\u660e\u3002<\/p>\n<p>\u53c2\u8003\u8d44\u6599\uff1a<\/p>\n<p>https:\/\/www.popularmechanics.com\/science\/math\/a60280173\/machines-are-on-the-verge-of-tackling-fermats-last-theorema-proof-that-once-defied-them\/<\/p>\n<p>https:\/\/www.newscientist.com\/article\/2422601-mathematicians-plan-computer-proof-of-fermats-last-theorem\/#Echobox=1710896989<\/p>\n<\/div>\n<\/div>\n<div class=\"pvc_clear\"><\/div>\n<p id=\"pvc_stats_20162\" class=\"pvc_stats total_only  \" data-element-id=\"20162\" style=\"\"><i class=\"pvc-stats-icon medium\" aria-hidden=\"true\"><svg xmlns=\"http:\/\/www.w3.org\/2000\/svg\" version=\"1.0\" viewBox=\"0 0 502 315\" preserveAspectRatio=\"xMidYMid meet\"><g transform=\"translate(0,332) scale(0.1,-0.1)\" fill=\"\" stroke=\"none\"><path d=\"M2394 3279 l-29 -30 -3 -207 c-2 -182 0 -211 15 -242 39 -76 157 -76 196 0 15 31 17 60 15 243 l-3 209 -33 29 c-26 23 -41 29 -80 29 -41 0 -53 -5 -78 -31z\"\/><path d=\"M3085 3251 c-45 -19 -58 -50 -96 -229 -47 -217 -49 -260 -13 -295 52 -53 146 -42 177 20 16 31 87 366 87 410 0 70 -86 122 -155 94z\"\/><path d=\"M1751 3234 c-13 -9 -29 -31 -37 -50 -12 -29 -10 -49 21 -204 19 -94 39 -189 45 -210 14 -50 54 -80 110 -80 34 0 48 6 76 34 21 21 34 44 34 59 0 14 -18 113 -40 219 -37 178 -43 195 -70 221 -36 32 -101 37 -139 11z\"\/><path d=\"M1163 3073 c-36 -7 -73 -59 -73 -102 0 -56 133 -378 171 -413 34 -32 83 -37 129 -13 70 36 67 87 -16 290 -86 209 -89 214 -129 231 -35 14 -42 15 -82 7z\"\/><path d=\"M3689 3066 c-15 -9 -33 -30 -42 -48 -48 -103 -147 -355 -147 -375 0 -98 131 -148 192 -74 13 15 57 108 97 206 80 196 84 226 37 273 -30 30 -99 39 -137 18z\"\/><path d=\"M583 2784 c-38 -19 -67 -74 -58 -113 9 -42 211 -354 242 -373 16 -10 45 -18 66 -18 51 0 107 52 107 100 0 39 -1 41 -124 234 -80 126 -108 162 -133 173 -41 17 -61 16 -100 -3z\"\/><path d=\"M4250 2784 c-14 -9 -74 -91 -133 -183 -95 -150 -107 -173 -107 -213 0 -55 33 -94 87 -104 67 -13 90 8 211 198 130 202 137 225 78 284 -27 27 -42 34 -72 34 -22 0 -50 -8 -64 -16z\"\/><path d=\"M2275 2693 c-553 -48 -1095 -270 -1585 -649 -135 -104 -459 -423 -483 -476 -23 -49 -22 -139 2 -186 73 -142 361 -457 571 -626 285 -228 642 -407 990 -497 242 -63 336 -73 660 -74 310 0 370 5 595 52 535 111 1045 392 1455 803 122 121 250 273 275 326 19 41 19 137 0 174 -41 79 -309 363 -465 492 -447 370 -946 591 -1479 653 -113 14 -422 18 -536 8z m395 -428 c171 -34 330 -124 456 -258 112 -119 167 -219 211 -378 27 -96 24 -300 -5 -401 -72 -255 -236 -447 -474 -557 -132 -62 -201 -76 -368 -76 -167 0 -236 14 -368 76 -213 98 -373 271 -451 485 -162 444 86 934 547 1084 153 49 292 57 452 25z m909 -232 c222 -123 408 -262 593 -441 76 -74 138 -139 138 -144 0 -16 -233 -242 -330 -319 -155 -123 -309 -223 -461 -299 l-81 -41 32 46 c18 26 49 83 70 128 143 306 141 649 -6 957 -25 52 -61 116 -79 142 l-34 47 45 -20 c26 -10 76 -36 113 -56z m-2057 25 c-40 -58 -105 -190 -130 -263 -110 -324 -59 -707 132 -981 25 -35 42 -64 37 -64 -19 0 -241 119 -326 174 -188 122 -406 314 -532 468 l-58 71 108 103 c185 178 428 349 672 473 66 33 121 60 123 61 2 0 -10 -19 -26 -42z\"\/><path d=\"M2375 1950 c-198 -44 -350 -190 -395 -379 -18 -76 -8 -221 19 -290 114 -284 457 -406 731 -260 98 52 188 154 231 260 27 69 37 214 19 290 -38 163 -166 304 -326 360 -67 23 -215 33 -279 19z\"\/><\/g><\/svg><\/i> <img loading=\"lazy\" decoding=\"async\" width=\"16\" height=\"16\" alt=\"Loading\" src=\"https:\/\/aif.amtbbs.org\/wp-content\/plugins\/page-views-count\/ajax-loader-2x.gif\" border=0 \/><\/p>\n<div class=\"pvc_clear\"><\/div>\n","protected":false},"excerpt":{"rendered":"<p>\u56f0\u6270\u5168\u4e16\u754c\u51e0\u4e2a\u4e16\u7eaa\u7684\u300c\u81ed\u540d\u662d\u8457\u300d\u8c1c\u9898\u2014\u2014\u8d39\u9a6c\u5927\u5b9a\u7406\uff0c\u6216\u5c06\u88abAI\u653b\u514b\uff1f\u4e00\u4f4d\u82f1\u56fd\u6570\u5b66\u5bb6\u5ba3\u5e03\uff0c\u5373\u5c06\u542f\u52a8\u7528Lean\u91cd\u73b0 [&hellip;]<\/p>\n<div class=\"pvc_clear\"><\/div>\n<p id=\"pvc_stats_20162\" class=\"pvc_stats total_only  \" data-element-id=\"20162\" style=\"\"><i class=\"pvc-stats-icon medium\" aria-hidden=\"true\"><svg xmlns=\"http:\/\/www.w3.org\/2000\/svg\" version=\"1.0\" viewBox=\"0 0 502 315\" preserveAspectRatio=\"xMidYMid meet\"><g transform=\"translate(0,332) scale(0.1,-0.1)\" fill=\"\" stroke=\"none\"><path d=\"M2394 3279 l-29 -30 -3 -207 c-2 -182 0 -211 15 -242 39 -76 157 -76 196 0 15 31 17 60 15 243 l-3 209 -33 29 c-26 23 -41 29 -80 29 -41 0 -53 -5 -78 -31z\"\/><path d=\"M3085 3251 c-45 -19 -58 -50 -96 -229 -47 -217 -49 -260 -13 -295 52 -53 146 -42 177 20 16 31 87 366 87 410 0 70 -86 122 -155 94z\"\/><path d=\"M1751 3234 c-13 -9 -29 -31 -37 -50 -12 -29 -10 -49 21 -204 19 -94 39 -189 45 -210 14 -50 54 -80 110 -80 34 0 48 6 76 34 21 21 34 44 34 59 0 14 -18 113 -40 219 -37 178 -43 195 -70 221 -36 32 -101 37 -139 11z\"\/><path d=\"M1163 3073 c-36 -7 -73 -59 -73 -102 0 -56 133 -378 171 -413 34 -32 83 -37 129 -13 70 36 67 87 -16 290 -86 209 -89 214 -129 231 -35 14 -42 15 -82 7z\"\/><path d=\"M3689 3066 c-15 -9 -33 -30 -42 -48 -48 -103 -147 -355 -147 -375 0 -98 131 -148 192 -74 13 15 57 108 97 206 80 196 84 226 37 273 -30 30 -99 39 -137 18z\"\/><path d=\"M583 2784 c-38 -19 -67 -74 -58 -113 9 -42 211 -354 242 -373 16 -10 45 -18 66 -18 51 0 107 52 107 100 0 39 -1 41 -124 234 -80 126 -108 162 -133 173 -41 17 -61 16 -100 -3z\"\/><path d=\"M4250 2784 c-14 -9 -74 -91 -133 -183 -95 -150 -107 -173 -107 -213 0 -55 33 -94 87 -104 67 -13 90 8 211 198 130 202 137 225 78 284 -27 27 -42 34 -72 34 -22 0 -50 -8 -64 -16z\"\/><path d=\"M2275 2693 c-553 -48 -1095 -270 -1585 -649 -135 -104 -459 -423 -483 -476 -23 -49 -22 -139 2 -186 73 -142 361 -457 571 -626 285 -228 642 -407 990 -497 242 -63 336 -73 660 -74 310 0 370 5 595 52 535 111 1045 392 1455 803 122 121 250 273 275 326 19 41 19 137 0 174 -41 79 -309 363 -465 492 -447 370 -946 591 -1479 653 -113 14 -422 18 -536 8z m395 -428 c171 -34 330 -124 456 -258 112 -119 167 -219 211 -378 27 -96 24 -300 -5 -401 -72 -255 -236 -447 -474 -557 -132 -62 -201 -76 -368 -76 -167 0 -236 14 -368 76 -213 98 -373 271 -451 485 -162 444 86 934 547 1084 153 49 292 57 452 25z m909 -232 c222 -123 408 -262 593 -441 76 -74 138 -139 138 -144 0 -16 -233 -242 -330 -319 -155 -123 -309 -223 -461 -299 l-81 -41 32 46 c18 26 49 83 70 128 143 306 141 649 -6 957 -25 52 -61 116 -79 142 l-34 47 45 -20 c26 -10 76 -36 113 -56z m-2057 25 c-40 -58 -105 -190 -130 -263 -110 -324 -59 -707 132 -981 25 -35 42 -64 37 -64 -19 0 -241 119 -326 174 -188 122 -406 314 -532 468 l-58 71 108 103 c185 178 428 349 672 473 66 33 121 60 123 61 2 0 -10 -19 -26 -42z\"\/><path d=\"M2375 1950 c-198 -44 -350 -190 -395 -379 -18 -76 -8 -221 19 -290 114 -284 457 -406 731 -260 98 52 188 154 231 260 27 69 37 214 19 290 -38 163 -166 304 -326 360 -67 23 -215 33 -279 19z\"\/><\/g><\/svg><\/i> <img loading=\"lazy\" decoding=\"async\" width=\"16\" height=\"16\" alt=\"Loading\" src=\"https:\/\/aif.amtbbs.org\/wp-content\/plugins\/page-views-count\/ajax-loader-2x.gif\" border=0 \/><\/p>\n<div class=\"pvc_clear\"><\/div>\n","protected":false},"author":56,"featured_media":20164,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[23,80],"tags":[124,1106,1020],"class_list":["post-20162","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-23","category-80","tag-ai","tag-1106","tag-1020"],"_links":{"self":[{"href":"https:\/\/aif.amtbbs.org\/index.php\/wp-json\/wp\/v2\/posts\/20162","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=20162"}],"version-history":[{"count":1,"href":"https:\/\/aif.amtbbs.org\/index.php\/wp-json\/wp\/v2\/posts\/20162\/revisions"}],"predecessor-version":[{"id":20166,"href":"https:\/\/aif.amtbbs.org\/index.php\/wp-json\/wp\/v2\/posts\/20162\/revisions\/20166"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/aif.amtbbs.org\/index.php\/wp-json\/wp\/v2\/media\/20164"}],"wp:attachment":[{"href":"https:\/\/aif.amtbbs.org\/index.php\/wp-json\/wp\/v2\/media?parent=20162"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/aif.amtbbs.org\/index.php\/wp-json\/wp\/v2\/categories?post=20162"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/aif.amtbbs.org\/index.php\/wp-json\/wp\/v2\/tags?post=20162"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}