据量子位报道,数学家陶哲轩带头,人类数学家群体联合对 OpenAI 发起抵制。这一动向将数学界与头部 AI 实验室之间的张力推到了台前。
对 AI 从业者而言,这件事的分量不在于立场本身,而在于它出现的位置。数学长期被视为大模型能力评测中最"硬"的一环:答案可验证、推理链条可检查、对错不含糊。过去几年,AI 在定理证明辅助、形式化数学、竞赛题求解等方向持续投入,一批数学家也深度参与了相关工具与数据集的建设。换句话说,最先把 AI 当成研究伙伴的,恰恰是数学界的一部分人。
如今这批人当中的代表人物公开站到抵制一侧,说明分歧已经从"AI 能不能做数学"转向"AI 以什么方式、在什么条件下参与数学"。这背后通常涉及几类问题:研究过程中人与模型的贡献如何界定,训练数据的来源与使用是否获得认可,以及模型能力提升之后学术共同体的话语权如何分配。这些问题的答案目前都不清晰。
对 OpenAI 而言,来自数学界的公开抵制是一个信号。数学社区规模不大,但其评价在学术公信力上权重很高,且与形式化验证、基准测试等 AI 能力评估环节高度耦合。若分歧持续,可能影响的不只是一次舆论风波,还包括人才流动、数据合作与第三方评测的可信度。
更值得关注的是后续走向:抵制是否会形成有组织的持续行动,是否会扩散到其他基础学科,以及涉事各方能否建立一套可被学术界接受的协作与署名规则。就目前公开信息看,这仍是一起正在展开的事件。
