解开数学最伟大的难题曾是一门艺术，然后AI来了

📋总体概括

数学曾被视为与绘画、诗歌并列的人类最富创造性的活动，其伟大问题的求解本身就是一门艺术。如今AI凭借蛮力计算开始侵入这一领域，数学家们正试图捍卫数学中属于人类直觉与审美的部分。这篇评论性质的文章探讨了当机器能够证明定理时，数学作为创造性行当的身份危机，以及数学家在AI时代如何重新定位自身价值。