I'm currently returning to Toronto from a summit on the future of mathematics, at OpenAI. Sebastian Bubeck asked me to talk a bit about the future we'd all like to avoid, where humans are mathematically disempowered. Jacob Tsimerman advised us to try to prioritize detail over correctness, and I have no doubt that I succeeded in deprioritizing correctness.

I tried to find a title that wasn't too bombastic:

The premise of the workshop (which we took as a starting point, rather than subject to debate, for the sake of productive discussion) was that AI will become robustly superhuman at mathematics. I want to tell a story in which, despite this, mathematical progress stalls.…