Grady Booch 转述专家热议：AI 数学求解是突破还是对数学家的 DDoS

软件工程先驱 Grady Booch 转述了对 AI 数学求解的两极评价：有人极力称赞 AI 给出的数学解法，也有领域专家在 Bluesky 上将其形容为「对数学家的 DDoS」——海量解法涌来却难以判断其价值。Booch 表示自己不是数学家，无法判断这些解法是否超出孤立的理论谜题、具备现实价值或改变我们对数学的理解，因此向领域专家公开求证。