LucaAmb：既然强调要理解数学结果，为何不愿读 AI 给出的证明？

LucaAmb 在 X 上指出数学圈的自相矛盾：普遍认同「数学结果应当被理解」，但许多人表示不愿费心去读 AI 给出的证明，他反问「你到底想不想理解？」。这条短评指向当前对 AI 辅助数学证明的态度张力——如果理解本身是目的，拒绝阅读 AI 证明就与其宣称的价值观冲突。