Top academic

Chapter 200 Where is your money?
In the afternoon, it was still the same venue, still packed with thousands of people, and Qiao Yu was still on the stage.

Two 60-minute presentations were arranged on the first afternoon of the International Congress of Mathematicians. Qiao Yu gave the opening presentation.

He is the youngest Fields Medal winner and has solved the world's difficult problem, the Riemann hypothesis. Apart from being too young and still an undergraduate student, there is nothing wrong with him.

And this is not difficult for the host.

The phrase "Dr. Qiao Yu" directly solved the pain point that the reporter was entangled in. In fact, Princeton did the same thing before.

When Frank arrived at the venue, he keenly noticed that many people around him had brought notebooks.

From this point, we can see how popular Qiao Yu's generalized modal axiom system is in the mathematics community.

Of course, this can also be seen from the fact that Dennis is eager to find Qiao Yu to cooperate with him.

It's like if we are separated from Qiao Yu's generalized modal axiom system, we can't continue to study mathematical problems. Have these people forgotten how everyone did research before this theory came out?

They are all opportunistic guys who want to take advantage of the situation. They want to study whatever is popular recently, but they will never achieve anything in their life.

Frank silently despised these people in his heart. Then when Qiao Yu appeared on the podium, he took out his recorder.

No matter what, he is on a different level from these people. After all, he is the father of the young man on the rostrum...

Physiologically, this cannot be changed!

At the same time, Qiao Yu had already sat on the podium and opened the PPT he had prepared long ago.

The topic of his lecture today 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 of mathematics in the post-generalized modal axiom system era.

But since everyone wanted to bring some content about Riemann's theorem, Qiao Yu naturally chose to follow suit.

Well, if Qiao Yu really wants to follow his idea, it would be perfect if he could just receive the award and leave.

Anyway, he has already won the Fields Medal, so it doesn’t matter whether he gives the report or not.

Unfortunately, it was not possible. Even Mr. Yuan, who doted on him the most, did not support this idea. This meant that it was definitely irrational.

“Dear teachers and friends, hello: I am very honored to give the opening speech at this International Congress of Mathematicians. We gather here today to explore the infinite boundaries of mathematics together.

What I want to share with you is a theme that has profoundly influenced modern mathematics: "The Development of the Generalized Modal Axiom System in the Era of the Qiao Yu-Riemann 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-level lecture, to be honest, it is still quite difficult to explain a complex mathematical system clearly.

However, Qiao Yu did not go into details.

After all, this is a huge topic. In fact, any topic that looks to the future is huge.

Soon the report came to an end. Qiao Yu also threw out three subsequent conjectures he proposed during the Qiao Yu Riemann Theorem era to everyone present.

After finishing his speech, Qiao Yu found that there were still two minutes left. Before the applause, Qiao Yu added a paragraph that he had not mentioned to the structural committee before.

Well, since Brother Chen had no interest in being named on another paper proving the Riemann hypothesis, he simply published it.

“In addition, my team and I have actually been considering 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 is to use the modal energy function to establish the equivalence between the spectral distribution and 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 functionals, it requires more calculations, so more things 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 indirectly prove the Riemann hypothesis by optimizing and pulling back all zero points that deviate from the path. 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 is clearer, which will help expand the influence of Qiao Yu-Riemann's theorem beyond number theory.

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, at this time many people in the audience were ready to applaud, but they 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 will be released later? And it can be released this year?

Wow, at the very beginning, two methods were set to prove the Riemann hypothesis?
So much so that Chen Zhuoyang in the audience became a rare animal. Really, when Qiao Yu said this on the stage, Tian Yanzhen subconsciously turned his head and looked in the direction where Chen Zhuoyang was sitting.

"Chen, did you really decide a long time ago to use two methods to prove the Riemann hypothesis?"

"Well... I only know the part I need to verify. The specific methods you know are all provided by Qiao Yu. Obviously, the verification process of my part will take some time..."

