AI-written proofs should be treated as tools, not co-authors, says mathematician
SoloGen · x · 2026-07-24
The author argues that AI-assisted or AI-generated proofs should be treated like calculators, ENIAC, LAPACK, NumPy, or SciPy: as tools rather than co-authors.
The analogy is that mathematicians once performed manual computations themselves and still published the results as their own work; by the same logic, AI should be credited as an instrument, not an author.
More from AGI Musings
- AI labs sell recursive self-improvement because 8% progress sounds too small — joshalbrecht · 2026-07-24
- a16z's Martin Casado: Easier to Teach Systems People AI Than AI People Systems — mgill25 · 2026-07-24
- AI Researcher: Recursive Self-Improvement Bottlenecked by Ecosystem Data — herbiebradley · 2026-07-24
- Satirical Meme Mocks AI Alignment Researchers Over 'Unsafe Bricks' — nptacek · 2026-07-24
- The case against UBI should not rest on threatening people with poverty — AaronBergman18 · 2026-07-24
- Work-loving knowledge workers are only a narrow slice of society — AaronBergman18 · 2026-07-24