Wojtowicz, Z.; DeDeo, S. Undermining Mental Proof: How AI Can Make Cooperation Harder by Making Thinking Easier. AAAI 2025, 39, 1592-1600.