Reddit网友围绕AI是否靠“暴力破解”解决数学难题展开激辩。有人称这只是大规模智能的蛮力，有人反驳人类解题同样靠试错与直觉，本质无异。讨论还延伸到AI是否真正理解问题，以及“惨痛教训”是否意味着规模化才是唯一路径。