Abstract
Recent AI-generated mathematical results have revived questions about the relationship between proof, understanding and mathematical value. This article reconstructs an inquiry that began by welcoming automated discovery and developed into a challenge to the assumption that human intelligibility should determine the boundaries of mathematics. Through an AI-assisted dialogue, close reading of historical and recent mathematical and philosophical work, and examination of a reported local-smoothing proof, I distinguish the difficulty of discovering an argument from the difficulty of verifying, explaining…




