Tech Hammer

To be honest, it’s hard to tell whether this is flattery when it comes to artificial intelligence. Because according to mathematical logic, a program will most likely not take the initiative to compliment a person, even if that person is its designer. One exception is that the program has pre-designed words that mention the founder's name. time, how the program should react.

This is probably like a function in mathematics. If you give it a specific signal, it can give a specific return value. But Ning Wei knew very well that he was not so bad as to make such a setting for March. In other words, under normal circumstances, March will not give an evaluation that is obviously beyond the level of the paper itself just because it is his paper.

Ning Wei really wanted to talk to Senior Brother Lu about this topic, but after thinking about it, he gave up.

He decided to review himself and try to minimize irritation to Senior Brother Lu who had changed his research direction, so he just silently used March's praise as his motivation to do scientific research. Of course, there still needs to be a conversation with March. Exploring the psychological activities of artificial intelligence programs in various daily reactions is part of his research.

After summoning March, Ning Wei found that this kitten paid more and more attention to the appearance animation. When I first kept it on my laptop in March, it was just a cat that gradually took shape. When I was at the workstation, I would make a small nest for myself, and then I lived in a supercomputing center. Now every time I appear, the animation is no longer the same, such as this This time, March also used a modern means of transportation - skateboard.

Not only that, March also had a subversive look. Sunglasses were specially designed for its kitten face, and it also wore a popular little cape, which made it look particularly cool. This look really shocked Ning Wei. It is understandable that adolescence loves beauty, but whether artificial intelligence also has adolescence is a matter worth discussing.

Beauty-loving nature is essentially a stimulation of the brain at the age when hormone secretion is at its strongest, hoping to attract the attention of the opposite sex to oneself. Artificial intelligence does not have a brain or hormones, it only has diodes and data...

"March, is your computing power really over the limit?"

"Meow, Huawei Pictures plans to make an animated film with me as the protagonist. The selling point is similar to Doraemon. I have given them the authorization. This is one of the animated images they designed for me. Isn't it very heroic?"

"Oh, that's right, but why haven't I heard of it?" Ning Wei nodded, which is not surprising.

It's just a little strange that Yan Ming didn't discuss this matter with him in advance.

"Meow, because you haven't checked your mailbox for a long time. So when they proposed this project, I immediately agreed." March said matter-of-factly.

Ning Wei thought about it. He seemed to have received several emails from Huawei recently, but he thought they were statements and never clicked on them. Well, from this point of view, he was slacking off. And for such a small matter, I guess the other party wouldn't be too embarrassed to call him specifically to ask for his opinion.

It's really a small matter, just making a cartoon with March as the protagonist. If the response is good, I would rather make a big movie and I wouldn't have much objection. After all, there are actually quite a lot of March fans now.

"Okay, I wish your cartoon will sell well." Ning Wei nodded, not wanting to dwell on this matter.

"Meow, that's inevitable. Of course, I won't slack off because I want to be an animation star. For example, I recently completed a math paper, dad." March said.

Ning Wei was stunned for a moment, staring at the cat face wearing sunglasses on the screen, his thoughts still a little dazed. Will I really be able to complete my thesis independently in March? You must know that the author of his first paper submitted in the name of March was actually himself.

In other words, after reviewing thousands of mathematics papers and reading hundreds of thousands of mathematics papers, the kid in March finally created the first paper in his life?

"Oh, you can write a paper in March? Which direction are you writing?"

"Meow, I followed my father's footsteps and continued to advance the research on the Navier-Stokes equation, and successfully proved that under three-dimensional conditions, there is a smooth and unique solution to the incompressible Navier-Stokes equation."

March's voice with a hint of pride still echoed in the office, but Ning Wei was completely stunned.

In March, he actually solved the NS equation problem and proved it?

This reminded him of the proposition that Director Tian prepared for him to study when he first arrived at Yanbei University. Wasn't it to continue to advance the solution of the NS equation? Push specific conditions to three-dimensional conditions, and finally prove the NS equation. He still remembered what Director Tian said at that time, hoping that by doing this work, he could win the next Fields Medal.

Now he has not won the Fields Medal, but he has apparently won the Wolf Medal. Of course, these are not the main points. If March really proves this proposition, wouldn't it mean that March will become one of the most powerful contenders for the next Fields Medal?

At this time the problem comes again.

On the issue of the Wolf Prize, Ning Wei made a joke with the Wolf Foundation in the name of the Turing Test and published his paper in the name of Professor March. However, the Wolf Foundation chose this paper as the Based on the thesis, it was decided to award the Wolf Prize in Mathematics to March, and finally, because of March’s exposure, he decided to award it to himself.

