6 ms·Deep theorems were scarce and difficult and identified deep thought. AI broke it2 points by gmays 3d ago