数学家像卢德分子：AI 自动化重塑数学劳动

AI 自动化正在重塑数学劳动，其冲击类似动力织机对手工织工的替代，因此数学家在职业问题上与卢德分子相似。数学的原材料“证明”如今可低成本生成，作者预计 AI 一年内还能进一步自动处理“定义”；同时，AI 也让数学的商业价值重新显现，使普通用户得以受益。