flâneur

A beginning for mathematics

daniellitt.com · 3,030 words · saved by 1 readers

This essay also appears on Proofs and Prompts. Three years ago, AI systems could not reliably add two numbers. A year ago, internal models at OpenAI and DeepMind received the equivalent of a gold-medal score on the IMO. Now, these systems are autonomously resolving major open questions. It’s hard to imagine this trend continuing for another year, but I expect it will. It is clear that this will r

This essay also appears on Proofs and Prompts. Three years ago, AI systems could not reliably add two numbers. A year ago, internal models at OpenAI and DeepMind received the equivalent of a gold-medal score on the IMO. Now, these systems are autonomously resolving major open questions. It’s hard to imagine this trend continuing for another year, but I expect it will. It is clear that this will require a radical rethinking of our profession. A few weeks ago, I gave a talk titled The End of Mathematics. If you only read the title1, you might guess that this talk was about how, soon, AI will…

related reading