Proof Mary is an AI