All of those except Alphafold are basically just automated smoke-testing with proof assistants. And Alphafold isn't an LLM.

So yeah, some more potent examples would really help illustrate the real-world dangers of frontier models. Entertain me.