agreed! we will only care about open-ended systems that co-evolve goals and behaviors **within hybrid human-ai populations**
this means ai goals will be influenced by ours (so ai math will remain math), but also means our goals will be influenced by ai’s too
We can automate the proving of theorems, or the discovery of conjectures, or even the invention of new axiom systems, but we can't automate *mathematics*. Because "mathematics" is the name we give to the *human* cultural story, not to the formal methods themselves. (14/15)