请问智能优化算法以及神经网络能不能用数学理论进行证明?

智能优化算法多达十几种,你说的是哪一种?而且你光说算法证明,这个算法本来就不存在证明,所谓的证明就是对算法收敛性的证明.就拿最普遍的遗传算法来说吧,这个的证明通常是用马氏链来描述,Holland本人则是通过模式方式来证明,但是证明过程被大家所 不认同.因为这种启发式随机搜索算法只能用概率来描述他的行为,那么一个依概率存在的东西,找到最优也是依概率的,所以所有的智能算法至今没有任何一个人说他的算法收敛性证明是严谨的,是经得起推敲的.所以算法的证明通常书上不说,要么就是简要说一下,因为本身意义不大,实际应用中,算法的参数都是要反复调整的.至于神经网络,你要证明神经网络的什么?BP的学习也不需要证明啊
再问： 谢谢您的回答，我非常感谢。 您是一个好心人，祝您工作顺利，天天开心。