And a datacenter for Emacs.

If it didn't melt in summer, its start would have been further to the south.

It is correct though, since 2010 Saba is a "speciale gemeente" of the Netherlands, and its mountain is thus our highest point. Before that it was organised as a separate country "Nederlandse Antillen" with the other Caribbean islands.

That genus is part of the Canidae family though. Dogs and wolves are in the Canis genus in the Canidae group.

Jackals and foxes are also each their own genus, and there are a number more genuses.

Afaik, in Europe there is no person who "owns" the tip. It goes into a centralized pot that is shared by all the employees.

Especially because most payments are by card (where I live), the tip first ends up with the restaurant itself anyway, not individual waiters.

If they cant figure that out, then they shouldnt do it at all. Duh.

Anyway, if they're so large and special then they can hire a bunch of people. Large scale should make it easier.

People's lives, not just employees.

Sure, but just that some random statement is true isn't interesting. It's interesting if it helps understand some abstract structure better.

It could also be interesting by having a practical use.

How would the mere knowledge that it holds, without any understanding why, be useful?

Can you explain to your cat how Amazon uses graph theory to deliver their packages of cat food?

Is Amazon still delivering food to your cat?

Humans don't need to understand what AI generates. We still can get the rewards.

p = np doesn't produce any value though, the stuff you learn solving it might but the fact that they are the same wouldn't be valuable at all.

sure, agreed, but once you have a proof, you can probably get AI to reduce other problems to that problem in P.

Well then, just tell the AI that the statement is true and it will find reductions!

In reality, it wouldn't depend on the truth value of the statement, but on the AI understanding the proof. If it understands it then it might be able to use it to find reductions.

So the point remains, knowing that P=NP isn't what's important, it's the proof that matters.

Sure, we monkeys don't need to care, though.

Why wouldn't you be able to do that without a proof? I don't see the value of the proof here, just ask the AI to solve the problem you want and the proof isn't needed.

From my understanding, the two are equivalent; if you can reduce an NP problem to a P problem, you've proven P=NP. The rest is application.

Why would it not be able to find reductions now, but be able to find them just by being told that P=NP is definitely true?

Note that for the second, that's not really a house, it's a boat (woonboot). It floats. The page lists the legal requirements for any replacement boat new owners may want to put there.