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

2 points | by gmays 6 hours ago