离开数学界两年半，他与AI合著论文重返arXiv
ctjlewis · x · 2026-08-22
日本数学家 Haruhisa Enomoto 于 2024 年博士后期满后离开学术数学界，自认不会再写论文，但近期却与 AI（Fable 与 GPT-5.6）合作完成一篇关于商闭与子模闭子范畴均匀分布猜想的论文并提交至 arXiv。
- 论文中几乎所有证明由 AI 给出，初稿也主要由 AI 撰写，但作者强调这不是简单让 AI「写篇论文」然后照单全收。
- 作者观察到 AI 数学能力已显著提升，外界常以「AI 解决公开问题」衡量其性能，但真正记录「与 AI 做实际数学研究是什么体验」的一手材料很少，这篇文章正是这样一个案例研究。
- 有趣的细节：原日文文章由作者完全手写（他认为传 达必须由人亲笔完成），而英文版则因作者英语不佳由 AI 翻译。
「漫话AGI」频道最新
- 感叹 Agent 能力提升：或带来乌托邦或永久底层 — djcows · 2026-08-22
- 新一代律师不畏惧 AI，法学院申请量激增 — jkubicki · 2026-08-22
- 马斯克与 Altman 预测 AI 丰饶时代：四天工作制与全民基本收入 — HimanshiET · 2026-08-22
- Token 计价只是 OpenAI 的发明，两年后或不复存在 — NoSecond8807 · 2026-08-22
- CSHL 团队发问：计算机科学家能造出一个大脑吗？ — arjunrajlab · 2026-08-22
- 2025 年 LLM 将取代 IDE，自动化经验成求职标配 — OwariDa · 2026-08-22