LLMs are not "statistical models" (randomness only even comes into play in the final conversion from latent space to token space because latent space is high dimensional, token space is low dimension, you need a rounding mechanism, and a "noisy" rounding mechanism works best; what you're thinking of, by contrast, is Markov models). And you cannot just "get lucky and randomly solve an unsolved math problem"; that's not how any of this works.

Also, it's silly that people are acting like "all problems but this one were already in the literature". AI has solved a whole slew on Erdos problems, and only a fraction had anything to do with existing literature.

And even in "existing literature" examples, it's not "nobody ever thought to search before" as if all mathematicians are morons, or that mathematicians adore putting out Erdos problem solutions without claiming them, It's that nobody had ever thought to apply an obscure technique from a given piece of literature to said Erdos problem.

The simple fact is, AI has gotten much better at solving unsolved math problems than humans are. It's simply another field that it's taking over, the same way it has been taking over programming. One can debate how much is "clever insight" vs. "just chugging away at possibilities until it hits on ways to advance toward the goal", but ultimately, that's a distraction from the fact that: it's getting really good at solving math problems that humans have spent decades on without success.

> calling for a much higher cadence of robotic lander missions.

I hope they revive VIPER. It was cancelled for being over-budget, but did important science. They alleged have a nearly completed probe in storage. Cutting edge needs a degree of flexibility.

> Fauci (DOCTOR) says that if you're vaccinated you won't get it.

I did NOT find that clip, please give a time stamp. But several times he used variations of "high degree of protection", and NOT anything implying 100%". He had to speak thousands of times around the US, and maybe out of those thousands he ONCE slipped, I don't know, but WHY do you IGNORE the 999 out of 1000???? That's spinning on your part, Repent to Jesus or bake!

> They knew exactly what they were saying

Apparently YOU and MAGAs don't. Blinded By Bias.

A trillion pairs of mismatched socks clinging together out of the dryer explains the star system attraction forces mistaken for "dark matter".

simply aren't enough launch customers to justify the valuation and starlink can't make that up because they're only so many people in the world who can afford $100 a month for internet and don't have access to high quality wired internet.

Militaries and wealthy people in bombed-out areas seems to be a growing customer base. Invady McTintface and Bibi McZionbribe are leading the way.

That being said, it's stupid to try to be both an AI company and a space company. Split focus like that has rarely worked well for large companies over the longer run. GM once tried to become an enterprise software company, for example.

I miss the instant gratification of those desktop IDE's. It's hard to unsee it as dev tooling grows more bloated and indirect over time.

Maybe Cherokee Nation Will Return. Nobody has mathematically proven the bloat must be in there. I suspect it's resume buzzword crack. YAGNI still means something. Every "desktop IDE's can't do X" claim I've encountered has been debunked. (Not claiming they have it, only that the Laws of the Universe don't forbid it.)

I would have loved to have specialized in Delphi/Lazarus. The web convolutificated UI coding. I miss the days of focusing on domain issues instead of ever-changing buggy layer-filled tooling. DOM sucks the big one. Where's that DeLorean when I need it?...

What is SQL doing on the list? Everything else is a general purpose procedural language, and then they added in one domain specific query language?

R is domain-specific.

There is a need for educated guessers, regardless of what we call them. The alternative is clueless guessers, who give us tariff inflation and stupid wars.

> was there a point you were trying to make?

Don't ask, or you'll get a page full of synonyms for the point! You should know better than feed TrollGPT

P.S. I know some b$stard is working on GoatseGPT.

I don't know WTF that bot is, but I want one!

Music composers have been using various "composer algorithms" for centuries for ideas. You don't hear about it because most users stay mum. Cartoonists usually have books of sample poses and facial expressions.

Best to get back to judging if the final result is "good", not whether it was bot-assisted, because detection will grow ever harder. Move on, can't put CatGPT back in the bag. Artists are becoming de-facto curators, so think of it as curating contests.

Apple seems to feel the same, and thus doesn't want to tie up too much money in AI. After the poppage*, Apple can snap up AI-ware at a nice discount.

* "bursting"?

Clearly that wasn't spam, because his name is nospam007.