thesmtsolver2

Next you will be telling me the rich don’t have a vault of gold coins you can swim in like Scrooge McDuck!

Wasn’t it originally in NYT? Yeah, don’t expect much from NYT nowadays.

If you can't deduce the simple connection between the two topics, maybe try reading the actual article?

FYI: real dictators don't get shut off from their accounts for years

Nah, best we can do is idiots saying ADHD is not real (on both sides).

Or Tenderloin in SF.

A lot of roads have tolls. Don’t forget more specific taxes like gas taxes or vehicle registration and sales taxes.

> Swarm of 10000 agents is a massive smart force

Yep, that's how Euler, Gôdel, etc. proved their theorems, both easy and difficult ones.

They trawled through the search space just like a swarm of 10000 agents.

Do you write 10,000 drafts before deciding to send an important mail?

It is a spectrum.

Godel, Euler, Ramanujam, etc. didn't burn millions of dollars or drudged through search space like OpenAI's agent do to prove what they need.

Let's not forget using Lean as a crutch throughout the way rather than as a final tool for formalization and verification.

Agreed.

Open immigration for rest of the country from around the world but closed for their city from rest of the country is what these “progressives” seem to want by their actions.

It will cook only as long as brute force through search space is cheap and economically viable.