Chapter 200 Where is your money?
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 sixty-minute reports were arranged. Qiao Yu will give 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 points 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 point 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 without Qiao Yu's generalized modal axiom system, mathematical problems can no longer be studied. Have these people forgotten how everyone did research before this theory was born?
They are all guys who want to take advantage of others. I want to study whatever is popular recently, but I will have no future in my life.
Frank silently despised these people in his heart. Then when Qiao Yu appeared on the podium, he took out his voice 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 question. 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 just show off.
Anyway, he has already won the Fields Medal, so it doesn't matter whether he gives a report or not.
Unfortunately not. Even Mr. Yuan, who usually favored him the most, did not 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 does the generalized modal axiom system lead mathematical theory to a more general and profound future..."
……
Although sixty minutes is already a top-level report meeting, to be honest, it is still difficult to explain a complex mathematical system clearly.
However, Qiao Yu did not go into details.
After all, this subject is huge. In fact, any project 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 broke out, Qiao Yu added something that had not been mentioned to the structure committee before.
Well, anyway, Senior Brother Chen was not interested in the signature of another paper that proved 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 one 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, and my team is trying to generalize it to the zero-point structure of the Riemann zeta function.
Because this method relies on the optimization process of energy functional, the calculation amount 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 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 relevant papers 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 is clearer, it helps to expand the influence of Qiao Yu Riemann's theorem outside of number theory.
As I just said, the beauty of mathematics is that it is always an unfinished journey. Finally, thank you all again and hope that this discussion can provide some inspiration for your research. ”
Really, many people in the audience were ready to applaud, but were stunned by Qiao Yu's last words.
Have you been using two methods to prove the Riemann Hypothesis?
Another method is too troublesome so it should be posted later? And it will be released this year?
Good guy, two methods were set up at the beginning to prove the Riemann Hypothesis?
As a result, 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 a change of environment? Chen."
"Um... This is 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 that he is not a genius research scholar like Qiao Yu.
This is also the reason why he refuses to be named the first author. Even if I drink soup with my junior brother, I will be full. As for being on his own, he really can't do 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 report sessions in the afternoon, the first day of the conference came to an end. But 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.
Not that the food at the dinner was delicious. Mainly, 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 favored by a big boss, it means an infinitely bright future.
Of course, this chance is very slim, and probably 99.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 doesn't have much hope for.
It just so happened that the mathematician had a few minutes to sell his idea.
But how can I put it, dreams are always necessary. What if it comes 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 of underappreciating his talents.
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 to see him was proof. Of course, this can't be blamed on Qiao Yu.
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. 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 mouth was drying up after seeing what he said, or because it was boring to see the other three Fields Medal winners sitting on the stage.
Or maybe they didn’t want to embarrass the winner of their country, so after asking the other three a few innocuous questions, the other reporters all went to Qiao Yu.
Of course, the reporters can’t be entirely blamed.
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 when Qiao Yu was at his peak, and everyone was looking forward to what Qiao Yu would say. Explosive topics.
Really, the video on TikTok where Qiao Yu said he abducted an alien at noon has almost gone viral! The heat is so high!
The most viewed video has been played more than 5 million times. Related videos have been played more than 20 million times.
Normal people would definitely not believe such exaggerated words! But I 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 started calling 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 fundraising website, in just one afternoon, the event had raised $382.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.
Please...you...Collect_6Ⅰ9ⅠBookⅠ(Six\\\Nine\\\Book\\\!)
So he immediately responded with a series of rhetorical questions in surprise.
"Isn't it possible? Are Western people 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 liberal values? ?Where is the spirit of philanthropy? ”
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 in silence. See, he knows that if a child is disobedient, just saying a few words is useless, he still has to beat him...
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...
……
"I'm sorry, Joe, but 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 my room first and change my 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 in the evening, Qiao Yu felt that there was no need to dress so formally. Well, at least he has to take off that tie that makes him feel depressed...
"Well, 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 his clothes and saw Peter Schultz 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 were going back to your room, so I was just waiting for you here."
"What's the matter? We were 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 use Lean to verify it."
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 potential of generalized modal axiom systems is huge. In fact, not only me, but 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 best fit. Believe me, this is a very rewarding 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 to 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 can have technology that can assist mathematicians in proving and verifying various theorems before Microsoft does, and maybe he 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 have already discussed it with Dustin Clausen. You can cooperate with us in China. If we encounter problems, we can communicate at any time using conference software."
Peter Schulz said enthusiastically.
"Um...is this okay? After all, do you just send your research to me remotely?" Qiao Yu blinked and asked.
Peter Schultz 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 no detailed information has been 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.
Qiao Yu blinked and couldn't believe that Microsoft was so generous? !
(End of chapter)