It sounds like many of these math proofs that AI is managing are simply scooped from users’ chat histories anyway!