Corey Knowles

Yeah, something will come out of that.

I'll be at Google Cloud next.

I know I'm meeting with their head of startups, and I'm not sure who else yet.

But whatever's coming, we'll have it to you as fast as we know it.

I would do image gen and intensive research or strategy.

I've done a lot of really in-depth, like, go away for 40 minutes while it does research stuff and come back and been pretty floored.

It's also really good at math, apparently, because it's dropped 15, I think it is now.

I went and updated.

I have a story that keeps a running log of all of the unsolved mathematics problems that have been solved, and most of those have been...

GPT-5.2 or GPT-5.4.

And it's getting large.

There were three more this week already certified.

They're confirmed.

And yeah, I updated that.

I think I'm tracking 18 total now, 12 of which are full solves, a couple of which are like good contributions to mathematics.

But maybe it turns out that some of that was already solved and they didn't know.

and a number that are also specifically credible, but not verified, like ones that are there's a good chance this might turn out to be true.

And we're watching it.

Those have been pretty typically the GPT-5 Pro models.

Or is it Alpha Evolve?