4 ms·

We don't know whether it's true.

• qumpis 3y ago
  Well, then it's a great mystery of up to 10^18: "T. Oliveira e Silva ran a distributed computer search that has verified the conjecture for n ≤ 4 × 10^18"
• peter_retief 3y ago
  It is true but unproven.