"Have you ever considered a change of scenery, Chen?"

"Um... I really don't have that. Actually, I think my life is pretty good now."

At this moment, Chen Zhuoyang felt really flattered. Fortunately, Chen Zhuoyang always felt that his greatest advantage was that he knew what was going on. At least he knew that he was not a genius research scholar like Qiao Yu.

This is also the reason why he refused to sign as the first author. He could be full just by following his junior brother to drink soup. As for being independent, he really couldn't do it.

After a brief moment of surprise, the mathematicians in the audience finally reacted, and when Qiao Yu walked off the stage, thunderous applause like a tide finally rang out.

……

After the two afternoon lectures, the first day of the conference came to an end. However, the highlight of the first day was the mathematician dinner in the evening.

For many mathematicians in the third world, the purpose of traveling thousands of miles to attend this conference at their own expense is to attend this dinner.

It's not that the food at the dinner is so delicious. It's mainly because the formal dinner of the International Congress of Mathematicians held every four years is definitely the best opportunity to make friends with big names.

They come to the temple of mathematics with their dreams in their hearts. If their project, or even just an idea, is noticed by a big shot, it means an infinitely bright future.

Of course, the chance of this happening is very slim. Probably 99.99% of people who hold this mentality will not have this opportunity.

After all, this requires not only strength, but also luck. For example, a big shot happens to have time and is in a good mood, and is willing to spend a few minutes listening to ideas that he does not hold high hopes for.

The mathematician just happened to have a few minutes to sell his idea.

But what can I say? We should always have dreams. What if they come true?

From this point of view, Qiao Yu is very lucky. Since he decided to embark on the path of mathematics, he has never experienced the situation of being unappreciated.

Someone has paved the way for him at every step, and he just needs to follow the steps.

And he seems to have become a big boss now.

The fact that a bunch of people lined up but couldn't see him was proof of this. Of course, this couldn't really be blamed on Qiao Yu.

For example, as a newly crowned 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 was from 6 to 8. The organizing committee also carved out 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 will be attended by all four Fields Medal winners this year.

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 Agence France-Presse. I would like to ask Dr. Qiao Yu..."

"Hello, I'm a reporter from the New York Times. I would like to ask Dr. Qiao Yu..."

"Hello……"

After the press conference, Qiao Yu felt dizzy. There was nothing he could do. Although four Fields Medal winners were attending, it was obvious that a lot of reporters were there just for him.

Except for a few sympathetic reporters, I don’t know whether it was because Qiao Yu’s mouth was almost dry from talking, or because the other three Fields Medal winners were too bored sitting on the stage.

Or perhaps they didn't want to embarrass their country's winner, so apart from asking the other three people a few trivial questions, the other reporters all went for Qiao Yu.

Of course, this cannot be entirely blamed on the journalists.

After all, Qiao Yu is more topical.

The youngest Fields Medal winner in history, and a particularly outspoken person, just at noon he made rude remarks to many reporters. This was the time when Qiao Yu was at his most popular, and everyone was looking forward to hearing some explosive topics from him.

Really, the video on Tik Tok where Qiao Yu said at noon that he kidnapped an alien has gone viral! It's so popular!

The most viewed video has been played more than 500 million times. Related videos have been played more than million times cumulatively.

Normal people would definitely not believe such exaggerated words! But as long as the number of netizens is large enough, they are definitely not all normal people!
Yes, Zheng Xiwen was right to worry, and many people actually believed it. Some people have already called on everyone online to take action together to rescue the aliens from the evil Chinese...

A fundraising campaign has even been launched, and the most surprising thing is that some people actually donated. According to the fundraising website, in just one afternoon, the campaign has raised $382.23.

Really, when Qiao Yu heard the news from the reporter, he was stunned. 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 questions in surprise.