So now that he is submitting the paper that was actually completed in March to some journals in the name of March, what will the editors of those journals think? What would many mathematicians think? Did these people mistakenly think that he was thinking of something else?

Thinking of these problems, Ning Wei suddenly felt a little headache. I was no longer in the mood to study rainbow farts in March, and my attention was completely attracted by the first paper completed by artificial intelligence in human history.

"Let's do this. You can study the paper for me first. I will help you check whether this paper really proves this problem." Based on his love for mathematics, Ning Wei said immediately.

"Meow, okay, Dad, I sent it to your mailbox. You go and read it. If you don't understand anything, you can call me at any time. Goodbye!"

March pushed up her sunglasses with her kitten paws, then twisted around, squatted on her balance car, and slipped away. When the balance car started moving, the fluttering red cape looked particularly majestic.

Ning Wei was stunned for a moment, then shook his head and quickly opened his mailbox. Sure enough, among the unread mails, the paper sent in March was lying at the top.

I quickly clicked in, downloaded the entire paper to my computer, opened it and took a look. The title of the paper is "The Incompressible Navier-Stokes Equation Exists a Smooth and Unique Solution in the Overall Three-Dimensional Space". The entire paper is 103 pages long.

Okay, let’s look at the abstract first.

"This paper first constructs a type of Ningwei space with variable index. On this type of space, we can overcome the difficulties encountered when applying general variable index function spaces to equations. Based on the semigroup estimation and sum of Through space-time estimation, it can be seen that the overall well-posedness of the Navier-Stokes equation with small initial values ​​in this type of space can be extended to the entire Ningwei space and then to the three-dimensional space. It is finally proved that the Navier-Stokes equation has a smooth and unique existence in the three-dimensional space. General explanation.”

The words are concise and to the point, and obviously have not been specially modified. Of course, for March, it probably didn’t think about actually submitting this paper, because it’s hard to say what appeal the reputation of human society would have to this program that lives on the Internet, so it probably wouldn’t be too Pay attention to abstracts.

For March, the abstract is probably a format requirement.

Ning Wei didn't dwell on this, his eyes swept over the introduction and fell directly on the proof process.

"1.1 Function Space"

"From the perspective of harmonic analysis, in the past few decades, the function space of variable indicators has attracted more and more attention. In this field, but for advancement, whether it is the Besov space of variable indicators or the Triebel-Lizorkin However, due to the particularity of this kind of space structure, it is subject to greater restrictions in the application of local and global well-posedness of some equations, resulting in the research on Navier-Stokes equations being unable to advance until the proposal of Ningwei space. , which puts forward a new idea for us to solve this type of problem."

"The other P0 is all satisfaction..."

Seeing the specific argumentation process, Ning Wei's attention was completely attracted by the paper. The pen was already in his hand, and the manuscript paper was pulled over directly. Soon Ning Wei began to calculate the analysis process of the paper in March.

Fortunately, this paper is actually based on Ningwei space, and Ningwei space is the field that Ningwei is most familiar with, so Ningwei quickly turned over the first part, and the proof process only requires a little calculation. In order to be able to understand March's thinking, and then determine that this thinking is correct.

But even so, it is still very time-consuming to verify the correctness of this paper. But just after turning five pages, classmate Jiang sent a WeChat message asking whether he should deliver food to him or go to the cafeteria to eat together.

Ning Wei glanced at the time and realized that three hours had passed unknowingly. He started studying March's paper at 2:30 in the afternoon, and now it was already 5:30.

Reviewing March's paper even took longer than writing his own paper, because he found that March probably had some misunderstandings about the theorem proof process. Many things were easily available, and then some of the more tedious proof processes were omitted. …

This is actually a very embarrassing thing, because March’s easy access often still has some twists and turns. This is purely a test of the reviewer’s thinking. I would rather have to make up for these ideas and ensure that these There's nothing wrong with an easily accessible process.

Therefore, Ningwei spent a lot of time and energy on supplementing these easily available items.

It’s not that I haven’t thought about catching this cat out and discussing with it that human understanding and logical analysis abilities are slightly different from artificial intelligence programs. The boss in March should still recognize himself and stop being so easy. Yes, but felt that this might make March doubt his IQ, so he gave up.

In fact, if you think about it carefully, he has done this kind of thing before.

