“Deep theorems were scarce and difficult and so became an effective mechanism to identify deep thought. AI has broken this system.”

This post explores how AI has disrupted the traditional perception of deep theorems in mathematics. It argues that historically, the generation of theorems has been a benchmark for success among mathematicians, but AI's capabilities challenge this notion by offering new ways of producing mathematical insights.