I wonder if there are any published proofs or theorems that, directly or indirectly, relied on this conjecture being true.