3 ms·

I posted it as P!=NP originally but the editors changed the title (or are exclamation marks removed by default ?)

• lg 16y ago
  I think there's a scrub rule about '!' since it's a predictor of a biased headline.