?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!