AI 时代数学家称数学近乎艺术，提问比证明更难

AI 时代的数学家开始把数学描述为「艺术与社交活动」，有作者对此感到不安，认为数学仍应以可验证的证明为核心——尽管近期一些 AI 给出的证明人类很难读懂、验证要花极长时间。他认同的判断是：真正有创造性的 AI 的标志，是能提出当前模型自己尚无法解决、但至少可以表述的新数学猜想。