跟帖美国CS教授发文：数学末日来了，人类千年数学殿堂被AI毁了