Terence Tao

如果数学不仅仅是证明，我们需要更好地赞美它的其他部分

Grant Sanderson 提议数学界应正式认可有动机的解释，而非只奖励新证明，以回应 AI 生成证明带来的冲击。