当AI杀进数学界 人们意识到原来柯洁是一种处境

📋总体概括

AI正在冲击人类智力的最后堡垒——数学。OpenAI先从千禧年猜想起手，随后一口气放出七百多份研究手稿，最近又对计算机算法基石ETH假设出手，直接挑战著名的P=NP猜想。文章认为，这波突破某种程度上是数学家自己铺垫的：数学证明难懂、引用繁杂、审查费时，且证明中常有省略跳步和「显然可得」式的模糊表述，反而为AI介入提供了空间。继十年前的围棋、后来的程序员之后，数学家成为AI能力跃升的最新见证群体。