Mathematical conjecture and formulas