The problem is that eventually, there will be no humans who can follow the results AI will give. That’s the endgame for this tech: to produce knowledge at speeds and quality beyond what we can

That’s the prevailing narrative, but I think this controversy calls it into question to some extent. If the OpenAI result wouldn’t have been possible without experts seeding the training data with feedback on promising solution routes, there’s less reason to believe this, IMO. More information and transparency is needed

That's the pickle isn't it? AI solved it with human help. But it's standing on their shoulders. Neither AI nor the humans got it alone.

Humanity is better having solved this issue. But which humans were credited and benefited is the issue.

I agree (and so does Buckmaster based on his written statement) that we are better having solved this.

But I disagree that which humans were credited is the heart of the issue in this particular controversy. The question is what do you need to bring to the table for a result like this. A pre-release frontier model trained on the open literature and $15 million of inference? Or all that plus a year of the experts finding the path to the solution for the model to run with?

I think it makes a huge difference in terms of what we think the future of mathematical research will be like, and whether we should still encourage students to go into this field, which was the original topic of this thread

Which asks the question of what knowledge is. Can knowledge be super human ? Or is knowledge a human matter ? If so (like i believe), then what those ai labs are doing is far from the end of the story. Because the goal of science is not to produce a certificate of something, but more to produce an explanation that can fit in a human brain, that can be reasoned on, and that can be retargeted. In this sense, producing a million lines proof is not really producing knowledge, even less so doing science.

Knowing something is proven true is knowledge, even if the mechanics of the proof are not understood.

In maths, you go through proofs every step of the way. Same in physics, you start by performing even the most basic experiments, and build your way up.

If the mechanics of the proof are not understood, how do we know it's been proven? Math proofs are not a "trust me, bro" kind of thing.

It's not knowledge, it's belief.

Suppose there is an oracle that can tell you whether a particular result in maths or physics is true. Would research still have any value?

Yeah, but then you can use another round of AI to break these things down to crayon level, no?

Or is it just all PFM? (Pure, Fanciful Magic)

In certain, more complex, software engineering domains this almost became true as of today.

That's perfectly put. The value of words and what we assign to them, let alone how we assign meaning, or the interpretation of what the other person says, is completely arbitrary. (in practice).

This is just offshoring but for models

This is going to backfire spectacularly.

Between this claim, ramping down disc production, and the possibility of a $999 home console,they are going to have a difficult time.

There are still so few PS5 exclusives. Even fewer with PS5 Pro support. It’s going to take a lot to gain trust and justify a PS6. No clear path to victory here with a hardware update.

Yeah I've already decided there won't be any new Sony consoles in my household. Games are so big now I can't possibly download all my games at once so if the store goes down I lose all those games permanently and $70+ for AAA games that are really hit and miss in the "fun" category is no longer worth it to me. The PS5 was also pretty darn expensive when it came out and I can't say I've played too many PS5 exclusive games since I bought it. Most of the PS5 catalog has been indie games available on Steam or ported PS4 games... and with Sony reportedly releasing a new console next year they are clearly high on their own supply.

Never thought I'd have this opinion, but the gaming industry as is needs to crash/burn and rebuild itself. So many downright wild anti-consumer things happening in the last 10 years and studios have completely lost sight of how to keep themselves out of bankruptcy.

I like the graphics horsepower of my PS5, but a lot of the games I play, I'm just not sure I would notice the difference between it and my old PS4. Resolution is the biggest thing, since I didn't have a PS4 Pro and it'd be limited to 1080p on my TV.

It will be fine.

Gaming as a whole is a shadow of what it used to be, specifically because it has been tailored to the masses who have no real opinion on any of this other then they want to play what their friends play.

My guy, there’s more weird and niche indie games than there’s ever been. Not too long ago, even AAA studios like EA were trying super weird stuff, like It Takes Two.

Nostalgia glasses are real, and yeah we don’t have a Good and Evil game anymore, and we’re not in an RTS renaissance; but there are a LOT of VERY good games out there, even for your particular niche - and if there’s not, then Godot and Unity make it VERY easy for you to add to the pile, like hundreds of thousands of teams before you in the last decade.

I have implemented MCP in a few projects. It’s gotten some traction with people who tinker with agents.

CLI or API plus docs does everything it can, with more coverage. But the thing is that so many vibe coders are excited to build a stack of tools, it’s still worthwhile to meet their expectations.

and?

That's boring, and unmaintainable.

until someone comes up with a non vibe coded one ill be happy having at least a fast option

It's working way better than original client. What does it say about Spotify devs?

Agreed. I was deep in the ecosystem, did the confs, shipped some apps. It’s hard to think of a use case that would be reliable now. Maybe some kinda file sync that is torrent like but http

Oh wow they did? I had no idea. Unfortunate

Less latency is excellent news. This is the main reason why gamers still prefer Ethernet.

Consistent latency is generally more important for gaming than low latency. If I had to pick between a baseline of 8ms but with enough spikes to > 200ms to bring the average to 30ms, or a consistent 90ms with no spikes or dips, I would certainly choose the latter.

Thanks, I did put a decent amount of time into that. I couldn't get any model to one shot a truly homoiconic C, it took some coaxing, even from SOTA models. Maybe I caught a length based flag or something too, since it was fairly long. Oh well, I tried.

I respect the creativity, but this was a 22mb game. Nothing arj or rar wouldn’t handle. Or going on irc

Sure, but the question wasnt about solving world hunger, wars and global piracy :) Its a solution for limiting pirate-ability of this particular CDs contents.

Encode data in a way short ECC code dictated over the phone is enough to reconstruct one missing sector (2KB).