如果我发现了一个新的数学公式或真命题,该怎么办?