Finding a counterexample that humans have failed to find for 85 years is a marketing stunt?