retooted Jon Ippolito
We need to talk about AI and math. Most of the breakthroughs this year are counterexamples found by brute search, not theorems built from insight, and understanding that helps us grasp the power and limits of transformer models.
https://jonippolito.substack.com/p/ai-is-foraging-maths-meadows