AI证明非sofic群存在性引数学界学术伦理争议

2026年8月，OpenAI宣布其人工智能模型成功破解几何群论中长期悬而未决的非Sofic群存在性难题，引发国际数学界震动。该突破主要依托公开数学框架，但OpenAI初期通报称过去十年毫无进展的表述迅速招致核心学者Andreas Thom等人公开批评，指出此举严重淡化了既有学术积累。经交涉，OpenAI已修正相关宣传口径。随后，争议焦点迅速转向训练数据透明度。Thom指出，其近期与OpenAI模型的学术探讨高度契合解题逻辑，但公司代表断言相关对话未进入训练集且未参与推理过程。Thom认为该绝对化否认缺乏技术依据，凸显了研发端信息披露的缺失与伦理隐患。此事件正深刻重塑学术评价范式。AI生成证明能力已使传统论文机制难以准确界定人类作者的实质贡献。面对高级智能模型即将成为社会基础基础设施的趋势，学界呼吁建立独立监管框架，强制公开数据使用路径，确保技术创新严格遵循学术诚信与公共利益原则。