Major math proofs should include AI chat transcripts, one post argues
The author argues that proper attribution is “essentially impossible” without including chats with large language models as supplementary material.
TLDR
One post urges the math community to establish a norm requiring any major proof to include transcripts of chats with large language models as supplementary material. The author frames this as an urgent step toward proper attribution, arguing that it is “essentially impossible otherwise.”
Combined views
13.8K
1 Source, first seen ago