Corey Knowles

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?

I think Alpha Evolve's got one.

Okay, cool.

I think I know that there are a couple that have passed through

Aristotle, which is owned by Harmonic.

We're going to probably have an interview with them at some point in the near future.