Conjecture

A conjecture is an idea in mathematics that appears likely to be true but that has not been proven to be true.

After a conjecture is proven to be true, it becomes a theorem.

Famous conjectures

Until recently, one of the most famous conjectures was Fermat's Last Theorem. The name was incorrect, because although Fermat said he had a proof for it, none could be found in his notes. In 1992, British mathematician Andrew Wiles found a proof for it, making it a theorem and not a conjecture.

Other famous conjectures include:

Undecidable conjectures

Not every conjecture can be proven true or false. The continuum hypothesis, which describes the size of certain infinite sets, is an example. It was shown to be independent of the generally accepted axioms of set theory, which means that it cannot be proven true or false using those axioms. It is therefore possible to take this statement, or its negation, as a new axiom in a consistent manner (much as we can take Euclid's parallel postulate as either true or false).

In this case, if a proof uses this statement, researchers will often look for a new proof that does not require the hypothesis The one major exception to this in practice is the axiom of choice -- unless studying this axiom in particular, the majority of researchers do not usually worry whether a result requires the axiom of choice.