3 ms·

Sadly, this page hasn't been updated since 2016. I'd love to see some of the more recent attempts at proofs collected somewhere!