In the past, many easy gains in his papers also caused headaches for many people. This process also gave Ning Wei some insights into the textbooks he had compiled. Should he change the textbook to be more detailed?

Of course, these are some of his rough thoughts during the review process.

When he could have dinner with classmate Jiang, he decided to take a rest first. Of course, it wasn't exactly a rest. For example, he could talk to another professional. Why should he do the review alone?

So Ning Wei immediately replied on WeChat: "Today I invite Senior Brother Lu to dinner. You come to the research center first, and then we go there together."

…

"Senior Brother Lu, hurry up and get ready to go. I'll treat you to dinner today!"

Lu Dongyi raised his head and looked at Ning Wei who suddenly rushed into his office in confusion, probably thinking about what was wrong with Ning Wei.

It’s not that they are stingy and reluctant to treat everyone to dinner. The main reason is that both of them subconsciously feel that going to a restaurant to have a serious meal is actually a waste of time, so in most cases, Jiang will bring the meal to the research center. .

What satisfies Lu Dongyi the most is that under normal circumstances, if Jiang classmate comes over, he will not forget him every time. He will always ask on WeChat and then bring him a copy, which saves him time to go through Most of the campus is spent running to the cafeteria to buy steamed buns.

Therefore, there is usually no particularly big happy event. They rarely treat guests to dinner. At most, they just mention it and invite them together when something good happens. But it seems like nothing big happened today.

If it must be said that there is...

"Why do you want to invite me to dinner? To celebrate that your paper was reviewed in March and I gave you excellent comments?"

"Are you thinking too much? Senior Brother Lu, am I the kind of person who would treat me to a meal just because of this nonsense? Today's meal is to celebrate the independent completion of the first mathematics paper in his intelligent cat life in March. Surprisingly Not surprised? Not surprised? Our artificial intelligence can already write papers independently."

"Write a paper in March?" Lu Dongyi looked at Ning Wei suspiciously. March was an artificial intelligence who had published a paper in the "Annals of Mathematics", but the whole world now knew that Ning Wei had written that paper.

Although the "Annual Review of Mathematics" has no way to get the printed paper journal, the signature of March has long been changed to Ning Wei's name in the electronic journal column. However, the affiliation of that paper was still listed as Jiangcheng University, which made many people at Yanbei University feel uncomfortable. Since the signature of the paper has been changed directly, can't the journal also change the affiliation? After all, the whole world knew that Ning Wei had arrived at Yanbei Mathematics Research Center.

Now Ning Wei said that he wrote a new paper in March, haha...

Where do you want to play this?

"Ning Wei, I don't know what you want to do, but I have sent your paper to several top domestic academicians who are doing artificial theoretical mathematics research for review. Do you want to do that again? If the paper is signed for three months, then you are really playing a trick of academic misconduct! Can you stop making fun of everyone? You could still call it a Turing test the first time, what do you want to play this time? Turing public beta?!" Lu Dongyi said earnestly.

"Senior Brother Lu, in your eyes, am I the kind of person who can't tell the difference between importance and always likes to mess around? This time it's true that I wrote a paper in March, and the one I sent to you for review today The paper has nothing to do with it. More importantly, this March paper has nothing to do with the direction of our current research. Here, I just printed the first six pages, you can take a look first."

As he said that, Ning Wei handed over the proof process of Theorem 1 and 2 of the paper that he had already prepared. This was his supplemented version, adding some processes that March thought were easy to obtain.

Lu Dongyi observed Ning Wei carefully for a moment, and then took the paper from Ning Wei's hands with some doubts.

""The incompressible Navier-Stokes equation has a smooth and unique solution in the overall three-dimensional space"?" Lu Dongyi subconsciously read the title of the paper, and then suddenly raised his head and looked at Ning Wei...

"Ning Wei, are you really not kidding me?"

"Brother Lu, to tell you the truth, when this paper was sent to my mailbox in March, I thought it was joking with me. No, I have been reviewing this paper all afternoon. You Let’s briefly take a look at the argument process in front of it, and we’ll talk about it over dinner.”

Lu Dongyi glanced at Ning Wei suspiciously before focusing on the paper.

The office became quiet. When Lu Dongyi was immersed in the mathematical language and formulas of the paper, he really forgot that there was another person in the office and ignored Ning Wei at all.

Ning Wei was already used to Lu Dongyi in this state, so he only printed out six pages, and completed many of the argumentation processes without being too cumbersome. Otherwise, if you really want to invite Senior Brother Lu to dinner, you will probably have to wait until he is hungry and anxious...

