X debate examines whether AI can generate novel mathematical proofs, with one argument applying the data processing inequality to claim outputs remain fully determined by axioms and training data · Digg