Conjecture is related to hypothesis, which in science refers to a testable conjecture. He left two conjectures, both known as Artin's conjecture. His hypothesis has become known as the Beal Conjecture. The converse implication and the strong Goldbach conjecture remain unproven. Another way of phrasing the Hodge conjecture involves the idea of an algebraic cycle. The twin prime conjecture and Goldbach's conjecture are two unsolved problems in number theory. This hypothesis became a conjecture known as the "Hauptvermutung" (roughly "main conjecture"). It remains merely as a conjecture. In particular, it would imply the important "hyperbolicity conjecture" mentioned above. The strongest evidence in favor of the Hodge conjecture is the algebraicity result of . Currently there is no consensus regarding the truth of the unique games conjecture. Many detractors have spread endless conjecture about him. Karl Popper pioneered the use of the term "conjecture" in scientific philosophy. He justified and stated important limits to an earlier conjecture by John von Neumann. In 1994, Perelman proved the soul conjecture.