AI 数学求解之争：突破还是对数学家的 DDoS

2026 年 10 月 7 日，软件工程先驱、UML 之父 Grady Booch 转述了围绕 AI 数学求解的两极评价：有人极力称赞 AI 给出的数学解法；也有领域专家在 Bluesky 上将其形容为「对数学家的 DDoS」，指海量解法如潮水般涌向数学家、令其应接不暇，却难以判断其中价值。Booch 表示自己不是数学家，无法判断这些解法是否超出孤立的理论谜题、是否具备现实价值，或是否改变我们对数学的理解，因此向领域专家公开求证。同日稍晚的报道进一步称，Booch 发帖表示 AI 在数学定理证明上的突破正让相当数量的数学家陷入深度自我怀疑与灵魂拷问。早先报道未提及数学家自我怀疑这一说法，后续报道将其作为 Booch 的观点补充进来。报道均未给出进一步的结论。

AI 根据报道生成 · 1 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。