> we might imagine what it could look like to have an analog of the Millennium Prize Problems for open exposition problems
The core idea seems to me that we should shift the standards for professional evaluation from generating proofs to generating explanations. Makes sense that such a proposal would come from the 3B1B guy, and I actually agree with it, irrespective of AI. But what eludes me is how that could be a defensive mechanism against AI automating humans out of mathematics. AI is likely no less good at producing natural language explanations as it is at generating rigorous proofs. It's telling that even Terrence Tao turned to AI to understand AI-generated results [0]. It seems that the essay doesn't address that issue at all.
The core idea seems to me that we should shift the standards for professional evaluation from generating proofs to generating explanations. Makes sense that such a proposal would come from the 3B1B guy, and I actually agree with it, irrespective of AI. But what eludes me is how that could be a defensive mechanism against AI automating humans out of mathematics. AI is likely no less good at producing natural language explanations as it is at generating rigorous proofs. It's telling that even Terrence Tao turned to AI to understand AI-generated results [0]. It seems that the essay doesn't address that issue at all.
[0] https://news.ycombinator.com/item?id=49010345