Grady Booch：全球正陷入深度自我怀疑的数学家为数不少

软件工程泰斗、UML 之父 Grady Booch 发帖称，当下正在进行深度灵魂拷问的数学家全世界可不是个小数目。推文未点名 AI，但结合近期 AI 在数学定理证明上的突破，被普遍解读为对 AI 冲击数学研究职业的感慨，顶级学者也开始集体反思自身领域价值。