So you prompt the LLM to "find all the bugs".

Even if the LLM can find every last bug (which in turn assumes that this type of problem isn't NP-hard or has some issue that Godel would point out), just defining to the LLM exactly what a "bug" is seems to be pretty much the same thing as those formal specifications that you just convincingly dismissed as inadequate.

I don't think that there's anything magical about LLMs that would let them get around fundamental mathematical roadblocks.

NASA's Mars lander airbag technology.

I believe they meant introducing new types of gadgets, not just make existing ones faster or more efficient.

It would mean that there's an 83% chance that the rest of us would be spared from more posts expounding on your silly line of reasoning.

If that's the case, the next time you play Russian roulette, why don't you go ahead and put in 5 bullets?

If what you say is true, then why is everyone freaking out over the prospect of Iran obtaining nuclear weapons?

From now on, I'm only drinking soda in October.

Finding Nemo is one of the funniest movies. I can never again hear whale sounds without thinking of that flick, among other memorable scenes.

I'm trying to remember when we gained sovereignty over Sweeden, but can't come up with a date.

Donald says he only has to think about it, and ownership becomes law, just like "declassification".

Dot-Com Bubble: "We'll move X to the Internet and do X on the web! Invest!"

AI Bubble: "We'll move X to a data warehouse and do X via AI! Invest!"

ShoeGPT

...AI

No one has experimentally demonstrated what happens if you try to eat an anti-pizza, but theory suggests that it is probably not good.

One would need to take an antiacid.

...enough for anyone!

- Sony Gates

Maybe if you [Americans] locked your nutcases up...

Our Supreme Court gave the most egregious ones immunity from that.

Guessing motivations is poor evidence in either direction.