... proposing new theory.How to get them all to do that is still, like, very, very open.

How I would think about it is, uh, we see this, like, you know, like, Moore's law for the time horizon at which these models are effective, and I think you, you sort of feel that in math where, you know, there's, like, every few months, the amount of time these models can, like, sort of work independently for doubles, uh, at least the amount of human equivalent time.

And so, you know, for solving problems, if you're really, really good at it, maybe some problems, like, you actually have pretty short paths for the solution.

You don't need to take that long.

But I think for, uh, inventing, like, new ways of doing mathematics, that's much more like a years or decades-long, uh, process.

And so I think, you know, it's, it'll still take a, a bit of time for that exponential to get there.

What does this mean for the mathematical community?

I think for us, like, when we, uh, do these experiments, I think we want to, like, make sure, uh, we, like, like, empower the academic communities we interact with, um, where we don't just, like-Go to some community and like, you know, from the outside try to like solve a bunch of their problems and like give them a bunch of like AI slop, but what, what we really want to do is we want to, uh, make these tools available, uh, to researchers and let them direct, uh, you know, this like... all this like AI test time compute at the problems they think are important.