That’s already happening. Slightly different example, but Home Assistant has an integration that gives an LLM of your choice control over your home automation devices. Just talking to your home in natural language without having to memorize very specific phrases is honestly pretty powerful, as long as it works correctly. You can say stuff like “hey it’s a bit dark in the office”, and it just knows to either switch on the office lights, or make them brighter if they’re already on

Except if you continue reading beyond your Quote, it goes on to explain why that actually doesn’t help.

Companies and their legal departments do care though, and that’s where the big money lies for Microsoft when it comes to Windows

Training and fine tuning happens offline for LLMs, it’s not like they continuously learn by interacting with users. Sure, the company behind it might record conversations and use them to further tune the model, but it’s not like these models inherently need that

HTTP is not Google-controlled, you don’t need to replace that in order to build something new without Google

There’s also this part:

But Johansson’s public statement describes how they tried to shmooze her: they approached her last fall and were given the FO, contacted her agent two days before launch to ask for reconsideration, launched it before they got a response, then yanked it when her lawyers asked them how they made the voice.

Which is still not an admission of guilt, but seems very shady at the very least, if it’s actually what happened.

Except discord is not an ads-based platform? I’ve never seen a third party ad on there

It’s not quite that simple, though. GDPR is only concerned with personally identifiable information. Answers and comments on SO rarely contain that kind of information as long as you delete the username on them, so it’s not technically against GDPR if you keep the contents.

AI is just impossibly far away.

Sure it’s pretty far away, but it’s also moving at break neck speed. Last year low-res spaghetti-eating Will Smith body horror was the pinnacle of ai generated video, today we’re already generating videos that take at least a second look to determine that it was AI generated. The big question is at what point that improvement rate will start to level off.

I mean… It might be. Just depends on how much potential there still is to get models up to higher reasoning capabilities, and I don’t think anyone really knows that yet

Ah. Well the first comment in this chain talked about mobile devices, so I was assuming we were talking about mobile data plans

Uhh… Germany would like to have a word

Most carriers do offer some uncapped plan, I think, but it’s expensive and not the default

From the article:

For many years, we’ve had software that can generate lists of valid conclusions that can be drawn from a set of starting assumptions. Simple geometry problems can be solved by “brute force”: mechanically listing every possible fact that can be inferred from the given assumption, then listing every possible inference from those facts, and so on until you reach the desired conclusion.

But this kind of brute-force search isn’t feasible for an IMO-level geometry problem because the search space is too large. Not only do harder problems require longer proofs, but sophisticated proofs often require the introduction of new elements to the initial figure—as with point D in the above proof. Once you allow for these kinds of “auxiliary points,” the space of possible proofs explodes and brute-force methods become impractical.

So, mathematicians must develop an intuition about which proof steps will likely lead to a successful result. DeepMind’s breakthrough was to use a language model to provide the same kind of intuitive guidance to an automated search process.