Mathematical proofs where AI systems contributed to proof discovery or development, distinct from AI helping with writing.