Kevin Roos

You can go on a prediction market as a member of the military and bet on an operation that you're a part of.

So in a world where those are our restrictions on, you know, sort of financial gambling, if you want to buy a share of OpenAI, I say Godspeed.

I'm going to go further and saying it's not just good.

I'm going to say it is necessary.

We cannot have a very small handful of companies that are growing this quickly, that are concentrating wealth and power that much into so few hands.

It has to be shared more broadly than that.

And while an IPO is a very small step in that direction, I do think it is a necessary one.

Yeah, and the deal that they struck, I'm told, is they struck a deal where, at least with United, they're like, we'll put Starlink on your plane and we will charge United for that, but you can't charge your passengers.

So everyone's experience of Starlink is it is a free miracle that's being delivered to me in my airplane seat, which is not a bad marketing strategy.

Yeah, and when I asked a mathematician why, they said Y equals MX plus B.

Okay, very good.

That, of course, is the classic slope-intercept formula for a straight line.

It narrowly edged out One Fish, Two Fish, Red Fish, Blue Fish.

That's very hard for me to hear as someone who was not that good at high school math, I have to say.

Like, I'm feeling a little defensive, but I get what, I believe you, it's just making me defensive.

So I'm having a flashback to when we first started to talk about AI and math, and the knock on these models was that they were actually quite terrible at it, right?

And that if you would try to get them to do basic addition or multiplication, they would utterly fail.

So, Kevin, sketch out for us a little bit what the labs did to sort of navigate through that problem and get to a place where they could kind of credibly try to advance the frontier of the science model.

so let's talk about, uh, one of the areas where it seems like we've seen some creativity and math with AI lately, which are these Erdos problems.

Kevin, can you tell us who this Erdos was and why he left us with so many problems?