Mathematician Who Quit Academia Returns to arXiv With AI-Coauthored Paper
ctjlewis · x · 2026-08-22
Haruhisa Enomoto left academic mathematics in March 2024 when his postdoc ended, assuming he'd never write a paper again — yet he recently submitted a new arXiv paper on an equidistribution conjecture for quotient-closed and submodule-closed subcategories, jointly with AI (Fable and GPT-5.6).
- Almost all proofs were produced by AI, and the manuscript was largely AI-drafted, though the author stresses it was not a case of simply asking AI to "write a paper" and submitting the output.
- He notes AI's math ability has become strikingly good and public discourse treats math as a benchmark, but firsthand accounts of actually doing research with AI remain rare — this essay is one case study.
- Amusing detail: the original Japanese essay was written entirely by hand (he believes conveying something requires human effort), while the English translation was done by AI.
More from AGI Musings
- Agents Getting Ridiculously Good: Utopia vs. Permanent Underclass — djcows · 2026-08-22
- Next generation of lawyers unafraid of AI, law school applications surging — jkubicki · 2026-08-22
- Musk & Altman on AI abundance: 4-day workweek and UBI — HimanshiET · 2026-08-22
- Token-based pricing was invented by OpenAI — it may not exist in 2 years — NoSecond8807 · 2026-08-22
- CSHL's Zador asks: could a computer scientist build a brain? — arjunrajlab · 2026-08-22
- LLMs to replace IDEs by 2025; automation experience becomes job standard — OwariDa · 2026-08-22