Z. Wojtowicz and S. DeDeo, “Undermining Mental Proof: How AI Can Make Cooperation Harder by Making Thinking Easier”, AAAI, vol. 39, no. 2, pp. 1592-1600, Apr. 2025.