In the afternoon, the venue was still the same as before, thousands of people were still packed, and Qiao Yu was still on the stage.
On the afternoon of the first day of the International Congress of Mathematicians, two main 60-minute reports were arranged. Qiao Yu gave the opening report.
The youngest winner of the Fields Medal, and solved the world's difficult problem Riemann Hypothesis, except that he is too young and still an undergraduate, he has nothing wrong with him.
And this is not difficult for the host.
The phrase "Dr. Qiao Yu" directly solved the pain point that reporters struggled with. In fact, Princeton did this before.
When Frank arrived at the venue, he was keenly aware that many people around him had specially brought notebooks.
From this we can see how popular Qiao Yu's generalized modal axiom system is in the mathematical community.
Of course, this can also be seen from Dennis's eagerness to find Qiao Yu to cooperate.
It's as if we can no longer study mathematical problems without Qiao Yu's generalized modal axiom system. Have these people forgotten how everyone did research before this theory was born?
They are all opportunistic guys. They just want to study whatever is popular recently, and they will achieve nothing in their lives.
Frank silently despised these people in his heart. Then when Qiao Yu appeared on the podium, he took out his recorder.
In any case, he is on a different level from these people. After all, he is the father of the young man on the rostrum...
In a physiological sense, this cannot be changed!
At the same time, Qiao Yu was already sitting on the podium and opened the PPT he had prepared.
What he is going to talk about in today's lecture is "The Development of the Generalized Modal Axiom System in the Era of Qiao Yu-Riemann Theorem".
This is a revised topic. Originally, he only wanted to talk about the development process of mathematics in the era of post-generalized modal axiom systems.
But since everyone wanted to bring some content of Riemann's theorem, Qiao Yu naturally chose to follow the good path.
Well, in fact, it really depends on Qiao Yu's idea. If you can receive the award, it would be perfect to show off directly.
Anyway, he has already won the Fields Medal, so it doesn't matter whether he gives a report or not.
It's a pity that it doesn't work. Even Mr. Yuan, who usually favors him the most, doesn't support this idea. This shows that it is definitely unreasonable.
"Dear teachers and friends, hello everyone: I am very honored to give the opening report at this International Congress of Mathematicians. We are gathered here today to explore the infinite boundaries of mathematics.
What I want to share with you is a topic that profoundly affects modern mathematics: "The Development of the Generalized Modal Axiom System in the Era of Qiao Yu-Riemann's Theorem".
Today’s report will try to answer a key question: inspired by the Qiao Yu-Riemann theorem, how can the generalized modal axiom system lead mathematical theory to a more universal and profound future..."
…
Although sixty minutes is already a top-notch report meeting, to be honest, it is quite difficult to explain a complex mathematical system clearly.
However, Qiao Yu did not go into details.
After all, this topic is huge. In fact, any topic that looks forward to future development is huge.
Soon the report came to an end. Qiao Yu also threw out three follow-up conjectures he proposed during the era of Qiao Yu's Riemann Theorem to everyone present.
After finishing speaking, Qiao Yu found that there were still two minutes left. Before the applause started, Qiao Yu added something that he had not mentioned to the structure committee before.
Well, anyway, Senior Brother Chen was not interested in the signature of another paper proving the Riemann Hypothesis, so he simply published it.
"In addition, my team and I have actually been considering using two methods to prove the Riemann Hypothesis. The first proof process has been recognized by everyone, and everyone is already very clear about it.
The second method mainly uses the modal energy function to establish equivalence with the spectral distribution of the Riemann zeta function. The modal energy function is essentially a functional that measures the state of the system. My team is trying
Generalize it to the zero-point structure of the Riemann zeta function.
Because this method relies on the optimization process of the energy functional, the amount of calculation is larger, so there are more things that need to be verified. But the good news is that Professor Chen Zhuoyang, who is responsible for the verification work, has verified the preliminary results.
That is, under certain boundary conditions, the second method can bring back all zero points that deviate from the path through optimization, thereby indirectly proving the Riemann Hypothesis. It is expected that the relevant paper will be officially released within this year.
I believe that after the official release of this paper, everyone will have a deeper understanding of our generalized modal axiom system. Because the logical chain of its proof process will be clearer, it will help expand the scope of Qiao Yu Riemann's theorem beyond number theory.
influence.
As I just said, the beauty of mathematics is that it is always an unfinished journey. Finally, thank you all again, and I hope this discussion can provide some inspiration for your research."
Really, many people in the audience were ready to applaud at this time, but were stunned by Qiao Yu's last words.
Have you been using two methods to prove the Riemann Hypothesis?
Another method will be released later because it is too troublesome? And it can be released this year?
Good guy, at the beginning, two methods were set up to prove the Riemann Hypothesis?
So that Chen Zhuoyang in the audience became a strange animal. Really, when Qiao Yu said these words on the stage, Tian Yanzhen subconsciously turned his head and glanced in the direction where Chen Zhuoyang was sitting.
"Chen, did you really decide to use two methods to prove the Riemann Hypothesis a long time ago?"
"Well... I only know the part that I need to verify. The specific methods you know are all provided by Qiao Yu. Obviously, this part of my verification process will take some time..."
"Have you ever considered changing your environment? Chen."
"Um...that's really not true. In fact, I think my life is pretty good now."
At this moment, Chen Zhuoyang really felt flattered. Fortunately, Chen Zhuoyang has always felt that his greatest advantage is that he knows what he knows. At least he knows very well that he is not a genius research scholar like Qiao Yu.
This is also the reason why he refuses to be named as the first author. He can eat soup with his junior brother to his fullest. As for being on his own, he is really not good at it.
After a brief period of astonishment, the mathematicians in the audience finally reacted, and when Qiao Yu walked off the stage, a wave of applause finally rang out.
…
After the two lectures in the afternoon, the first day of the conference came to an end. However, the highlight of the first day was the mathematicians dinner in the evening.
For many third world mathematicians, the purpose of traveling all the way to attend this conference at their own expense is to enjoy this dinner.
It’s not that the food at the dinner is delicious. The main thing is that the formal dinner of the International Congress of Mathematicians held every four years is definitely the best opportunity to make friends with big shots.
Coming to the temple of mathematics with dreams in mind, if their project is even just an idea and is taken by a big boss, it means an infinitely bright future.
Of course, this chance is very slim, and probably 99% of people with this mentality will not have this chance.
After all, this requires not only strength, but also luck. For example, a certain boss happens to have time, is in a good mood, and is willing to spend a few minutes to listen to ideas that he does not have high hopes for.
It just so happened that the mathematician had a few minutes to sell his idea.
But what should I say? Dreams always have to be had. What if they come true?
From this point of view, Qiao Yu is very lucky. Ever since he decided to embark on the path of mathematics, he has never experienced such a situation where his talents were not recognized.
At every step, someone helped him pave the road well, and he just walked over step by step.
And he seems to have become a big boss now.
The fact that a bunch of people were queuing up but couldn't see him was proof. Of course, it's really not Qiao Yu's fault.
For example, as a newly minted Fields Medal winner, he must attend today's dinner.
But it's more than that.
The afternoon meeting ended at 4:50, and the dinner time was from 6 to 8. The organizing committee also found a little time from 5 to 5:30 to arrange a half-hour press conference.
However, this press conference is not specifically for Qiao Yu, but all four Fields Medal winners this year will attend.
In the words of Pierre L. Lion, President of the International Mathematical Union, this is to hope that more ordinary people can understand the outstanding mathematicians of the new generation.
…
"Hello, I am a reporter from AFP. I would like to ask Dr. Qiao Yu..."
"Hello, I am a reporter from the New York Times. I would like to ask Dr. Qiao Yu..."
"Hello……"
After a press conference, Qiao Yu felt dizzy.
There was no way, it was said that all four Fields Medal winners were participating, but it was obvious that a bunch of reporters were here for him.
Except for a few sympathetic reporters, I don’t know whether it was because Qiao Yu’s words were drying up, or because it was boring to see the other three Fields Medal winners sitting on the stage.
Or maybe he didn't want the winner of his country to look too embarrassed, so he asked the other three a few innocuous questions, but the other reporters all went to Qiao Yu.
Of course, this cannot be entirely blamed on the reporters.
After all, Qiao Yu is more topical.
The youngest winner of the Fields Medal in history, and very daring to speak out, he made rude remarks to many reporters just at noon. This was the time when Qiao Yu was at his peak, and everyone was looking forward to what Qiao Yu would say.
Some explosive topics.
Really, the video on Tik Tok where Qiao Yu said he abducted an alien in the middle of the day has almost gone viral! The popularity is so high!
The most viewed video has been played more than 5 million times. Related videos have been played a total of more than 20 million times.
Normal people will definitely not believe such exaggerated words! But if you can’t stand it, as long as the base of netizens is large enough, they are definitely not all normal people!
Yes, Zheng Xiwen is right to worry. Many people really believe it. Some people have already begun to call on everyone on the Internet to take action together to rescue aliens from the evil Chinese...
A fundraiser has even been launched, and what’s outrageous is that some people actually donated. According to the fundraiser website, in just one afternoon, the event had already raised $23.
Really, Qiao Yu was shocked when he heard the news from the reporter. What was even more surprising was that the reporter actually asked him what he thought about this issue.
So he immediately responded with a series of rhetorical questions in surprise.
"Is it impossible? Are people in the West so poor now? The relevant video was viewed more than 20 million times in one afternoon, but a life-saving fundraiser only raised more than 300 US dollars? This is so disappointing! What about the values ​​of freedom?
?Where’s the philanthropy? Where’s the money?”
Really, when Qiao Yu said these words, Jack Thorne, who was sitting on his left, subconsciously lowered his head and shrugged, while Alex, who was on the right, turned to look at Qiao Yu blankly...
Zheng Xiwen, who was standing below, raised his head and looked at the ceiling speechlessly. Look, he knew that if a child is disobedient, it is useless to just say a few words, he still has to be beaten...
But then again, this kind of guy who likes to say something shocking happens to be the type that reporters like best.
Even the host who was maintaining order at the scene couldn't stand listening and took the initiative to pick up the microphone.
First, he complimented the reporters at the scene that they were all professional reporters, and then directly asked the reporters at the scene to ask more professional questions related to academic research instead of mindless questions, so that the subsequent reception could proceed smoothly.
At least until the end of the press conference, no one raised the issue of aliens again...
…
"Joe, I'm sorry, you know, these reporters just like to chase those messy hot spots."
After the press conference finally ended, Jack Thorne took the initiative to pull Qiao Yu and said.
"Haha, I know, I'm just joking with everyone." Qiao Yu said nonchalantly.
"Are you going directly to the banquet hall?"
"Well, it's still early. I plan to go back to the room first and change a set of clothes." Qiao Yu replied.
In order to receive the award and give a report today, Qiao Xi asked Qiao Yu to wear a formal suit, which made Qiao Yu, who was used to wearing sportswear, feel very awkward.
As for the dinner party in the evening, Qiao Yu felt that there was no need to dress so formally. Well, at least he had to take off the tie that made him feel depressed...
"Okay, Peter Schulz just asked me to tell you that he wants to talk to you at the dinner later."
"Okay, see you at the dinner later."
…
"Frank, aren't you going to the dinner?"
"No, I feel a little uncomfortable. Maybe I caught a cold on the plane. I won't go to crowded places."
"You have a cold? Well, then you have a good rest and don't delay the report meeting the day after tomorrow. You know, this is very important."
"Don't worry, it won't happen! Lucas!"
…
Qiao Yu changed clothes and saw Peter Schulz as soon as he got off the elevator.
"Huh? Professor Schultz, I thought you were already in the banquet hall."
"Jack called me and said you wanted to go back to your room, so I was just waiting for you here."
"What's the matter? I was just walking and talking." Qiao Yu turned to look at Zheng Xiwen beside him, and Lao Zheng simply slowed down.
Peter Schulz asked: "Remember when you asked me what I was doing recently?"
Qiao Yu nodded and said: "Of course I remember that you cooperated with Microsoft's lean community and participated in the liquid tensor experiment, hoping to formalize the mathematical theorem and verify it using Lean."
Peter Schulz said enthusiastically: "So are you interested in this project? You know, if you can use a unified language to describe mathematics, this will greatly improve the efficiency of theorem provers.
In this regard, the generalized modal axiom system has great potential. In fact, not only me, Dustin Clausen is also very interested in your research.
But now we lack people who know enough about your system of generalized modal axioms. There is no doubt that you are the most suitable. Believe me, this is a very meaningful job.
If we can succeed in formalizing complex mathematical theorems, we will be able to use computers to verify many complex mathematical theorems in the future, greatly easing future mathematics research work."
Qiao Yu hesitated.
To be honest, he is indeed somewhat interested in this project because he is very interested in artificial intelligence.
Although lean is essentially an interactive theorem prover and functional programming language, its core is not artificial intelligence.
But for Qiao Yu, if he could participate in this work, he felt that he could try to combine this work with artificial intelligence and develop a dedicated intelligent theorem auxiliary proving tool.
The most valuable thing is the project itself and Peter Schulz’s years of accumulation and research.
Naturally, the hesitation was caused by Qiao Yu's limited sense of morality.
The main reason is that Peter Schulz is already very familiar with him now and has helped him a lot before, so he is too embarrassed to directly attack him.
If it was the same relationship as the group of people yesterday morning, Qiao Yu could agree without hesitation and get the previous research information first.
Maybe in the future, he will be able to have technology that can assist mathematicians in proving and verifying various theorems before Microsoft, and maybe it can even go one step further.
But this kind of thing is so familiar that it’s really hard to do it...
So after hesitating for a while, he reluctantly said: "Peter, you know, I have a lot of work ahead of me. I really may not be able to spare the time to do this."
"It's okay. I've already discussed it with Dustin Clausen. You can cooperate with us in China. If we encounter problems, we can communicate using conference software at any time."
Peter Schulz said enthusiastically.
"Um...is this okay? After all, do you think your research will be sent directly to me remotely?" Qiao Yu blinked and asked.
Peter Schulz asked in surprise: "Why do you think this is bad? Lean is an open source community."
Qiao Yu replied: "But as far as I know, the detailed research on specific projects is not open source. I have looked for your research and there is no detailed information published.
And this may involve some standard definitions in the future. You may not know it yet, but I also plan to start a company,"
"Haha, Joe, don't worry about these details. In fact, our research does not involve too many patents.
Of course, if during the research process, a patent with practical application value is discovered, I think it can also be discussed."
Peter Schulz explains with a laugh.
Chapter completed!