David Webster

bro RIP Patrick

If P = NP but all the things we thought were not P just have huge constants, then the only reasonable conclusion is that we are in a simulation and these constants were chosen to be inaccessible to denizens of the simulation

Had early access to Genie 4 from @GoogleDeepMind. This is a fully generated, interactive world from a single starting prompt (environment + character) 🤯 Feels like a massive step forward - you can now prompt to change the world and interact with it. With native audio!

This is Genie 4, our most realistic and interactive world model yet. 🌐 Explore dynamic environments in real time to see how the scene responds, sounds, and how the people in it move, react, and speak.

This morning we are releasing the largest proof in the history of mathematics: A formalization of the Classification of Finite Simple Groups (CFSG)! Over 43 million lines of Lean, 715 papers and books, and 100 substantive fixes to the literature, this is truly an enormous theorem. Well done team!

OpenAI CEO Sam Altman: "I don't even know a dramatic enough word to use… models can find bugs that are outside of the normal threat model of what we think a hacker can do… hardware-level, insane stuff… I no longer think we're gonna be able to just patch all the bugs." It's over.

The only programmers who are really in trouble with the competition from artificial intelligence are the ones who insist the world today isn't all that different from the one we lived in last year. Embrace the paradigm shift or perish. (This has always been true.)