DEEP THEOREMS WERE SCARCE. AI HAS BROKEN THIS SYSTEM

Summary from the TLDR AI newsletter

On Terence Tao's blog, Bryna Kra argues that AI has broken math's old signal that scarce deep theorems equal deep understanding, as models dump polished proofs faster than experts can digest them.