mathematical conjecture solving