Comment by publlus_enigma

My read was that "these proofs" was referring to AI generated proofs specifically, not all mathematical proofs.