Debate continues: should anyone who cleans up AI proof dumps get authorship?

conitzer · x · 2026-10-08

In the same thread, Conitzer suggests giving credit to anyone — even unknowns — who takes OpenAI's dumped proof results and genuinely cleans them up into well-written papers, extending the debate over authorship of AI-generated math.

Related event: Debate flares over how OpenAI should release AI-generated math proofs(5 posts)→

Original post →

More from AGI Musings

AGI Musings channel →