猜想与验证是数学建模的方法之一