数学家一边批评AI证明未经人工审核，一边抢着发布AI生成的证明

AGI Hunt 以讽刺观察指出数学界的双重标准：数学家高声反对未经人工检查便发布AI生成的证明，自己却立即发布同类证明。文章认为，这种言行反差折射出数学界在采用AI辅助证明时的双标现象。