Do you recollect knowing axioms and proving theorems in your high-school mathematics class? Most theorems start as conjectures — a proposition that is believed to be true but without enough formal proof. Over time, mathematicians use the axioms to prove the conjectures. Proving or disproving conjectures can be challenging, sometimes taking centuries. ‘Fermat’s Last Theorem’, which states that no three positive integers can satisfy the equation an+bn=cn where n>2, although sounds straightforward, took 350 years to prove!