A conjecture is a proposition believed to be true but not yet proven. It often arises from observations, guiding research towards a formal proof. See also Hypothesis Theorem Proof Axiom