“We have moved from an era of proof scarcity to proof abundance. … I think going forward, the idea of focusing on individual problems is that currency has basically been hyper-inflated. So we now have machines that can just brute force basically solve massive numbers of the old problems that we used to use as landmarks. … We are not used to mass production of mathematics. We are still in many ways in a pre-industrial economy, math academia. We are forced almost at gunpoint right now to switch to an industrial or post-industrial economy.”

…towards these goals very slowly and deliberately. But we'd pick up all these insights and techniques and learn all these things along the way. And so, yeah, so we have these millennium price problems and we have these targets that guided us, but they're relatively few in number, like there's only seven millennium price problems. And that was kind of the way things worked in a proof scarcity era. I think going forward, the idea of focusing on individual problems is that currency has basically been hyper-inflated. So we now have machines that can just brute force basically solve massive numbers of the old problems that we used to use as landmarks. And we have to really switch to some sort of math 2.0. I think instead of dealing with individual problems, we may start creating huge data sets of thousands or millions of problems. Trying to sweep them out. With this AI, I can handle 30% of these problems using this idea that this human contributed, I can solve this 10%, but not pick out individual problems per se anymore as the goals, but…