Link: The fall of the theorem economy
AI is changing the way that mathematical proofs. Whereas math used to be about discovery and understanding, now math is about brute-force searching for an answer.
TODO(unfinished): start at Bringing a caliper to a gunfight