Kevin Roos

Yeah, that is true.

Let me ask what I imagine will be a naive question, though, which is my extremely limited understanding of math is that mathematics are natural laws of the universe, right?

Like this field is not invented.

It is discovered.

And my sense is that maybe potentially it is a field that could even someday be solved completely because we will just simply understand the structure of math and all of those laws of the universe.

So I could imagine a group of mathematicians saying, hey, this is really exciting because this is going to accelerate us to sort of like getting to the teleological end of our entire discipline.

But I'm not hearing that today.

So what am I missing?

Kevin, thank you for helping us balance the equation.

Hat CPT, of course, our segment where we take new stories, put them in a hat, draw them out one by one, riff on them a bit, and then when one of us gets bored, we say, stop generating.

And then we solve a formal math theorem.

airbnbs i did you know and this is a thing there are all of these well-funded robotics companies and they need to just practice doing household chores over and over and over again trying to generate lots and lots of training data and apparently a lot of airbnbs are now caught up in the crossfire

Yes.

I have to say, I've rarely felt less sympathy for anyone on our show than the people who opened up their Airbnb to a robot company.

Doesn't matter.

I subscribe to the A-Lab theory.

That's all landlords are bastards.

So, look, if you have enough money to buy a place and then you just want to rent it out and charge people these usurious cleaning fees and make them take out the trash on their way out the door, I have no sympathy for you.

Let a robot in there.

Airbnb was a 2010s phenomenon.