https://davidbessis.substack.com/p/the-fall-of-the-theorem-economy

ai is good at tedium where testing is possible.

“tension between two versions of mathematics, official math and secret math.”