OpenAI 722份数学证明遭抵制

该事件与DeepMind登Science形成对照。争议焦点是AI批量生成证明后，把校对和验证重担转移给人类数学家，冲击同行评审和可复现标准。行业认为，AI科研不能只追求数量，还需建立可审计推理链、版本管理和专家复核机制。该动态提醒大模型公司在前沿科学领域需平衡发布速度与学术可信度。