Chapter 391 Run the program to run the Shenwei out of the problem?
Chapter 391 Is there something wrong with Shenwei when running the program?
"Thank you."
After taking the USB flash drive from the hands of the four intern researchers, Lin Xiao naturally wanted to thank them very much. It was done in three days. It is conceivable that they must have spent a lot of time, and they might not be able to return it.
They stayed up all night, after all, Lin Xiao only gave them a week in the beginning.
"It's nothing, Lin Shen, you're welcome."
"That's right, Lin Shen, you are my idol, I will definitely have no problem working for you."
"It's all small things, but having said that, Lin Shen is indeed you. I can't understand what your formulas are saying, so I can only write the program according to those formulas."
Naturally, these intern researchers are all young people, and they are not so reserved when talking to Lin Xiao.
Lin Xiao laughed, and then said: "Anyway, thank you very much."
No matter what, if you ask people to do something, you have to give them some help. It is obviously not good to ask people to help but not give them any benefits.
So Lin Xiao thought about it and said, "Let's do this. Since you are all studying computing materials, I will give you a special grant of 400,000 yuan, and the four of you can work together on a project."
Hearing Lin Xiao's words, the four people were immediately excited.
Lin Xiao's words were equivalent to supporting the four intern researchers to work on their own projects, and this was obviously a great reward for the intern researchers.
Generally speaking, intern researchers can basically only follow the big or small experts in the research institute to work on projects. Those who want to set up a research group and conduct research alone must either have the money to rent a laboratory to work on the project themselves, or it is impossible.
.
After all, intern researchers do not have the experience of working on projects alone. Before they grow into full-fledged researchers who can take charge of their own work, they need to follow their seniors to do projects and become familiar with the project process, and then wait until they have the opportunity to lead projects alone.
On the road to becoming a Maverick or a Big Bull, of course, there is also the possibility that there will be no news along the way.
But now, several of their intern researchers have the opportunity to apply for funds and establish independent projects. This is undoubtedly an opportunity for them.
"Of course, you can also divide the research funds of 100,000 yuan each and do your own research. I won't stop you from doing this. However, I think for you who study materials, although it is calculation materials, I think 400,000 yuan should be considered
A little more than adequate.”
"So you need to think about it carefully. After you make a decision, just print out a project application form and come to me."
"Okay, that's it, it's time for me to leave."
With that said, Lin Xiao was about to leave. He still wanted to verify the program he had.
The four people who were in a state of excitement came to their senses and shouted one after another: "Thank you Lin Shen! Goodbye Lin Shen!"
One person even shouted in a funny way: "Farewell to Lin Shen!"
Hearing this "congratulations", Lin Xiao shook his head with a smile, and then left here.
After giving these people 400,000 yuan, Lin Xiao was not worried that the money would be spent indiscriminately. He still had confidence in the people in his institute.
And now giving them 400,000 yuan is not only to thank them, but also to train them to see if they can use these 400,000 to cultivate talents. Even if one of the four people shows enough talent, it is a good thing.
As for those trivial things, it is not something that Lin Xiao needs to think about. Even 400,000 yuan is nothing to him now.
No longer winning the championship, he returned to the office with the USB flash drive, and then directly entered the Sunway TaihuLight system.
Since he had an internal account, he didn't need to queue or anything. He directly connected to the supercomputer node, and copied the program in the USB flash drive into it. Next, he handed it over to the supercomputer to do the calculations.
P=NP is about a process of solving problems in polynomial time. As for what polynomial time is, in short, it refers to problems that can be solved within a deterministic time, that is, by constantly giving answers to verify the problem.
, can be regarded as a similar exhaustive method.
Through exhaustive enumeration, all problems can be solved like a monkey typewriter, it's just a matter of time.
For simple problems, the time it takes to solve them through this exhaustive method is relatively short. When this simple problem becomes complicated, that is, when the scale of the exhaustive process becomes larger, the time required
The time problem will obviously become bigger and even impossible.
But P=NP says that it is not necessary. It can still get this result in the time of simple problems.
Of course, this explanation is still different from reality, at least it cannot be said to be exhaustive.
But no matter what, Lin Xiao's method is to make the problem of "how to unify quantum mechanics and relativity" become able to be solved through a program within a certain period of time, just like a special value of the P=NP problem.
As for how to prove P=NP, Lin Xiaoke has no idea yet.
Next, watching the program start to run, Lin Xiao could finally relax for a while.
Although I don’t know how long it will take to solve this problem, it may be tomorrow, it may be a week later, it is not impossible to wait until a year.
But at least, as of today, it probably won't be completed.
…
The next time, Lin Xiao went to share his good news with Witten.
Witten was very shocked, "You actually found a polynomial calculation formula that can test the unification of quantum mechanics and relativity?"
Lin Xiao smiled and said, "Yes."
"Oh my God." Witten couldn't help but shook his head. He was very shocked by this incident. He would never have thought that the unification of quantum mechanics and relativity would actually come from a computer program.
, this development made him feel unexpected, like a joke.
Lin Xiao said: "Of course, maybe this calculation program will run forever. After all, no one can guarantee how long it will take to complete the verification. Maybe give me a future quantum computer?"
Witten said: "I hope so."
Suddenly he said again: "By the way, I hope to stay here for a while longer. Is there any problem?"
Now one month is up, and according to his original plan, he has to leave.
Lin Xiao was stunned for a moment, but did not expect that Witten planned to stay. Then he smiled and said: "Of course you are welcome, no matter how long it takes."
"That's good, it seems I can hang out in your cafeteria for a while longer."
Witten laughed, and then said: "To be honest, before I came here, I had always heard that your Chinese institutes were not as good as our Institute for Advanced Study in Princeton in terms of some systems and interpersonal relationships."
"However, now at the Dingguang Institute, I feel as if it is no different from the Institute for Advanced Study, and even better. At least at the Institute for Advanced Study, funding issues still trouble many of our researchers, but here you
"In the past month, I have rarely seen issues that have become difficult due to funding issues. It seems that everything I heard there is false."
Lin Xiao was stunned for a moment, then shook his head and did not tell the truth. After all, the family scandal should not be made public.
Witten feels this way simply because this is the Dingguang Research Institute and he is the director. However, in other research institutes, the problems Witten mentioned exist.
Witten did not notice Lin Xiao's movements and continued to talk about other things, such as what he had seen and heard in the past month, and also made an evaluation of the food in the cafeteria. In short, he showed great interest.
"As long as you like it."
Lin Xiao said with a smile.
However, at this moment, his cell phone suddenly rang.
When he saw it, it was Wang Wenguang, director of the Xishi Supercomputing Center.
Although he was a little confused as to why Wang Wenguang called at this time, he didn't think much and answered the call.
But before he could speak, Wang Wenguang's anxious voice came from the other side: "Academician Lin, what program are you running?"
There was some worry in the anxious voice, and at the same time there was also a bit of blame.
Lin Xiao was stunned and asked: "What happened?"
"Academician Lin, the program you ran with your account has put several of our Sunway TaihuLight nodes out of self-check program. These nodes are temporarily unusable. Now the system has put your program
Aborted!"
Lin Xiao suddenly felt incredible: "What? Run my program and cause problems with Sunway TaihuLight?"
