Waymo and Uber have partnerships in some cities, like Phoenix, where you can only order a Waymo through the Uber app. So they don't view each other only as competitors, though I have no clue what Uber's thinking long-term.

Bureaucracy and regulation is the main issue there though.

Like in Europe where you're forced to pay a notary to start a business - it's not really even necessary, nevermind something that couldn't be automated, but it's just but of the establishment propping up bureaucrats.

Whereas LLMs and generative models in art and coding for example, help to avoid loads of bureaucracy in having to sort out contracts, or even hire someone full-time with payroll, etc.

Theorems 1 and 2 are a little weak. For theorem 1, once a mustard watch reaches a sufficiently enormous size, material weaknesses become relevant problems to overcome, and it is not clearly shown that adding a few more grains will in fact allow the watch to still operate. And theorem 2 doesn't discuss how much time is needed to measure the current time. I'm not entirely sure this has been peer reviewed. No notes on theorem 4, though.