Chapter 186 Do you want to reflect on it?(1/2)
Liu Zhaoyuan from the Computing Institute learned about the news about an hour later than Lu Yanxiang.
It's not that Liu Zhaoyuan is not well-informed. It's mainly because the Computing Institute has been very busy recently.
In fact, the work at the Institute of Computing Technology has always been busier than the work at the Academy of Sciences. There is no way that all the computing work here is more pragmatic.
The impatient Party A wants to call several times a week to urge her.
This was also the reason why Professor Liu from the Institute of Computing Technology and Ma Botao from the Institute of Materials Science were unhappy.
There is no way around it. Those engaged in scientific research believe that their own projects are the most important, and other people's projects are a waste of the country's few research funds.
Well, no matter what you think in your heart, you must say this to foreigners. Over time, you will believe it.
The specific manifestation is that when nothing happens, you will find that the computing institute is helping others to do things. If you don't help yourself to do things, you will feel that you are not doing your job properly.
Obviously, this will indeed make many mathematicians engaged in auxiliary calculations feel uneasy. Naturally, when receiving a call from someone like Ma Botao who is engaged in materials research, he does not have a good attitude.
And for those who engage in computational mathematics, they don’t care that much about mathematical theory.
After all, computational mathematics is more concerned with the application of mathematics in practical problems and the implementation of algorithms. After all, they face real-life problems every day.
As for theoretical completeness or abstract logical beauty, those are things that only those who engage in theory like to pay attention to.
So no one specifically called Liu Zhaoyuan to tell him this.
But now all the elite soldiers and generals have become Qiao Yu's "fan brothers".
There are specialties in the arts, and there are priorities in learning the Tao. There is a tradition of worshiping talented people who are engaged in technology at the front line.
After dinner in the evening, he heard about this incident when he called the technical backbone who was still working overtime to the office to inquire about the calculation progress of the moon landing plan.
"Qiao Yu claims to have solved the Riemann Hypothesis?"
"Yeah, you don't know yet? It's almost spread all over the Internet!"
Okay, this sentence is actually a bit exaggerated.
It can only be said that it has spread within a small area. After all, it has only been two or three hours since the paper was published on arXiv.
But it's not an exaggeration. After all, even they already know the news.
Many big figures in the mathematics community announced the news on their accounts on their respective social platforms. For example, Tao Xuanzhi posted relevant content on his blog and announced that he had agreed to become a member of the joint review panel of the paper.
Although in most cases, well-known journals will use double-blind or single-blind review methods. But it is obviously not applicable to papers that prove the Riemann Hypothesis.
In addition, Qiao Yu has already published the paper on arXiv, so this time he directly used a combination of public review and international discussion, or mathematical community verification.
Just like what Lot Dugan is doing. He directly invited twelve top experts in the field to conduct a public joint review.
Under this model, there is no anonymity between the author and the jury members, because as Lot Dugan and Qiao Yu said, the two parties need frequent direct academic communication.
Qiao Yu kept communication open at all times, answered any questions raised by the jury members about the details of the proof of the paper, and ensured that any details were clearly explained.
This review model naturally does not require reviewers to keep their identities secret. The advantage of this is that it can not only greatly shorten the time for reviewing the paper, but also ensure that there are no problems in judging the details of the paper.
Whether it is Perelman's proof of the Poincaré conjecture or Wiles' proof of Fermat's last theorem, they are actually similar verification models.
The former's proof was verified by multiple international research teams for three years. Wiles's proof also went through a longer period of community review and revision.
Of course, there is a reason why the verification of these two papers took longer.
The proof process of the former can be said to be full of twists and turns. Many people, including Mr. Yuan, believe that the proof of Perelman's early work was not too detailed and too simple to be accepted.
Many key steps were briefly mentioned or skipped, and the details were not fully developed. These international research teams made many additions to Perelman's work.
As for Wiles's proof, he used an obvious one, but apparently the one he used was not that obvious.
And it just so happened that that was obviously a key step. He needed a completely new technique to complete the structural derivation of what was later called the Euler system.
The review team discovered a logical flaw in this step, so Wiles spent a year and a half dealing with this "obvious" problem, but fortunately he succeeded in the end.
Obviously, in a sense, this review mode is far more stringent than double-blind or single-blind review. Countless pairs of eyes around the world are staring at the paper and the reviewers, ensuring that no logical loopholes in the paper can be missed.
.
In addition, people engaged in scientific research have easier access to information from the outside than ordinary people. So it is not surprising that people who follow Qiao Yu can learn about this information.
Of course, when these things fell into Liu Zhaoyuan's ears, he really didn't know how to evaluate them.
Although he is not a theorist, he naturally knows how important the Riemann Hypothesis is.
So he couldn't help but wonder, he had promised to contribute to computational mathematics and build a cross-century computing platform to solve problems for everyone. Now that the money has been collected, what does it mean to turn around and prove the Riemann Hypothesis?
What is this?!
Damn it, could it be that because the application from the Natural Science Foundation was not approved, we just used their money to complete this certification?
Well, Liu Zhaoyuan sent away the guy who was called to report the work, and logged into arXiv on the computer.
No way, computational mathematics is also mathematics. Anyone who studies mathematics will probably be interested in this paper. They want to see whether this paper is serious or not.
After all, this is not the first time that someone has claimed to have proved the Riemann Hypothesis. Previously, a knight claimed to have proved this problem of the century, but it turned out to be a big joke to the whole world.
Just like this, I downloaded the paper and studied it, and it was evening before I knew it.
After finally reading the paper, Liu Zhaoyuan felt that his mind was empty... To be honest, he didn't really understand it.
If Qiao Yu knew Liu Zhaoyuan's method of reading papers, he would probably sneer at it and then teach him some tips.
When reading a paper, you cannot just read the paper. You will definitely not understand it.
Instead, when you find that you don't understand the first lemma, you should take the initiative to turn to the last page to find the cited documents. Then read all the cited documents first, and then come to this paper after you understand them all.
If you can't even understand the documents cited in this paper, then go ahead and read the documents cited in the cited documents first...
As long as you persist in doing this, no matter how obscure the paper is, you will eventually be able to understand it!
In fact, Qiao Yu has always done this when reading papers. As long as he can't understand, he will go to the superior literature until he understands the original paper. This often means that he has directly understood the entire research direction.
Just like when Qiao Yu studied Langlands Conjecture and P-geometry, he read almost all the early papers and works of Langlands and Peter Schulz...
It is a pity that Liu Zhaoyuan obviously does not have the patience or the time. Although Qiao Yu's paper cites not many documents, there are also works in it.
And they were all about pure number theory. Back then, he was really interested in this aspect of knowledge, so he would not have chosen to do calculations.
But to be honest, Liu Zhaoyuan was not optimistic about Qiao Yu's paper, because even including the pages of acknowledgments and citations, it was only thirty-eight pages.
It is not surprising that a mathematics paper is thirty-eight pages long, but the paper on solving the Riemann Hypothesis is only thirty-eight pages long, which Liu Zhaoyuan felt was unrealistic.
Even if the paper is really valuable, it probably doesn't have enough details.
His doctoral thesis back then was more than seventy pages long. It was twice as long as this thesis!
After reading the paper, Liu Zhaoyuan rubbed his eyes and looked at the time. Unconsciously, it was already ten o'clock in the evening.
That is to say, although he didn't understand much, he spent three hours on this paper.
Then he sat at his desk and thought for a moment, considering whether to call Yu Yanjiang.
You, the big boss, have taken the lead in developing a computing platform, but others are doing theoretical research, so you have to say something, right?
It's not that Qiao Yu can't study these, but things always have priorities. It's okay to build the computing platform first, and then do these fancy studies.
Anyway, it doesn’t matter whether the Riemann Hypothesis is proven sooner or later. So many top mathematicians around the world have been working on this problem for many years, but they still have no results?
I picked up my phone and was about to make a call to complain when I noticed a lot of WeChat messages flashing through the notification bar.
I clicked on a WeChat group and took a look, and sure enough everyone was talking about Qiao Yu's paper.
However, what was being discussed did attract Liu Zhaoyuan's attention.
"I'm sure the article has been submitted to the Annual Journal of Mathematics. Go and take a look. Princeton has officially announced the reviewer lineup for Qiao Yu's paper. They are twelve gods!"
"Look, I said it was definitely not a joke this time. When the reviewer team is announced at this time, many reviewers must have already roughly read the paper. If you really feel that the degree of completion is not high, you will definitely not accept this
Review."
"No way? Does this paper really solve the Riemann Hypothesis? Doesn't that mean that Qiao Yu is qualified to win the Fields Medal this year?"
"It also depends on how long the review takes and the final review result, right? A rough reading does not represent the final result."
“The review of Perelman’s paper took three years!”
"But back then, Perelman uploaded three papers to arXiv alone, and they were more than 200 pages long. Qiao Yu's paper only has 38 pages. The review shouldn't take that long, right?"
This work is uploaded by the organizer~~
…
Seeing a group of people who didn't study the Riemann Hypothesis at all arguing so fiercely, Liu Zhaoyuan couldn't help but roll his eyes.
However, the announcement of the reviewer lineup on Princeton’s official website still attracted him, and he subconsciously opened Princeton’s official website.
After all, this situation is very rare. After all, whether the reviewers of a paper are disclosed requires the consent of the reviewers.
This can only be done if the reviewer is willing to be transparent to the public. Of course, this is a major event involving mathematics in the paper, otherwise, it would be impossible to do this.
Even among the seven millennium problems, Liu Zhaoyuan thinks that only the Riemann Hypothesis, NP problems and the mass gap hypothesis can get this treatment.
Although Perelman's original review process was not officially announced, the identities of all verification teams were also public.
So it can only be said to be a special case that has been around for a long time.
Soon, Liu Zhaoyuan saw the content of the official announcement.
To be continued...