# Conjectures for which there are strong heuristic arguments both for and against

I find the conjecture that there are infinitely many Fermat primes to be very interesting, because there is a very reasonable-seeming and semi-quantitative heuristic argument for the conjecture, but also an equally reasonable-seeming heuristic argument against it.

Are there any other conjectures or theorems such that one can provide a short and easy-to-understand heuristic argument for the conjecture, and an equally plausible heuristic argument against it? Preferably this would be for a conjecture and heuristic arguments that are easy for a non-expert to understand, and heuristic arguments that are plausible/precise enough that someone who wasn't previously familiar with the problem would be quite confident that either argument was correct until they heard the other one. Ideally, the conjecture would still remain an open problem. (I'm not interested in a long, detailed proof that is incorrect because of some subtle logical error, of which there have of course been many examples.)

My question is somewhat related to this one.

• I find heuristic proofs to be rather sad. A proof or an argument should be written well enough so that it can be read by many. But...I do find your question interesting and noteworthy, +1! – Prime Jul 18 '18 at 3:56
• +1, I like the question -- but I don't agree that the arguments for and against infinitely many Fermat primes are "equally reasonable". In the Wikipedia section you link to, the first two arguments use less information we have about the Fermat prime candidates than the third one. I can argue that square numbers are more likely to be prime because I know they must contain even numbers of each prime factor, so the probability of being divisible by prime $p$ is only $\frac1{p^2}$. I just haven't used the information that square numbers are in fact composite. – joriki Jul 18 '18 at 4:45
• To have roughly equally reasonable arguments in a case like this (infinitely or finitely many primes of a certain form), you'd have to have two pieces of information that go in opposite directions, one making prime factors more likely and one less. Then it wouldn't be immediately clear what would result from combining all the information. – joriki Jul 18 '18 at 4:57
• In the case of the Fermat primes, though, we have one calculation without information that predicts finitely many Fermat primes, one calculation with information $A$ that suggests that prime factors are less likely that predicts more Fermat primes but still finitely many, and one calculation with information $B$ that also suggests that prime factors are less likely but is stronger and thus predicts infinitely many Fermat primes. The combination $A\land B$ would then predict infinitely many Fermat primes; there's no symmetry. – joriki Jul 18 '18 at 4:57
• The Riemann hypothesis is widely accepted to be true, but I think Lehmer's phenomenon is at least an indication that it can well be false. This counterargument is however apparently not be taken serious. – Peter Jul 18 '18 at 21:50