Chapter Eighty-Three: Shocking Mathematical Arguments at the Computer Conference!
The No. 1 lecture hall was crowded with people, but it was silent.
Everyone stared carefully at the young figure on the report table who was constantly making money on the whiteboard, and he didn't seem to even think about it, he just wrote one content after another on the whiteboard.
He's really young.
He was so young that he was younger than the normal attendees in the venue, including the doctoral students who were brought over, most of whom were older than him.
At this moment, he is the center of attention.
Everyone kept looking over, and some people were whispering and talking, and the topic was always inseparable from the figure on the stage, "What is he doing?" What to write? It's like making an argument. ”
"Seems like a purely mathematical argument? He just said 'very inspired', is it to make a proof on the spot? ”
"What proof is it? It's a little hard to understand. ”
The first row of guest judges were also discussing this issue.
Pete Schultz sits on the right side of the first row, and to his left is the famous Turing Award winner Yao Zhiqi, who founded the famous 'Yao Class' at Mizuki University and has worked for more than a decade.
Now that I'm old, I'm still shining in the field of education.
This time I came to the computer conference because I knew that there was a new algorithm, and I was very interested in it, and he followed the train of thought until the end, and he still feels a little tired.
He still turned his head to Pete Schultz and asked, "Mr. Schultz, there should be no problem with Professor Ma's question from Donggang University just now, right?" ”
Yao Zhiqi is a little uncertain, in terms of personal experience, I feel that Wang Hao's algorithm proof is already very perfect, and there should be no 'unbounded' unprovable, but I didn't think of how to prove it for a while.
Sitting next to him was the young Fields laureate, in his thirties, at the peak of his scientific research, inspired and energetic, and at this age when most of the world's top research, especially those that influenced the development of science, appeared.
Although Wang Hao has completed a kind of computer algorithm research, the process logic is mixed with a large number of mathematical concepts, and it is not easy to understand complex mathematical logic, but it is easier for top mathematicians to understand.
Pete Schultz stared at the whiteboard he was writing, his eyes didn't move, he just nodded lightly, "He just said that it is easy to prove it by using set theory and induction. ”
"Easy?"
Yao Zhiqi pursed his lips vigorously and did not comment on this, the difficulty of a problem is relative, an easy question for Pete Schultz, and for others, it may be a gap that cannot be crossed in a lifetime.
Pete Schulz was just a quick remark, but he was undoubtedly authoritative in the room, and even a few Turing Award winners couldn't compete with him.
One is because Wang Hao is doing theoretical and algorithmic demonstration, and mathematics is the foundation of everything.
The second is also because of age.
The vast majority of Turing Award winners won awards based on their achievements from 2,000 years ago, and the three Turing Award winners in the venue were all the same, the youngest of them was over 65 years old, and the other two were in their seventies.
At this age, people's thinking ability and energy will decline significantly, and they can no longer compete with young people, and Pete Schultz is the kind of super genius, before he got Fields, he was considered one of the smartest people in the world, and he was also one of the most desirable people among Fields winners.
It was very interesting for Pete Schulz to get Fields.
Before Fields was selected that year, some institutions made bets on the list of candidates, and more than ninety out of five people chose Pete Schultz, and his acquisition of Fields can be said to be expected, and there is not even a little suspense.
Geniuses of this level are naturally the most authoritative figures when it comes to mathematics at academic conferences.
Pete Schultz's evaluation of the question was told to others by the people who were nearby.
Soon, the whole venue knew.
This news also made Ma Wenjun feel very disappointed, he felt that he had found a problem in the argument, which could not completely overturn the proof of the algorithm, but it was enough to lower the evaluation and influence of the algorithm by a notch.
But the Fields laureate affirmatively said that there was nothing wrong with the argument.
What else is there to say about this?
If it weren't for the curiosity of what Wang Hao was doing to prove it, Ma Wenjun would have wanted to leave the venue regardless of his face.
The reporters at the very edge of the venue knew the news, and they couldn't help but let out a long breath, they must have wanted to prove that there was no problem.
If Wang Hao's certification report is successfully completed, the emergence of a new algorithm that can attract the world's attention will definitely be very exciting news.
Wang Hao is also a pure domestic scholar, and the significance of news reports is even greater.
The reporters also began to inquire about what Wang Hao was doing, and they must not understand it at all, but they just wanted to understand it, and recently evaluated the way of thinking about the news.
So, what exactly is Wang Hao proving?
Everyone wants to know this question, and there are a few people who can read what is written on the whiteboard, but the number of people who can follow the train of thought and understand the proof is extremely rare.
Wang Hao's writing speed was so fast that he almost didn't even think about it, so he kept writing, which was faster than copying content.
Several Turing Award winners in the first row couldn't keep up with the train of thought.
They can understand what Wang Hao wrote, but their understanding speed is too slow, and they don't know what they want to prove.
Yao Zhiqi only vaguely feels that it is the content of number theory.
Jeffrey Hinton was also confused, he was sitting next to Yao Zhiqi, and further to the right was his granddaughter Helen.
He knew that Yao Zhiqi definitely didn't know, so he simply turned his head and asked Helen, "Can you understand the content above?" ”
"I don't understand it."
Helen replied very bluntly, but she still stared at the whiteboard seriously, and her eyes even radiated light, "But if I am not mistaken, it should be related to Artin's conjecture." ”
"Artin's conjecture?"
This word immediately attracted the attention of others, and then carefully followed and looked at the whiteboard, and immediately found that it was indeed related to Artin's conjecture.
Many people looked at Helen in surprise, and they didn't understand what they were doing, but they were seen by a little girl.
The little girl said that she couldn't keep up with the train of thought, but she was definitely very good at mathematics.
At this point, Pete Schultz corrected, "Not to prove the Atin conjecture, but to demonstrate the Atin constant." ”
Someone in the back row was suddenly confused, "Isn't it the same meaning to demonstrate Artin's constant and prove Atin's conjecture?" ”
"Not necessarily."
"If it's just an argument for Atin's constant, what if it's wrong?"
"Makes sense......
A lot of people were very shocked.
With Pete Schultz's simple explanation, everyone else understands it, and it's easier to look at the whiteboard to understand.
At least they knew what Wang Hao was arguing.
However, the vast majority of people can only watch, their speed of understanding is impossible to keep up with the speed of Wang Hao's writing, and it is simply impossible to keep up with the speed of thinking to understand.
Perhaps because it is a computer conference, many scholars' R&D fields are computer applications, and the research of pure mathematics and analytic number theory are fundamentally two unrelated fields.
The same goes for the members of the judging team on the left and right.
They also watched Wang Hao carefully in the process of writing the proof, even if they knew that Wang Hao was talking about the Atin constant, it was impossible to follow the train of thought to understand.
Fortunately, there are a few math bigwigs on the scene, even if they can't keep up with the ideas, they can slowly understand the proof.
The only person on the scene who can keep up with the speed of writing is Pete Schultz, who stares very carefully at the lines of content on the whiteboard, and his eyes have not moved from the very beginning to the present.
Then, the more he looked, the more surprised he became, and the expression was already written on his face.
Wang Hao completed the proof in one go, and changed three whiteboards halfway, and four whiteboards were listed on the report table by the staff, lined up in a whole row from left to right.
He finally completed the final step of proof, and then grabbed the pen with his hand, a smile that came from within.
Wang Hao turned his back to the crowd and reviewed the content from beginning to end, he just stood and watched quietly, and no one else came to disturb him.
Then, he walked to the very edge of the lecture table and stretched out his hand to show the crowd the four whiteboards full of proofs, "This is my latest research, and it should be called "The Boundedness of the Existence of the Atin Constant." ”
"These can prove the existence of the Atin constant, and at the same time, the numerical range of the constant is between 0.37~0.38."
"I thought, that's enough!"
After Wang Hao finished speaking, he smiled at everyone, and the venue was quiet, and everyone was digesting the content just now.
The first to applaud was Pete Schultz, who opened his mouth and said a few words, "Very powerful, very exciting, and very perfect!" ”
Then he clapped vigorously.
It was a heartfelt applause, and everyone else around them could see that they hadn't yet understood the whole story, but with Pete Schultz's affirmation, they all applauded.
The important thing is not to be able to understand, but to prove it right.
"Bang Bang Bang~~"
"Bang Bang Bang~~"
The whole venue was filled with applause, and even outside the door of the venue, many people applauded, they were not able to enter the venue, but it did not prevent them from knowing what was really going on in the venue.
The applause in the audience lasted for a long time, and after weakening a little, Wang Hao raised his hand and pressed it down, and said, "All the proofs are here, and there is nothing to explain." ”
"If anyone is interested, they can go back and understand slowly."
"Another ......"
Wang Hao walked to the lower part of the third whiteboard and drew a large circle around several paragraphs of proof with a black pen, "Regarding Professor Ma Wenjun's question just now, this paragraph should be the most powerful proof. ”
"Huh!"
Everyone looked at Ma Wenjun's position.
Ma Wenjun had a faint smile on his face, as if there was a kind of ease in which his questions were answered, but in fact, his mood was already a mess.
He knew that Wang Hao had succeeded.
Wang Hao not only succeeded in proving it, but also stepped on him hard by the way.
When the news report is released, his name will also be reported, but he is the one who is trampled under his feet to bring out Wang Hao's excellent background.
……
The morning meeting was seriously overtime, and it didn't really end until half past one, but no one complained about it, but talked excitedly about Wang Hao's proof.
Those who weren't there were just a lot of chagrin, and they all felt like they had missed an event.
"Atin conjecture" and "Atin constant" have also become the focus of scholars.
"Do you know what Atin is conjecture? It's certainly not as good as the top ten conjectures, but it's also a very powerful thing, and it's directly related to the distribution of prime numbers. ”
"I actually witnessed the proof of the Atin constant, and luckily I applied to come to the meeting."
"It was really wonderful just now, Wang Hao is definitely that kind of super genius, he wrote all the proofs in one go, and now there are many people taking pictures on the podium."
"Looking at the meaning of the conference organizers, it seems that they want to protect a few whiteboards, or even treasure them as treasures......"
"That's something very meaningful!"
In the process of continuous discussion, there are also many people who are carrying out popular science, and the Artin conjecture is not a well-known mathematical conjecture, and most scholars only understand the content, and few people specialize in research.
The Artin conjecture is a conjecture in the field of number theory, which is related to the step-by-step law of prime numbers, and the content is that any integer that is neither square nor -1 is the original root of an infinite number of prime numbers.
Hence the 'Atin constant', which is defined like this--
If this integer is not a power number, and the remainder of his unsquared factor part divided by 4 is not 1, then the density of these prime numbers in the set of prime numbers is 0.3739558136....
This is the Atin constant.
The Atin conjecture is a mathematical conjecture that has not been proved, and the Atin constant, which is related to the distribution law of prime numbers, is naturally an unproven value, and it is uncertain whether it even exists.
Wang Hao proved the existence of the 'primordial root law of prime numbers', and at the same time, the range of the proved constants was between 0.37~0.38.
Is this constant '0.3739558136...' I am not sure, but I also delineate the range of '0.37~0.38'.
The significance of a similar proof is like weakening the twin prime conjecture, and the prime numbers with an interval of '2' are called the twin prime conjecture, and to prove that there are infinitely many twin primes, it can be transformed into an argument that 'there are infinitely many prime numbers with an interval of N'.
When N=2, the twin prime conjecture is naturally true.
It's similar now.
Wang Hao proved that the range of the constant is between 0.37~0.38, as long as the range is constantly narrowed, it may slowly approach '0.3739558136...', if it is found halfway '0.3739558136...' Out of scope, Artin's conjecture is naturally wrong.
Other mathematicians can add other ways of making arguments to narrow the scope of the argument.
The follow-up work is not important to Wang Hao, and others can get the greatest merit with his methods, even if they prove Atin's conjecture.
That's why he said, 'That's enough.'"