In this movie, in the plot, the virtual world is equivalent to a computer operating system. This system was written by the creator himself. The creator is equivalent to Microsoft. Neo himself is a virus, so is Smith. Neo became the savior and was actually implanted with the program. The savior is a program.

This can be seen from the dialogue between the designer and the savior.

The designer said that it was interesting to observe your reaction, although the program changed your consciousness. But you still have humanity.

Enough to show that the savior is the program.

But the program depends on people. Neo is equivalent to a hacker. The hacker who wrote the virus. Think about it, a real hacker.

Hacker in reality = people's consciousness, the ability to write programs.

Neo = human consciousness, the ability to change the mother.

So, this is equivalent to, Microsoft will never kill hackers. The virus will last forever. All Microsoft can do is patch it, and then hackers are looking for loopholes. That's all.

As for Smith. He is a projection of Neo himself. This film combines philosophical and religious speculation. From the perspective of yin and yang. Smith is the antonym of neo. Spiritual evil. But they are equal in strength. So Smith is also a hacker, and Microsoft can't do anything about him.

Then there will be another savior, not really liberating Zion. According to the architect's task when he wrote the Savior, the Savior's task was to bring Zion's code back to the mother's source program and reload it, at the same time, the machine destroyed Zion and completed the upgrade of the mother's system. After that, the savior will lead 16 women and 7 men back to the real world according to the initial setting, and then begin to rebuild Zion and wait for the next generation of savior. Different from the predecessors, Neo wrote a code about love in his mind, which was originally the need of the continuous upgrading of the system and a new experiment to test human reaction. However, this code about love not only made Neo choose against programming in the second episode, but also sublimated "love" into "fraternity" in the third episode, thus finally ending the war and cycle between The Matrix and Zion.

On matrix

The Matrix is a rigorous system based on mathematics, and everything is regular, including the super powers of agents and Neo, which are all included in this system. The emergence of Neo, the "savior", is related to Godel's proposition in mathematics. Austrian mathematician Godel published the book "On the Proposition of Uncertain Form of Sum System", and put forward the view that the compatibility of any mathematical system can not be established by the logical principles adopted by several basic schools as long as it can contain integer operations. Simply put, in any system, there are always some truths that are divorced from logic, and these truths are called the Gold proposition.

In Matrix, Neo is a golden proposition that cannot be mathematically deduced in the strict system of matrix, which does not conform to the laws of the system. When Neo was born again, he took on all the disturbances of the system, all the rules became transparent in front of him, and he could see what others could not see in the system. The prophet told neo to return to the source to end the disaster. In mathematical logic, Godel's proposition becomes a part of the whole system as a variable, thus eliminating the uncertainty of the whole system. If Neo chooses to destroy Zion, the code he carries will be fed back to the system, thus improving the stability of the system to a new stage. The premise of this choice is that there is no crazy Smith in the system. But from a mathematical point of view, this stability is also temporary, not a complete revision of the system, and the new system will still produce its own Golder proposition, thus continuing this cycle. That's why there were six saviors before Neo.

According to the architect's task when he wrote the Savior, the Savior's task was to bring Zion's code back to the mother's source program and reload it, at the same time, the machine destroyed Zion and completed the upgrade of the mother's system. After that, the savior will lead 16 women and 7 men back to the real world according to the initial setting, and then begin to rebuild Zion and wait for the next generation of savior. Different from the predecessors, Neo wrote a code about love in his mind, which was originally the need of the continuous upgrading of the system and a new experiment to test human reaction. However, this code about love not only made Neo choose against programming in the second episode, but also sublimated "love" into "fraternity" in the third episode, thus finally ending the war and cycle between The Matrix and Zion.