This is a special post for quick takes by anaguma. Only they can create top-level comments. Comments here also appear on the Quick Takes page and All Posts page.
Neoclouds have limited cybersecurity. Next time agents successfully go rouge, they'll try taking over a neocloud to run more copies. This is bad.
Thus: neoclouds should greatly strengthen their cybersecurity and every company with strong cyber models should help with that.
Some context here. I agree. Long term, building software with formally verified safety properties at a large scale (e.g. like this) seems necessary. I would like to see labs invest more compute and effort in this direction instead of e.g. proving more math conjectures.