## The purpose of this question is to collect the most outrageous (or ridiculous) conjectures in mathematics.

An outrageous conjecture is qualified **ONLY** if:

### 1) It is most likely false

(Being hopeless is NOT enough.)

### 2) It is not known to be false

### 3) It was published or made publicly before 2006.

### 4) It is Important:

(It is based on some appealing heuristic or idea; refuting it will be important etc.)

### 5) IT IS NOT just the negation of a famous commonly believed conjecture.

As always with big list problems please make one conjecture per answer. (I am not sure this is really a big list question, since I am not aware of many such outrageous conjectures. I am aware of one wonderful example that I hope to post as an answer in a couple of weeks.)

*Very important examples where the conjecture was believed as false when it was made but this is no longer the consensus may also qualify!*

Shmuel Weinberger described various types of mathematical conjectures. And the type of conjectures the question proposes to collect is of the kind:

## On other times, I have conjectured to lay down the gauntlet: “See,

## you can’t even disprove this ridiculous idea."

**Summary of answers** (updated March, 13, 2017):

There are at least as many primes between $2$ to $n+1$ as there are between $k$ to $n+k-1$

A super exact (too good to be true) estimate for the number of twin primes below $n$.

The set of prime differences has intermediate Turing degree.

Hall's original conjecture (number theory).

Tarski's monster do not exist (settled by Olshanski)

All zeros of the Riemann zeta functions have rational imaginary part.

The Lusternik-Schnirelmann category of $Sp(n)$ equals $2n-1$.

The finitistic dimension conjecture for finite dimensional algebras.

The implicit graph conjecture (graph theory, theory of computing)

(From comments, incomplete list) 20. The Jacobian conjecture; 21. The Berman–Hartmanis conjecture 21. The conjecture that all groups are Sofic; 22 The Casas-Alvero conjecture 23. An implausible embedding into $L$ (set theory). 24. There is a gap of at most $\log n$ between threshold and expectation threshold. 25. NEXP-complete problems are solvable by logarithmic depth, polynomial-size circuits consisting entirely of mod 6 gates. 26. Fermat had a marvelous proof for Fermat's last theorem. (History of mathematics).