Grady Booch 称 AI 数学突破引发数学家自我怀疑，被形容为「对数学家的 DDoS」

UML 之父 Grady Booch 发帖称，AI 在数学定理证明上的突破正让相当数量的数学家陷入深度自我怀疑与灵魂拷问。他转述了专家群体的两极评价：有人极力称赞 AI 给出的数学解法，也有领域专家在 Bluesky 上将其形容为「对数学家的 DDoS」，海量解法如潮水般涌向数学家，令其应接不暇。