数学计算优化举例——Beal猜想验证