数学猜想的方法及应用