Steve Gibson

speaker

30,295 appearances 25 recordings 1 series first heard May 2026 last heard 6d ago

Steve Gibson’s voice in public audio — every appearance, attributed to the second.

Trend

recordings per month · last 12 months

Recordings per month over the last 12 months — 25 in all, peaking in Sep 2026 with 8.

Appearances

newest first · ▶ plays the moment

Security Now (Audio) · SN 1096: Are we the Krell? - 153 Million Driver's Licenses Leaked · 16 Sep 2026 podcast

Eventually as many as ten thousand agents were hard at work before the company discovered that it had come up with a solution. voice-verified

Bubeck said, quote, I thought there must be a mistake somewhere. voice-verified

But on Sunday morning, we had the final solution. voice-verified

Lean formalized and everything. voice-verified

Okay, now lean is a programming language that can be used to formalize mathematical proofs. voice-verified

So this was formalized in lean. voice-verified

Open uh Wired said OpenAI noted that solving this problem required using considerably more computing power than it had previously spent on solving mathematical problems. voice-verified

Mark Chen, head of research at OpenAI, said the amount required cost in the millions, plural millions of dollars. voice-verified

Okay, so voice-verified

There's a whole nother aspect of controversy here because a lot of mathematicians are righteously pissed off over this of the the like the way this was done. voice-verified

But the point I wanted to make, or at least to refresh and update, is that voice-verified

One way or the other, our current generation of large language models are clearly capable of solving problems that have long stumped the world's best and brightest. voice-verified

Um, I'm still constantly amazed by the capabilities that have emerged from all of this LLM work, uh, you know, but emerged they have. voice-verified

The fact that some 10,000 individual agents were at one point working on this doesn't diminish the fact that today's AI dramatically advanced this age-old problem. voice-verified

And the fact that the world's best trained and most experienced mathematicians are now feeling quite despondent and somewhat desperate about the future of their own chosen field of. voice-verified

study which we've also seen that in the past week provides further demonstration of the significance of this outcome to those of us who have no idea what Claude Lewis Navier presented in his memoir to the Academy des Sciences in 1822. voice-verified

What we should reasonably take from this is that AI can increasingly achieve stunning results that defy the ability of the humans who created and trained it. voice-verified

We're all, you know, we all watched this happen. voice-verified

With first with the game of chess and then go. voice-verified

LLMs have simply dramatically expanded AI's territory into things you can tackle with language. voice-verified

Showing 3341–3360 of 30,295 · page 168 of 1515