离开数学界两年半，他与AI合著论文重返arXiv
ctjlewis · x · 2026-08-22
日本数学家 Haruhisa Enomoto 于 2024 年博士后期满后离开学术数学界，自认不会再写论文，但近期却与 AI（Fable 与 GPT-5.6）合作完成一篇关于商闭与子模闭子范畴均匀分布猜想的论文并提交至 arXiv。
- 论文中几乎所有证明由 AI 给出，初稿也主要由 AI 撰写，但作者强调这不是简单让 AI「写篇论文」然后照单全收。
- 作者观察到 AI 数学能力已显著提升，外界常以「AI 解决公开问题」衡量其性能，但真正记录「与 AI 做实际数学研究是什么体验」的一手材料很少，这篇文章正是这样一个案例研究。
- 有趣的细节：原日文文章由作者完全手写（他认为传 达必须由人亲笔完成），而英文版则因作者英语不佳由 AI 翻译。
「漫话AGI」频道最新
- DeepMind 研究员用纯 Lean 画 Mandelbrot，引出对暂停 AI 的反思 — DKokotajlo · 2026-10-16
- Every 创始人断言「Newsletter 已死」：持久 Agent 正取代收件箱 — danshipper · 2026-10-16
- 机械可解释性老将反思:对齐≠误解泛化,CoT 监督的隐忧 — akbirthko · 2026-10-16
- GitCoin 创始人解读 Nick Land「技术资本」:资本主义的终局是一台自我组装的机器智能 — khademinori · 2026-10-16
- 分析师警告:AI 冲击下 50 岁以下消费者 10 万亿美元债务是银行隐患 — churchkey · 2026-10-16
- 美国国家实验室科学家出题，AI agent 基准 Into the Unknown 发布 — Jeande_d · 2026-10-16