But I am curious, having talked to a bunch of folks on both sides about this, what do you make of that request from the math community of essentially saying, if not stop, at least slow way down?

I think even it's that level playing field we were talking about, I think that is, I agree.

I think to say, please don't test this thing on that is perhaps a big stretch.

I also think it's perhaps not a stretch to say, okay, well, there is a history here.

There is a tradition here.

There is There are contributions here that you are not acknowledging.

Like in the early hours of that kind of the big drop, some of the texts are again saying, it looks like they've just got a paper that someone else did like a month ago.

And you're

I don't know if I'm convinced he's not in prison.

Well, we have to look at the purpose.

Oracle thought of his killing as justified.

It was more important that those people died, and died terribly, than it was for his need to kill.

Now, that's not to say he didn't like it, but in my opinion, it was a secondary need.

The goal? Maybe that's changed here.

If the goal changes, the method changes.

So let's lay out what we have here.

What did Astra achieve and, and why is it a big deal?

I'm also pretty sure that Astra was probably behind the earlier one as well [laughs].

OpenAI just listed it as a unnamed internal model.

It's probably Astra.

They didn't answer me when I asked, but there we go.

OpenAI a few weeks ago dropped a blog, along with a lot of [laughs] paperwork, um, proving it, I think several hundred pages, that they described, they called it 10 advances in mathematics and theoretical computer science.

It was basically an array of disciplines that they claimed the newest model, Astra, had solved in some capacity that ranged from...

What was the response? Is it, "Oh, the models did this," or was it the response we see to so much AI work, which basically boils down to, "Well, you stole this and didn't attribute anyone, and you've, you've built on the shoulders of giants without mentioning it"? How did the response land?

[laughs]

But, uh, [laughs] by and large, it is a, a reasonable characterization.

Um, the most prominent US models, kind of as you said, Google, OpenAI, Anthropic, their frontier models are all proprietary.

They're all closed systems.

And in China, by and large, a lot of them are open weight.

Uh, there are exceptions, [laughs] obviously.

So Alibaba in China, for example, until its most recent release a few earlier this year in its frontier scale, were proprietary.

Okay