I am looking for a rigorous mathematical proof for finding the several local minima of the Hopfield networks. I am searching for something rigorous, a demonstration, not just let the network keep updating its neurons and wait for noticing a stable state of the network.
I have look virtually everywhere but I found nothing.
Is there a rigorous proof for Hopfield minima ? Could you give me ideas or resources ?
Thank you in advance