hikaru755

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

I can get behind that

Ohh the "what time is it in films" argument is good, haven't heard that one before, thanks

It's gonna get much worse when you start to try mapping days of the week onto the new times. Are days gonna be the same everywhere as well, to stay from 0 to 24? If so, have fun saying things like "Let's find a time on Wednesday/Thursday". People likely couldn't be bothered and would probably just use the day that their normal wake-up time falls on to mean the full solar day instead. At which point you could also just say okay, weekdays are still following local solar days. But now what weekday is it halfway around the world? Now you need to look up their solar day.

All this to say - abolishing time zones will introduce the reverse problem for every problem that it seemingly solves. You can't change the fact that our planet rotates and people in different locations will follow different schedules. Turning the lookup-table upside down is just a cosmetic change that doesn't remove the situation that's causing the confusion. I'd rather just stick with the set of problems that we're already used to dealing with.

No

You're thinking of Edge, not Internet explorer

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

I mean... Yes? If there's a way to do something without having to take my hands off the steering wheel I'll use that

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.

Exactly that! KISS is an often cited rule among software devs.