On the streets of the United States, ten random citizens were interviewed and asked, "Who is the greatest mathematician of our time?"

Nine out of ten citizens will answer, "John Nash." ”

Nash and his beautiful mind are so famous, and there are very few film and television cultural works related to mathematicians, so everyone remembers Nash.

Princeton regards Nash as a valuable asset to the school, and the information board on the first floor of the math department building is always plastered with posters of beautiful minds.

Nash's outstanding contribution to game theory is the unanimous consensus of all professors here.

Professor Mirno's achievements in improving the differential topology, K-theory and other systems are also the consensus of the professors.

These big systems are established, and there are only two professional criteria for measuring the rank of mathematicians: system and innovation.

In today's mathematical world, it is becoming more and more difficult to innovate in the true sense, and the integration system has become a reliable way to preach, and at least in my lifetime, I can see hope.

With a completely innovative and rigorous system, whoever can make this thing up, the entire mathematical community will have to kneel for you.

Professor Mirno's lifelong commitment to the integration of the system and the three grand slams of mathematics awards are the best affirmation of his career.

"A toast to John Milno. Director Peverman held up his coffee cup.

"John Milno. ”

"John Milno. ”

Everyone raised their glasses and said the name John Milno.

Americans are like that, as soon as inspiration comes and feels in place, they like to celebrate or pay tribute to something or someone, from the heart, and with sincere feelings.

Professor Mirno smiled and accepted the salute and said, "I was born in New Jersey, I've spent my whole life in Princeton, and I think it's time to leave." ”

"Isn't it John?"

"Where are you going?"

Professors and doctoral students were surprised, why did the old man say to leave?

"I'm in my eighties, it's time to take a break, I sold my house in the United States, and luckily I could buy a house three times the size of Oristano for the same price," Mirno said. ”

Oristano is a small town and resort mecca on the Italian island of Sardinia.

"So John, you're going to Sardinia to enjoy life. "Director Charles Fefferman understands, Professor Milno is retiring after success and is ready to say goodbye.

"I'll send you a postcard, Charles. Professor Mirno said with a relaxed face.

Director Peverman put down the coffee cup, he walked up to Professor Milno, took out a beautiful pen from his pocket, and solemnly placed it on the table in front of Professor Milno.

"Serve the country, serve every country. Director Peverman stretched out his right hand to shake hands, his expression respectful.

Professor Mirno didn't get up, he smiled and nodded, and sat down to shake Director Feiffordman's hand.

The coffee time, which was originally relaxed, suddenly became solemn.

Then Edward Witten walked up to Professor Mirno, also placed a pen, and shook Professor Mirno's hand respectfully: "Serve the country, serve every country." ”

As if rehearsed in advance, Faltins, Linden Strauss, Okunkov, Hurst, Lench and dozens of other F, A and A award winners, they did the same thing over and over again.

Each of the bulls gave Professor Mirno a signature pen and said the same words: "Serve the country, serve every country." ”

The phrase "serve the country, serve every country" is Princeton's unofficial motto, which is not usually heard, but some special sincerity can be heard.

Professor Mirno already had dozens of pens of all kinds in front of him, neatly arranged in a row.

People of status and status in the United States will carry a high-grade signature pen with them in case they need to sign checks and documents at any time.

For mathematicians, the pen is the closest companion, and all of these great professors carry a pen with them.

And all of these pens were now given to Professor Mirno as a matter of convention.

Shen Qi was shocked, he knew that this scene was by no means rehearsed in advance, this was a temporary event.

"When you retire, the more pens you receive, the greater your accomplishments, and that's a Princetonian tribute. If you recognize what that person has achieved, then give him a pen. Professor Müller said to Shen Qi, and then got up, ready to write for Professor Mirno.

Shen Qi stood up and took out the Montblanc pen he carried with him, he is a master figure, we have to carry the pen with us, right?

"Shen Qi, sit down. Professor Müller pushed Shen Qi back into his chair.

"I fully recognize Professor Mirno's outstanding achievements. Shen Qi wondered, what's the matter, can't I send a pen to show respect?

"When you become a full professor at Princeton, you're eligible to send a pen. And now, no. Professor Müller explained the rules to Shen Qi, and then presented his pen to Professor Mirno.

With a pile of pens and great respect, Professor Mirno left the café and soon left his native New Jersey to move to Europe.

The Princetonian farewell ceremony is simple and simple, and is revered here for its morality, wisdom, and scholarly contributions.

The owner of the old village of Mirno, who washed his hands, and his legend has been passed down forever on the rivers and lakes, and he has never written a complete proof on the blackboard, but he has won the highest prize in mathematics.

"Establishing a system is the most important thing. Shen Qi was inspired by Mirno's case.

However, everyone knows that it is much more difficult to build a logically rigorous system than to prove a theorem, and building a system is a huge project that requires a huge and continuous investment of human, material and financial resources.

The only advantage of establishing a basic learning system is that it does not cost too much money, and the biggest investment is human resources.

"I, who am short of major generals at hand, and my level is also limited, so I can't come up with a new theoretical system at present, so let's prove my theorem first. There are many theorem proofs, and the system will naturally come out. ”

It is for this reason that Euclid proved 465 theorems in his lifetime, and the classical system of Euclidean geometry has been handed down for more than 2,000 years.

Shen Qi continued to work on the proof of the "Mill-Shen theorem", and at the end of September, he co-authored the first draft with Mill.

"The exciting result is that we have fully proved assertions 1) and 2) and are more perfect and flawless than I proved in 1982. Muller's excitement then turned to contemplation: "But the problem is that the proof of Assertion 3) is dismal, and it may be another month before we can complete the final proof." ”

Shen Qi said: "Each * closed-convex set of X* is an approximate tight Chebyshev set, for this assertion 3), I think our thinking is wrong at the beginning, it is independent, and it does not need to be associated with assertions 1 and 2). But that's not a bad thing, and perhaps, it's a good thing because we found out early. ”