Jacobian Conjecture, Jamming critical exponent proof, Erdős Unit Distance Problem, IMO 2026 perfect score, AlphaFold

Need I go on?

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.