Hola Cristina! Una conjetura en el ámbito de la matemática es una afirmación sin demostración formal. En tanto que un teorema matemático, por ejemplo, se basa en una demostración matemática formal. Cuando decimos demostración matemática, nos referimos a un conjunto de pasos que validan el resultado de dicho teorema.