Deep theorems were scarce and difficult and identified deep thought. AI broke it