Chapter 126: I Actually Proved Kakutani's Conjecture?
Zhao Yi listened to what Luo Zhijin said, and thought that 'Hemen' was a big 'sect', but in fact, 'Hemen' was very small, and it was just a 'drama and entertainment'.
He Mingcheng has been doing research all his life, and it is impossible to have much time to take students.
He only accepted a student in a few years, just to see the good seedlings and be excited, and the cultivation is only to guide the learning, that is, to tell the students what to learn.
For example, Yuan Zhongchen.
When Yuan Zhongchen was a freshman at Yanhua University, he met He Mingcheng in the library, and the two talked for a while, and He Mingcheng found that Yuan Zhongchen's unique insights were almost equivalent to 'seeing the right eye', so he instructed Yuan Zhongchen what he should learn.
Yuan Zhongchen graduated from university and left Yanhua University.
He Mingcheng felt that Yuan Zhongchen was the most proud disciple, in fact, he had taken Yuan Zhongchen with him for more than three years, and he only told him what books to read, and helped answer what he didn't understand, and he didn't ask Yuan Zhongchen to do anything after graduation.
'Hemen' is a name that is made by students.
Seven years ago, when He Mingcheng's student, Ying Huaguo, won an international award for his research results, he said, "I want to thank my teacher He Mingcheng! I obtained my doctorate in the United States, but He Mingcheng is my most respected teacher, and I will always be a 'disciple of Hemen.'" ”
This is the origin of the 'Hemen disciples'.
Everyone else refers to He Mingcheng's students as 'He Men disciples', but no more than ten people can count out each person, and they can't make much waves when they are put together.
The so-called 'capable' is just a researcher, professor, doctoral supervisor and the like.
Academicians don't have to think about it.
He Mingcheng has done a lifetime of research, and he has not mixed up an academician rating.
These have nothing to do with Zhao Yi.
Zhao Yi returned to the hotel that night, carefully went through the process of proofing the paper, and tomorrow he was going to give a real speech on stage, and the people who came to listen to the lecture were all bigwigs, and he was also a little nervous.
That's like ......
Graduation project, thesis, the feeling that you are about to undergo a strict defense and examination!
Zhao Yi got up very early the next day.
In the morning, I went through the content of the paper again, and after reading it carefully, I found that there was no problem, so I was in the mood to go out and go around.
The presentation was given at 2 p.m.
When the time came to noon, many people came to Yanhua University, and there were many people gathered downstairs for graduate students, many of whom were top computer people, and some professors of mathematics and physics also came.
If it is a very professional computer algorithm, it can only attract people in the computer industry, and people from other disciplines may not be able to understand it, and they do not know what it is for.
'Valid vs. irrelevant carry filtering' is different.
The 'screening method' is summarized in the process of solving the Rubik's Cube calculation problem, and the Rubik's Cube calculation problem does not need a professional at all, and a junior high school student, or even a primary school student, can understand the meaning.
When a seemingly simple problem becomes a global problem, more people will pay attention to it.
So the people who came were also a bit miscellaneous.
When the time was about one o'clock, Zhao Yi also came to the graduate building, in order to reduce unnecessary trouble, he was taken by Xu Chao into the small room in the conference room, and he prepared for the speech seriously.
Snake eyes.
The meeting room was packed.
Zhao Yi walked into the venue on time, the cameras on both sides suddenly pointed over, he had a light smile on his face, his expression was relaxed and natural, and then he controlled the computer, opened the PPT, and started to speak according to the planned content.
This is actually no different from giving a speech with lines, which is to prove the process of deduction in detail.
It was supposed to end smoothly, but it was wrong to ask a question halfway through.
There is a professor named Li Yilai, who always asks tricky and strange questions, and he keeps asking about the steps related to college mathematics and theorems in the process.
Zhao Yi's answer was very easy.
When he knew some proof theorems and results, "Contact Rate" could help him solve the process easily, and he talked eloquently on the stage, the more he talked, the more confident he became, which made Li Yi more angry.
There is also a reason why Li Yilai finds faults.
His research project is algorithms related to 'data mining', but there has been no progress in two or three years, and he is planning to publish a paper related to optimization algorithms, and plans to apply for some scientific research funds.
The paper was written.
In his paper on optimization algorithms, the example given is related to the calculation of the Rubik's Cube, and he also said that the use of his algorithm can greatly simplify the amount of calculation, and as long as you continue to study deeply, you can find the most concise algorithm to solve the Rubik's Cube.
That's when the Rubik's Cube calculator appeared.
Li Yilai felt that his face was beaten, he was so angry that he almost smashed the computer, thinking that he couldn't apply for funds, and a computer was also worth a lot of money, so he was reluctant to smash it in the end.
Of course.
The most important thing is that the hard work is useless.
The most feared thing in the field of scientific research is that the research direction is the same, and the same direction will lead to the research of one party becoming useless.
Li Yilai was defeated at the hands of a high school student, and the grievances in his heart can be imagined, he can't say it yet, and he has to be glad that the paper was not submitted or published, otherwise it would really become a joke.
Now seeing the young high school students on the stage, everyone else is 'terrifying', Li Yilai only feels depressed and vomits blood.
'Effective and irrelevant carry screening' is not something that can be proved simply, and it needs to give people time to digest and understand in the middle, and it will also give opportunities to ask questions.
Li Yilai kept asking questions.
Li Yilai specializes in algorithm research, and his ability is still quite good, after he asked a few questions, he suddenly frowned, and then raised his hand again to ask.
Everybody else can't look at it --
"This Li Yilai wants to be faced!"
"What is a student embarrassed to do, the things he asks are obvious, and he shouldn't ask at all. ”
"Shameless!"
Professor He Mingcheng sat in the middle of the first row, not only listened carefully, but also lowered his head to take notes, and found that Li Yilai always interrupted, and the questions he asked were a little ridiculous, and he couldn't help frowning.
Li Yilai still said it, and he pointed out a real problem, "Zhao Yi, I noticed the proof process you just now, saying that all possible situations, after being analyzed and determined, will be classified as number one, that is, there is only one possibility left." ”
"It's not rigorous, you use a few algebraic theorems, but at the end of the summary, you get the results directly. ”
"If your proof process is correct, isn't that the same as proving the Kakutani conjecture?"
Li Yi sat down a little proudly after speaking.
The venue fell silent.
Everyone was discussing the process just now, because the process was a bit complicated and brain-twisting, and some of Zhao Yi was demonstrated and explained by computer methods, and others didn't notice.
Li Yilai reminded him, and everyone immediately noticed it.
Kakutani's conjecture, also known as the hail conjecture, is a mathematical conjecture that says that a positive integer x, if it is an odd number, multiply it by 3 and add 1, if it is an even number, it will precipitate an even factor of 2?, so that after several times, it will eventually return to 1.
Many people claim to have proved the Kakutani conjecture and have published a series of papers, but in fact, there is no 'recognized rigor' proof process to this day.
So conjectures are still just conjectures, not theorems that can be directly applied.
In Zhao Yi's proof process, the computer was used to demonstrate and explain, and it seemed that the process was very rigorous, but the content of the 'Kakutani conjecture' was used.
This is not wrong.
Li Yi's proof step is to analyze and determine each possibility in the case of infinite numbers, and when applied to the Rubik's Cube, there are only 27 twisting situations at most.
According to the research of mathematicians in Japan and the United States, all positive integers smaller than 7*10^11 conform to the law of the Kakutani conjecture, and if the number is larger than 7*10^11, it is almost just a theoretical number, and it is very difficult for the computer to determine and analyze them one by one.
Also, computers and math are different.
Mathematics needs the most rigorous proofs, theoretical numbers also need to be proved, and the ultimate goal of computer algorithms is to output correct results.
Even if there is a little flaw, the 'effective and irrelevant carry screening method', in the field of computer algorithms, is already a perfect algorithm and can be directly used.
Using mathematical thinking to explain that there is a problem can be regarded as 'picking a bone in an egg'.
There was a lot of discussion in the venue.
Most people admit that Li Yi's problem does exist, but Zhao Yi's proof process is completely no problem under the existing computer performance, and the most important thing for computer algorithms is to be able to output results, and it is more important to be able to apply them to practice than theory.
If the result is correct, the algorithm can be applied.
That's enough.
Stage.
Zhao Yi stared at the process on the screen, constantly thinking about Li Yilai's questioning words.
Kakutani conjecture?
It seems to be!
If the process is proved to be correct, it will also mean that the Kakutani conjecture is correct, and vice versa.
But it's 100% true!
Zhao Yi is quite confident that "Contact Rate" will not deceive people, he fully understands the proof process, and the "Kakutani Conjecture" is just a conjecture, not an inherent formula or theorem, and it is definitely not a "prerequisite" used in "Contact Rate".
So......
Zhao Yi thought quietly for five minutes.
Everyone in the audience thought that he had been hit, and Professor Luo Zhijin came over and wanted to come over to comfort him, telling him that computers and mathematics are different, and not to pay attention to Li Yilai's nonsense of 'picking bones in eggs'.
At this time, Zhao Yi raised his head, looked at Li Yilai seriously, and then simply stood up and walked in front of Li Yilai.
Others got out of the way.
"Hold him!" someone suddenly shouted, "Don't let him hit someone!
"Hurry!"
"Professor Li, be careful!"
Li Yilai pushed back in fright when he heard the shout, but there was no way back from the chair behind him, he was in his fifties, and his body was far from being tough, but he couldn't resist the punch of the young man.
Zhao Yi finally made a move.
He excitedly grabbed Li Yilai's hand and said very seriously, "Thank you, Professor Li! Thank you! Thank you, thank you." ”
"Huh?"
Li Yilai was a little confused.
Zhao Yi took a deep breath and said, "If you hadn't reminded me, I wouldn't have found out, I actually proved the Kakutani conjecture!"