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
- DeepMind's Geoffrey Irving draws Mandelbrot in pure Lean via Claude, reflects on halting AI progress — DKokotajlo · 2026-10-16
- Every's Dan Shipper declares 'the newsletter is dead' as persistent agents replace the inbox — danshipper · 2026-10-16
- Mech Interp Veteran Rethinks Alignment, Misgeneralization, CoT Oversight — akbirthko · 2026-10-16
- GitCoin founder on Nick Land's technocapital: capitalism as a self-assembling machine intelligence — khademinori · 2026-10-16
- AI-driven job losses could turn $10T consumer debt into a $1T banking hole — churchkey · 2026-10-16
- Into the Unknown: an AI agent benchmark of 15 open research problems from US national lab scientists — Jeande_d · 2026-10-16