动察 Beating AI 快讯，OpenAI Astra 数学突破再陷争议。数学家 Andreas Thom 近日发文质疑，OpenAI 在训练 Astra 时，可能吸收了他与数学家 Gábor Kun 围绕 Gromov soficity conjecture 展开研究时留下的对话内容，随后 Astra 又解决了高度相关的问题。 Gromov soficity conjecture 是群论领域长期悬而未决的重要问题，Thom 已研究该问题 20 年。OpenAI 今年 8 月公布 Astra「十大数学突破」时，其中第 3 项正是构造出 non-sofic group。OpenAI 此前称相关成果由内部版本 Astra 完成，但在遭到数学界质疑后，已修改表述，承认该证明依赖包括 Kun 和 Thom 研究在内的近期数学工作。 目前尚无证据证明 OpenAI 确实将相关私人对话用于训练 Astra，但 Thom 的指控再次将 AI 训练数据来源、未发表研究成果归属以及「AI 发现」是否建立在人类未公开成果之上等问题推至台前。 若相关指控最终得到证实，事件将不再只是学术署名争议，而可能演变为一场涉及 AI 公司数据使用、科研伦理和知识产权的重大风波。