[bigyabai]

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.

[nonadhocproblem]

the next few years are going to be rough for you...

[bigyabai]

People told me that in 2018, too. Glad that I didn't listen.