【人类数学家联合抵制OpenAI】OpenAI于10月公布719份AI数学解答，涵盖372个数学结果族，涉及数百项开放研究问题，不过争议随之而来。1.“数学与人工智能顾问小组”（AGMAI）认为OpenAI此举不合规：OpenAI此次仍使用专有模型，且仅10份手稿附有模型推理链，信息披露不充分；OpenAI发布的证明中约42%未经形式化处理，也未提供将自然语言证明与形式化产物关联的机器可读元数据。2.陶哲轩下场：开挂解数学没问题，但别当卖点数学行业自有其生态、传统和流程，结果AI圈地自萌，把人排除在外，结果难以被“消化”（人类来不及验证、理解、教学和吸收等）OpenAI把“解出多少题、多快解出”当KPI，但速度和数量本身并不等于数学理解。AI拿数学问题来“练功”，影响数学领域发展。（IT之家）