"Impossible? Are Western people so poor now? The video was played over 300 million times in one afternoon, but a life-saving donation only raised more than US dollars? This is so disappointing! Where are the values ​​of freedom? Where is the spirit of fraternity? Where is the money?"

Really, when Qiao Yu said this, Jack Thorne, who was sitting on his left, subconsciously lowered his head and shrugged, while Alex, who was sitting on his right, turned his head and looked at Qiao Yu blankly...

Zheng Xiwen, who was standing below, looked up at the ceiling in silence. See, he knew that it was useless to just nag a child when he was disobedient, he still had to beat him...

But then again, this kind of guy who likes to make shocking statements happens to be the type that reporters like most.

The host who was maintaining order on the scene couldn't stand it anymore and took the microphone.

He first complimented the reporters on the scene for being professional journalists, and then directly asked the reporters on the scene to ask more professional questions related to academic research rather than some brainless questions. Only then was the subsequent reception able to proceed smoothly.

At least until the press conference was over, no one mentioned the question about aliens anymore...

……

"I'm sorry, Joe. You know, these reporters just love to chase after the most random hot topics."

After the press conference finally ended, Jack Thorne took the initiative to pull Qiao Yu and talk.

"Haha, I know, I was just joking with you guys." Qiao Yu said indifferently.

"Are you going straight to the banquet hall?"

"Well, it's still early. I plan to go back to my room 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 evening dinner, 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...

"Well, Peter Schultz 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, you're not going to the dinner?"

"No, I feel a little unwell. I might have caught a cold on the plane. I won't go to crowded places."

"Cold? Well, then you should have a good rest and don't miss 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 told me you needed to go back to your room, so I happened to be waiting for you here."

"Is there anything? We can talk while walking." Qiao Yu turned his head to look at Zheng Xiwen beside him, and Old Zheng simply slowed down his pace.

Peter Schultz asked, "Remember when you asked me what I was doing recently?"

Qiao Yu nodded and said, "Of course I remember that you worked with Microsoft's Lean community to participate in the liquid tensor experiment, hoping to formalize mathematical theorems and verify them using Lean."

Peter Schultz said eagerly: "So are you interested in this project? You know, if mathematics can be described in a unified language, it will greatly improve the efficiency of theorem provers.

In this regard, the generalized modal axiom system has great potential. In fact, not only me, but also Dustin Clausen is very interested in your research.

But now we lack people who are familiar with your generalized modal axiom system. You are undoubtedly the most suitable person. 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 reducing the workload of future mathematical research.”

Qiao Yu was a little hesitant.

To be honest, he is indeed 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-assisted proof tool.

The most valuable thing is the project itself and Peter Schultz's accumulation and research over the years.

The hesitation was naturally due to Qiao Yu's few remaining senses of morality.

The main reason is that I am now very familiar with Peter Schultz, and he has helped him a lot before, so it is embarrassing to criticize him directly.

If it was the same relationship as the group of people yesterday morning, Qiao Yu could agree without hesitation and get the previous research materials first.

Maybe in the future he will have the technology to help mathematicians prove and verify various theorems before Microsoft, or even go further.

But it's hard to start with something like this when you're too familiar with it...

So after hesitating for a while, he reluctantly said, "Peter, you know, I have a lot of work to do next. I may not be able to spare the time to do this."

"It's okay. I've discussed it with Dustin Clausen. You can cooperate with us in China. If we encounter any problems, we can communicate at any time using the conference software."

Peter Schultz said enthusiastically.

"Um...is this okay? After all, are you going to just send your research to me remotely?" Qiao Yu asked with a blink.

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 of specific projects is not open source. I have looked for your research, but no detailed information has been published.

And this may involve the definition of some standards 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 will not involve too many patents.

Of course, if during the research process, we really find a patent with practical application value, I think we can also discuss it.”

Peter Schulz explains with a laugh.

Qiao Yu blinked, a little bit unbelieving, Microsoft is so generous? !

(End of this chapter)