# Open mathematical questions for which Numerical Search promising

I am fascinated by mathematical conjectures, especially those that are believed to be false. Now I wonder, are there some mathematical conjectures for which the numerical search would be promising? What would be conditions for such conjectures? For example, there shouldn't have been extensive search already, and it should be (widely?) believed to be false.

For instance, I think the Riemann hypothesis is a bad example (much investigated and not believed to be wrong), but Firoozbakht's conjecture might be a good canditate (believed to be wrong, and not so famous).

Are there conjectures which fulfill those, or other conditions of that kind?

Edit: A very good example has just been published, namely the Boolean Pythagorean triples problem, where the researchers have used a computer to check roughly one trillion different possible solutions and found a negative result (see more in the Nature News&Views article).

Edit2: Another very nice example has just been presented at Numberphile, asking whether or not numbers can be written as the sum of three cubed numbers.

• The Riemann hypothesis is exactly a conjecture which is not promising, because there has been already extensiv computer search, and it is widely believed to be true (or at least, no counterexample might appear). – Mario Krenn Apr 29 '16 at 18:31
• I clarified my question. Sorry, but I still think that your comment does not go into the direction that I'm looking for. Obviously each conjecture is actually a question of whether there is a counter-example (if a program searches for it forever or not) - that is simple and not what i'm asking. I'm asking for conjectures that are more likely to be shown by computers that they are wrong. So your example (Riemann hypothesis) is a very bad example (because it has been investigated a lot numerically, and is believed to be not wrong), but for instance Firoozbakht's conjecture might be a good one. – Mario Krenn Apr 29 '16 at 19:14
• I wonder why this question has received a downvote and no upvotes other than my own. I guess it might be because people think that there cannot be such problems because otherwise someone would already have carried out the numerical search to a point where it would no longer be promising. However, this argument seems circular. The reach of numerical searches is constantly expanding, and if no-one ever thought about which numerical searches are currently promising, no-one would be extending them. – joriki Apr 29 '16 at 20:42
• Firoozbakht's conjecture has been verified for primes less than $4\times 10^{18}$ and even that was not purely computational - and, far as I can tell, this calculation was only limited by calculations about prime gaps. I think it would be difficult to extend a numerical search. – Milo Brandt May 12 '16 at 15:59
• Why is it necessary that its believed to be false? you can just take the converse of one believed to be true to get a conjecture believed to be false – user265163 May 18 '16 at 12:54

Let $q$ and $r$ be fixed coprime positive integers, $$1 \le r < q, \qquad \gcd(q,r)=1.$$ Suppose that two prime numbers $p$ and $p'$, with $p<p'$, satisfy $$p \equiv p' \equiv r \ ({\rm mod}\ q), \tag{1}$$ and no other primes between $p$ and $p'$ satisfy $(1)$. Then we have the following
Naive generalization of Cramer's conjecture to primes in a residue class: $$p'-p ~<~ \varphi(q) \log^2 p'. \tag{2}$$
(PrimePuzzles Conjecture 77, A. Kourbatov, 2016). See arXiv:1610.03340, "On the distribution of maximal gaps between primes in residue classes" for further details, including the motivation for the $\varphi(q)$ constant. As usual, here $\varphi(n)$ denotes Euler's totient function.
Note: The logarithm in $(2)$ is taken of the prime $p'$ at the larger end of the "gap" $[p,p']$. (If instead we take the log of $p$, the smaller end of the "gap", then counterexamples are easy to find.)
• A counterexample is now known: $$q=1605, \ r=341, \ p=3415781, \ p'=3624431.$$ (Conjecture $(2)$ is very likely to be true "almost always".) – Alex Sep 20 '17 at 11:06