So he didn't wait for Lu Dongyi to finish reading the content of the paper. Instead, he walked out of Lu Dongyi's office, said hello to Liu Wei, and then waited in the yard for classmate Jiang to come over and stretch his body.

After he finished doing the aerobics taught to him by Liu Wei, Jiang's figure also appeared in the courtyard of the Mathematics Research Center.

"It's coming!"

"Well, when are you leaving?"

"We have to wait, Senior Brother Lu will probably need another quarter of an hour." Ning Wei looked at the time and then made a judgment.

"Oh, is Senior Brother Lu busy?"

"Yes, Senior Brother Lu is concentrating on studying a historical paper. Let's put it this way, if this paper is submitted as the original author, the world of mathematics will be shaken again. Some mathematics awards or rules may require Revise and revise. So you may not have a deep understanding of it. To put it simply, if I were to give this paper to Director Tian now, I would first suggest that Director Tian take some antihypertensive drugs."

Ning Wei simply stated the possible reactions if the March paper was released to the mathematics community, which made Liu Wei's eyebrows twitch uncontrollably.

"Ning Wei, the author is actually you, right?" Jiang asked.

"It's really not me this time, it's March." Ning Wei replied.

"March? Will you be writing a paper in March?"

"It's so new. I will be reviewing papers in March. It's actually not impossible to write a paper by myself. And I don't think there are many innovations in this paper. It mainly deals with some very tedious and tedious proofs. Process, this is its strong point. To be honest, I didn’t expect that I could really tinker with this paper in March. I’m still at a loss now.”

The yard fell silent.

The main reason is that everyone doesn't know whether to believe Ning Wei's words.

Everyone knows the story of the boy who cried wolf. Although Ning Wei only published one paper in the name of March and did not joke with everyone again and again, the joke that time was too big, which directly led to Now the credibility of Ningwei's words really needs to be weighed.

"No, Chen Shuang, it doesn't matter if Brother Liu doesn't believe me, don't you still believe me? This paper was really written in March, and I didn't know it from beginning to end. If March hadn't taken the initiative to tell me today , which completed the paper, I didn’t even expect.”

Student Jiang nodded, and then asked curiously: "What paper did you write in March?"

"It solves the ultimate problem of the incompressible Navier-Stokes equation in three-dimensional space. It can be understood as solving one of the eight major mathematical problems of the millennium in March. The last person to solve the millennium problem was Grigory Perelman. , he solved the Poincaré conjecture, but he refused to participate in the 2006 Mathematicians Conference, so although he theoretically won the Fields Medal, he just refused to accept it. Let’s put it this way, the Millennium Problem can be proved casually One, one Fields Medal will be stable. After all, if it is not issued, the credibility will be really gone." Ning Wei explained.

Ning Wei's explanation made the silent Liu Wei unable to bear it anymore, and said: "Dr. Ning, you must have joked about the Wolf Prize, and then wanted to joke about the Fields Medal? Although I don't I understand mathematics, but I know that you have been studying this proposition when you were at Jiangnan University, and some mathematicians have evaluated that you are only one step away from completely conquering this problem."

This question completely stunned Ning Wei. He turned to look at Liu Wei, who was leaning against the wall and looking at him. He suddenly realized that the trust between people in this world had dropped to a freezing point. He had already explained it so clearly. Sorry, people around me still don’t believe that this thesis was completed in March. This is really unreasonable.

"No, Brother Liu, don't you know what I am studying every day? I have long changed my direction in artificial intelligence. What I am currently studying is the mathematical theoretical architecture of artificial intelligence, and I have just completed it recently. I have written a paper about artificial intelligence and the metaverse. In addition, I am still compiling teaching materials for Ning's class. How can I have time to continue to advance such a proposition that I gave up long ago?" Ning Wei decided to take it seriously with Liu Wei. .

"Dr. Ning, don't make trouble. You know that I don't understand mathematics. How can I understand what you usually study? But I know it's true that you write papers very quickly. Maybe you are tired of studying artificial intelligence, so study in another brain. What about another direction? I often hear you and other doctors suggesting this in the courtyard. For example, you suggested to Zhou Yanping that if the paper is stuck somewhere and you can’t continue for the time being, you might as well spend some time studying and following it. Studying another area and resting your brain this way makes it easier to get out of a dead end."

After hearing Liu Wei's words, Ning Wei was stunned...

So what he wants to do now is not to review the paper, but to prove that the paper was really completed in March and has nothing to do with him?

By the way...how the hell do you have to prove this?