又一项属于菲尔兹奖级别的、困扰数学界半个多世纪的概率论“圣杯级”难题——渗流理论中的连续相变猜想，被人工智能Claude成功证明，且经由数学形式化证明语言Lean完成了严格核验。
以当下人工智能的现有能力与发展势头来看，终有一日，数学领域的所有未解难题都会被逐一攻克。不难预见，未来新难题的提出速度，会远远跟不上人工智能推导演算给出解答的速度，甚至人工智能会不会自行提出问题又自行完成解答？
到了那个时候，还会有人愿意沉下心深耕数学研究吗？