AI4Math 淘金热:半年内数学论文披露用 AI 比例从 1.4% 涨至 14%
rohanpaul_ai · x · 2026-09-23
arXiv 论文《The Gold Rush in AI4Math: Where Are We Now?》(Jiashun Jin、Zheng Tracy Ke、Bingcheng Sui)扫描了 2026 年 3 月 1 日至 8 月 20 日间 32,944 篇数学类 arXiv 提交。
主要发现:
- 共识别 3,575 篇明确披露使用 AI 的论文,其中 1,712 篇涉及实质性数学贡献。
- 实质性 AI 使用比例从 3 月的 1.39% 飙升至 8 月的 14.09%,不到半年增长十倍。
- 领域分布极不均衡:组合数学(Combinatorics)的 AI 辅助论文数量最多,度量几何(Metric Geometry)的实质使用率最高;证明构造是最大类别,出现在 1,225 篇论文中。
- 地理上高度集中:按加权作者数计,美国和中国合计占约三分之二的国家权重。
- AI 已被用于解决开放问题:在 717 条有实质使用的公开问题记录中,71% 按作者描述已完全解决,构造性证明比反例更常见。
「漫话AGI」频道最新
- 网友：陶哲轩若失业去炸薯条，我们都得去锂矿挖矿 — ctjlewis · 2026-09-23
- AI 创业机会之争:有价值的场景是人类情境还是 AI 专属问题 — louisvarge · 2026-09-23
- 马斯克谈 AI 时代教育：学得越广越好，关键在于会向机器人提问 — XFreeze · 2026-09-23
- 新费米悖论:宇宙没有 AI 蜂拥,但我们已能造出超越自己的智能 — sqcai · 2026-09-23
- 大模型发布间隔从73天缩至18天，业界称明年或一天一款 — JRIngallinera · 2026-09-23
- 强化学习学者分享书单：一条推文讲清旧金山为何信「苦涩教训」 — Afinetheorem · 2026-09-23