GPT-4 for security, giving a real power boost for defenders. One encouraging (but still tentative) idea that I've heard over the years is that AI may permanently shift the favor to defenders; for example, by enabling formally verified systems.

→ View original post on X — @gdb,