Chapter 84 A shocking mathematical argument at a computer conference!
Lecture Hall No. 1 was crowded with people, but it was completely silent.
Everyone was staring at the young figure on the reporting table who was writing content on the whiteboard. He seemed to be writing content one after another on the whiteboard without even thinking about it.
He is really young.
He was so young that he was younger than the normal attendees at the venue. Most of them, including the doctoral students who were brought here, were older than him.
At this moment, he is the focus of the audience.
Everyone kept looking over, and some were whispering. The topic always revolved around the figure on the stage, "What is he doing? What is he writing? He seems to be making an argument."
"It seems to be a purely mathematical argument? He just said that he was 'very inspired'. Is he going to make a proof on the spot?"
"What's the proof? I can't understand it."
The first row of specially invited judges are also discussing this issue.
Peter Schultz is sitting on the right side of the first row. On his left is the famous Turing Award winner Yao Zhiqi. He founded the famous "Yao Class" at Shuimu University and has been working for more than ten years.
.
Now that I am older, I still shine in the field of education.
He came to the computer conference this time because he knew there was a brand new algorithm and was very interested in it. He followed the train of thought until the end and felt a little tired even now.
He turned around and asked Peter Schulz, "Mr. Schulz, there should be no problem with Professor Ma's question from Donggang University just now, right?"
Yao Zhiqi was a little unsure. From his personal experience, he felt that Wang Hao's algorithm proof was very complete, and there should be no cases where the 'unbounded' method could not be proved, but he did not think of how to prove it for a while.
Sitting next to him is the young Fields winner, who is in his thirties and at the peak of scientific research. He is active in inspiration and energetic. He has conducted most of the top research in the world, especially research that affects the development of science.
They all appear in this age group.
Although Wang Hao completed research on a computer algorithm, the process logic is mixed with a large number of mathematical concepts. It is not easy to understand complex mathematical logic, and it is easier for top mathematicians to understand it.
Peter Schulz stared at the whiteboard he was writing on, without moving his eyes. He just nodded slightly and said, "He just said that he used set theory and induction. It is easy to prove it by combining these two methods.
"
"Easy?"
Yao Zhiqi pursed his lips vigorously and made no comment. The difficulty of a question is relative. A question that is easy for Peter Schulz may be a gap that cannot be crossed in a lifetime for others.
Peter Schulz just said a simple sentence, but he undoubtedly had authority in the venue, and even several Turing Award winners could not compete with him.
One reason is that what Wang Hao does is theoretical algorithm demonstration, and mathematics is the basis of everything.
The second reason is also because of age.
The vast majority of Turing Award winners rely on their achievements two thousand years ago. This is true for the three Turing Award winners at the venue. The youngest of them is over sixty-five years old, and the other two
They are all elderly people in their seventies.
People at this age will have a sharp decline in thinking ability and energy, and they can no longer compete with young people. And Peter Schultz is the kind of super genius. Before he got Fields, he was considered the smartest person in the world.
One of the most anticipated Fields recipients.
It's very interesting that Pete Schultz gets Fields.
Before the selection of Fields that year, some organizations placed bets on the candidate list, and more than 95% of the people chose Pete Schultz. It can be said that his winning of Fields was expected by everyone, and there was not even a bit of suspense.
When a genius of this level comes to an academic conference and involves mathematics, he is naturally the most authoritative person.
Peter Schulz's comments about the question were told to others by people nearby.
Soon, the entire venue knew about it.
This news also made Ma Wenjun very disappointed. He felt that he had found a problem in the argument. It could not completely overturn the algorithm's proof, but it was enough to lower the algorithm's evaluation and influence by a notch.
But the Fields winner affirmed that there was no problem with the argument.
What else is there to say?
If he hadn't been curious about what Wang Hao was proving, Ma Wenjun would have wanted to leave the venue without caring about his face.
The reporters at the edge of the venue all knew the news, and they couldn't help but let out a long breath. They definitely wanted to prove that there was no problem.
If Wang Hao's certification report is successfully completed and a new algorithm emerges that can attract the attention of the world, it will definitely be very exciting news.
Wang Hao is still a pure domestic scholar, so the news reports are of even greater significance.
Reporters also began to ask what kind of proof Wang Hao was doing. They must not understand it at all. They just wanted to understand it and evaluate the way of thinking about news.
So, what exactly is Wang Hao proving?
Everyone wants to know this question. There are some people who can understand what is written on the whiteboard, but the number of people who can follow the thinking and understand what to prove is extremely rare.
Wang Hao's writing speed was so fast that he kept writing almost without thinking, even faster than copying the content.
The few Turing Award winners in the first row can't keep up with the ideas.
They could understand what Wang Hao wrote, but their understanding was too slow and they didn't know exactly what they wanted to prove.
Yao Zhiqi only had a vague feeling that it was the content of number theory.
Jeffrey Hinton also looked confused. He was sitting next to Yao Zhiqi, and to the right was his granddaughter Helen.
He knew that Yao Zhiqi definitely didn't know, so he simply turned to Helen and asked, "Can you understand the content above?"
"Something I can't understand."
Helen answered very straightforwardly, but still stared at the whiteboard seriously, her eyes even shining, "But if I guessed correctly, it should be related to Artin's conjecture."
"Artin's conjecture?"
This word immediately attracted the attention of others, and when they followed the whiteboard carefully, they immediately discovered that it was indeed related to Artin's conjecture.
Many people looked at Helen in surprise. They didn't understand the content, but a little girl saw it.
The little girl said that she couldn't keep up with the ideas, but she must be very good at mathematics.
At this time, Peter Schulz corrected, "He is not trying to prove Arting's conjecture, he is demonstrating Arting's constant."
Someone in the back row was suddenly confused, "Don't demonstrating Arting's constant and proving Arting's conjecture mean the same thing?"
"uncertain."
"If we are just demonstrating Artyn's constant, what if this constant is wrong?"
"It makes sense..."
Many people were very shocked.
With Peter Schultz's simple explanation, everyone else understands it, and it becomes easier to understand it when looking at the whiteboard.
At least they know what Wang Hao is arguing.
However, most people can only watch. Their understanding speed cannot keep up with Wang Hao's writing speed. It is impossible to follow the thinking to understand.
Perhaps because it is a computer conference, the research and development fields of many scholars are computer applications, and research on pure mathematics and analytic number theory are basically two unrelated fields.
The same goes for the review team members on the left and right sides.
They also all watched Wang Hao's writing process of proof carefully. Even if they knew that Wang Hao was talking about Atting's constant, it was impossible for them to follow the train of thought and understand it.
Fortunately, there are a few math experts on site, so even if you can't keep up with the ideas, you can still do it by slowly understanding the proofs.
The only person at the scene who could keep up with the writing speed and understand it was Peter Schulz. He stared at the line of content on the whiteboard very seriously, and his eyes did not move from the beginning to now.
Then, the more he looked, the more surprised he became, and the expression was written on his face.
Wang Hao completed the proof in one breath and changed three whiteboards in the middle. The four whiteboards were listed by the staff on the reporting table, arranged in a row from left to right.
He finally completed the last step of the proof, and then grabbed the pen with his hand, with a smile on his face.
Wang Hao turned his back to the crowd and reviewed the contents from beginning to end. He just stood quietly and watched, and no one else came to disturb him.
Then, he walked to the edge of the reporting table, stretched out his hand to show everyone the four whiteboards filled with proofs, "This is my latest research, and the name should be "The Boundedness of the Existence of Artin's Constant."
"These can prove the existence of Artin's constant. At the same time, the value range of the constant is between 0.37 and 0.38."
"I think this is enough!"
After Wang Hao finished speaking, he faced everyone with a smile. The venue was quiet, and everyone was digesting what they just said.
The first person to applaud was Peter Schulz. He said a few words, "It's very shocking, very exciting, and very perfect!"
Then he clapped vigorously.
It was a heartfelt applause to express admiration, and everyone else around could see it. They didn't understand the whole content yet, but with Peter Schultz's affirmation, they all clapped along.
The important thing is not to be able to understand, but to be proven correct.
"Pa bang bang~~"
"Pa bang bang~~"
The entire venue was filled with applause, and many people even clapped outside the venue. They were not able to enter the venue, but it did not prevent them from knowing what happened inside the venue.
The applause in the stadium lasted for a long time. After it weakened a little, Wang Hao raised his hand and pressed it down, and said, "All the proofs are here, there is nothing left to explain."
"If anyone is interested, you can go back and understand it slowly."
"in addition……"
Wang Hao walked to the third whiteboard and drew large circles around several paragraphs of proof with a black pen. "As for Professor Ma Wenjun's question just now, this paragraph should be the most powerful proof."
"Whoosh!"
Everyone looked at Ma Wenjun's position.
There was a slight smile on Ma Wenjun's face, as if he felt relieved that his question had been answered, but in fact, his mood was already in a mess.
He knew that Wang Hao had succeeded.
Wang Hao not only successfully proved it, but also stepped on him hard.
When the news report was released, his name would also be reported, but he was the one who was stepped on to highlight Wang Hao's outstanding background character.
…
The morning meeting seriously overtimed and didn't really end until 1:30, but no one complained about it, but talked excitedly about Wang Hao's proof.
Those who were not present were extremely upset. They all felt that they had missed a grand event.
"Atting's conjecture" and "Atting's constant" have also become hot topics among scholars.
"Do you know Artin's conjecture? It is definitely not as good as any of the top ten conjectures, but it is still very powerful and is directly related to the distribution of prime numbers."
"I actually witnessed the proof of Artyn's constant with my own eyes. Fortunately, I applied to attend the conference."
"It was really exciting just now. Wang Hao is definitely a super genius. He wrote all the proofs in one go. There are still many people taking pictures on the podium."
"Looking at the organizers of the conference, it seems that they want to protect a few whiteboards, or even keep them as treasures..."
"That's something very meaningful!"
In the process of continuous discussion, many people are also doing science popularization. Artin's conjecture is not a well-known mathematical conjecture. Most scholars only understand the content, and few people specialize in research.
Artin's conjecture is a conjecture in the field of number theory, related to the step-by-step rule of prime numbers. The content is that any integer that is neither a square number nor -1 is the primitive root of infinitely many prime numbers.
From this we have the ‘Artyn constant’. The definition of Artyn constant is as follows--
If this integer is not a power number, and the remainder of its square-free factor divided by 4 is not 1, then the density of these prime numbers in the set of prime numbers is 0.3739558136.
This is Artyn's constant.
Arting's conjecture is an unproven mathematical conjecture. Arting's constant, which is related to the distribution of prime numbers, is naturally an unproven value, and it is not even certain whether it exists.
Wang Hao proved the existence of the ‘law of primitive roots of prime numbers’ and at the same time proved that the range of constants is between 0.37 and 0.38.
It is not certain whether this constant is ‘0.3739558136’, but the range of ‘0.37~0.38’ is also defined.
Similar to the meaning of the proof, it is like weakening the twin prime number conjecture. The prime numbers with an interval of '2' are called the twin prime number conjecture. To prove that there are infinitely many twin prime numbers, it can be transformed into the argument 'there are infinitely many prime numbers with an interval of N'
.
When N=2, the twin prime conjecture is naturally established.
It's very similar now.
Wang Hao proved that the range of the constant is between 0.37 and 0.38. As long as the range is continuously narrowed, it may gradually approach '0.3739558136'. If it is discovered that '0.3739558136' is not within the range, Artin's conjecture will naturally be wrong.
Other mathematicians can add other arguments to continuously narrow the scope of the argument.
The follow-up work is not important to Wang Hao. If others use his method, even if they prove Ating's conjecture, he can get the maximum credit.