David Webster

We asked GPT-6 Astra to edit Qwen3.5-0.8B weights to improve math. It directly changed only 0.016% of weights, fixing 0.8B's reasoning loops & improving math up to 6x and even instruction following 3x, without gradients or training. We call this Weight-Space Programming: frontier LLMs can now natively read/write neural network weights! 🧵 Blog: rikiyat.github.io/blog/weigh…

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.