experiments with our Omega proto-AGI agent, finds critical Linux kernel flaw This is a fairly big hack in the scope of hacks -- it emerged from trying to find a way to escape from Vercel's KVM hypervisor into the base OS, but turned out to be a LInux kernel bug not a hypervisor bug... Because the flaw is in the Linux kernel rather than in any single hypervisor, it isn’t a KVM-specific or Vercel-specific problem. It potentially affects a broad range of Linux-based hypervisors and sandboxes that expose the same virtual-networking path.... The first conceptual insight needed to find this was to try looking in the LInux kernel instead of the KVM code itself. However the bigger trick was figuring out what specific kind of bug in the Linux kernel to poke around for… There was a very key role here for Paulos Yibelo's (from extraordinary human brain and we have a LOT more work to do in more fully automating Paulos ... however, the AI tools have their important roles too... and their capability is increasing even faster than Paulos's... There will be a lot more like this to come (and bigger), but ofc the even more important game is to use smart AI software like this to tactically and then wholesale replace existing buggy software with correct-by-construction formally verified code. My take from the Omega/AI side: Paulos's detailed take from the cybersecurity side: