Another counterexample is "IP = PSPACE" by Shamir. I think it's nice when titles include the main result plus a few words about methodology, like "IP = PSPACE

Another counterexample is "IP = PSPACE" by Shamir. I think it's nice when titles include the main result plus a few words about methodology, like "IP = PSPACE using Error Correcting Codes", or "The PCP Theorem by Gap Amplification".