数学猜想的类型及应用