数学家被指双标：一边骂 AI 证明未经审核，一边抢发 AI 写的证明

数学家被指在 AI 证明上双标：一边高呼不能未经人工检查就发布 AI 写的烂证明，一边自己立刻发布 AI 生成的证明。这一讽刺观察指出，数学界对 AI 辅助证明的审核态度与实际发布行为并不一致。