数学家Bryna Kra指出，AI大幅降低了生成复杂数学证明的成本，产出速度远超学界消化能力。她以研究近三十年的Nivat猜想为例，近期收到多篇疑似AI辅助的证明，作者却拒绝解释论证。她认为证明不仅关乎正确性，更承载理解与洞见，数学界需调整激励机制，重视验证、阐释与集体理解，而非仅奖励定理产出。