Lecture Hall No. 1 was crowded, but silent.
Everyone was staring at the young figure on the reporting table who was constantly writing money-making 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 the PhD 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 special 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 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 'unbounded' 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.
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. The same 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 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 winners.
Pete Schultz getting Fields is very interesting.
Before the selection of Fields that year, some organizations placed bets on the candidate list. 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 little suspense.
When a genius of this level reaches an academic conference and involves mathematics, he is naturally the most authoritative person.
Peter Schulz's comments about the questions were told to others by people nearby.
Soon, the entire venue knew.
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 wasn't curious about what Wang Hao was doing to prove, Ma Wenjun would have wanted to leave the venue without caring about his face.
The reporters on the fringes 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 wrote 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 they were too slow to understand and 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 straightforwardly, but she 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 guess?"
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 Schulz's simple explanation, everyone else understands, and it becomes easier to understand 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 simply two unrelated fields.
The same goes for the review team members on the left and right sides.
They also 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 to follow his thinking and understand it.
Fortunately, there were a few math masters on site, so even if you couldn't keep up with the ideas, you could still slowly understand 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 proof, then grabbed the pen with his hand, a smile from within on his face.
Wang Hao turned his back to the crowd and reviewed the contents from beginning to end. He just stood and watched quietly, 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 called "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 that's 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, who said a few words, "It's very shocking, very wonderful, and very perfect!"
Then he clapped vigorously.
It was a heartfelt applause, and everyone else around could see it. They didn't understand the whole thing yet, but with Peter Schultz's affirmation, they all clapped along.
What matters is not being able to understand, but being 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 in 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 slowly understand."
"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."
"Uh-huh!"
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 went out, his name would also be reported, but he was the one who was stepped on to highlight Wang Hao's excellent background.
…
The morning meeting seriously overtimed and didn't really end until half past one, 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 an important 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 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 'Artyn's constant'. The definition of Artyn's 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 Artin's constant.
Artin's conjecture is an unproven mathematical conjecture. Artin'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 constants 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, Ating The guess is naturally 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.
That's why he said 'enough is enough'.
