8281 篇论文分析:AI 辅助数学证明已能被统计特征识别
RexDouglass · x · 2026-11-09
哈佛统计学家郑颖(Tracy Ke)团队发布 arXiv 论文《The Gold Rush in AI4Math, II》,研究能否区分「AI 参与证明」与「仅 AI 润色写作」。
- 数据:构建 5 个队列共 8,281 篇数学论文,涵盖历史 arXiv 论文、公开披露实质使用 AI 的论文、OpenAI 发布的手稿,以及作者用生成式 AI 自产的论文,并含约 700 组解决同一研究问题的 matched 对照对。
- 方法:提出 ProofTrace 框架,将每篇论文表示为「直接证明支持图」(GIPS),提取可解释的数学组织特征。
- 发现一:主成分投影呈现 AI 参与程度的定性梯度——AI 改写措辞的论文仍贴近人类论文,两个 AI 生成队列朝共同方向偏移,披露实质 AI 使用的论文位于中间且随时间向 AI 队列移动。
- 发现二(配图):匹配对中 AI 重建论文引用外部结果比例仅 0.2%(人类 6.1%),直接使用中间步骤比例 87%(人类 58%),独立证明连通分量 0.14(人类 0.24)。
- 结论:AI 辅助证明在论证组织方式上存在统计上显著的「签名」,可被检测。
「漫话AGI」频道最新
- 一针见血:两边都在吹的 Jevon 悖论论证太不严谨 — charles_irl · 2026-11-09
- 为 Dario 2009 年捐款争议辩护:当时他还是研究生,GiveDirectly 尚未成立 — austinc3301 · 2026-11-09
- Anthropic S-1 称 Claude 开放式工程任务成功率 9 个月从 40% 升至 90% — trevposts · 2026-11-09
- Berkeley 等机构报告：国际硬线暂停前沿 AI 训练可行至少十年 — DavidSKrueger · 2026-11-09
- Dario 读博时给 GiveWell 算过命价账：成人死亡比婴儿重 2-3 倍 — austinc3301 · 2026-11-09
- Yoshua Bengio 呼吁直接停止训练最先进的 AI 模型 — DavidSKrueger · 2026-11-09