Qiao Yu began to make a final summary: "Thank you again for coming to today's special lecture. In addition, I have a wonderful idea. Maybe we can use a new tool to solve part of the geometric Langlands conjecture - The applicability of global consistency problems on complex singular points.

I even think that this tool may not be complicated. It only needs to allow us to locally reconstruct the geometric structure at such singular points to ensure that the local properties can be correctly globalized, so as to ensure that the Ambidexterity theorem remains at complex singular points. Applicable.

For example, construct a homology layer in the local geometric structure of the point, and somehow construct an operator that can operate on it. Of course, this is just an irresponsible assumption.

Unfortunately, today's time has come. I think maybe next time we meet again, we will be able to discuss a result. And I believe it must be a good result. This tool must exist, but it is still in the process of being brewed. Thank you Everyone!"

After speaking, Qiao Yu bowed slightly, but there was no warm applause from the audience that should have been heard. A few scattered sounds disappeared after Pan Jingyuan spoke. "Qiao Yu, can you tell me your solution?"

Qiao Yu simply shook his head and said, "I'm sorry, Professor Pan, it's really just an empty idea at this stage. I've said everything I can. You know, it's a pure mathematical intuition.

..

Just like when I studied your team's paper, I had an intuitive feeling that the proof process might not cover all situations. Then I thought about it for a long time and then, inspired by Professor Elton, I suddenly had inspiration."

Then Qiao Yu seriously promised: "Of course, if I really have a solution, I will report it to you as soon as possible." In the end, warm applause rang out.

Qiao Yu also roughly understood everything that happened next. The communication was all after the meeting.

In fact, he had experienced it last time, but he chose to leave quickly and did not stay to discuss in detail with the professors. But today was different. He stayed with Tian Yanzhen to join the discussions with many professors, and even talked to several professors.

The invited foreign professors and the Huaqing professors from Mr. Yuan's side had a meal together.

Qiao Yu finally had the opportunity to have more in-depth exchanges with these great professors in the field of mathematics.

It is completely different from the very targeted questions in the lecture. After the meeting, everyone's questions and answers are actually very casual and divergent. For example, while chatting, they will evaluate and analyze some ideas and opinions recently put forward by a certain professor.

, some approve it, and some disdain it.

You can tell from some small details what the relationship between so-and-so is with so-and-so

At the same time, everyone will also discuss some problems encountered in recent research work. Of course, it does not necessarily require others to give answers. Everyone just chats together to see if they can put forward some suggestions for construction.

As we chatted about this topic, we would turn to the research results of a professor who was not present, and the cycle continued like this.

In short, this kind of communication is easier and covers a wider range of topics. If you happen to encounter a topic of interest, you can indeed get a lot of inspiration. For Qiao Yu, the biggest gain is probably that in just over an hour, Qiao Yu's

There are several names of professors I have never met before, as well as the projects and achievements they have been working on recently.

It can be seen from this that these mathematicians communicated a lot in private. The professors were not present, but many professors seemed to know the progress of their work, including Peter Schulz.

For example, he learned from Professor Elton that Peter Schultz was recently collaborating with computer scientist Kevin Buzard of Microsoft Research and was busy doing "liquid tensor experiments." A new term, but

After the professors' explanation, Qiao Yu roughly understood that the correctness of mathematical theories was verified through computer-assisted formalization.

More specifically, Buzard's team developed an interactive theorem proving assistant called Lean and invited Peter Schultz to cooperate. The specific work is to transform complex mathematical theories into a form that can be verified by Lean.

This involves careful decomposition of multiple mathematical theorems and propositions, and ensuring that each step in the formalization process is accurate.

Qiao Yu feels that this is a thankless job. After all, this job requires countless time and energy. However, considering that the partner is Microsoft, Qiao Yu feels that it is understandable...

Microsoft must have given too much!

In addition, Qiao Yu even listened to these professors tell a lot of secrets in the world of mathematics. Of course, I don’t know if they are secrets. For example, some weirdos from a certain boss...

Some people asked him privately about Director Tian and Mr. Yuan, but Qiao Yu dismissed them all and bypassed them... What does he know about the affairs between the big guys? He doesn't know anything!

In short, Qiao Yu has always adhered to academic issues and boldly expressed his opinions. As for some news in the mathematics world, he listened to it as a story and never commented... In addition to communicating with professors, he was also busy observing Huaqing's The interaction between professors and Director Tian.

At first, some people tentatively chatted with Director Tian. After discovering that Mr. Yuan did not seem to be obviously unhappy, more and more people began to communicate with Mr. Tian... Fortunately, there was no conflict between Director Tian and Mr. Yuan. Even if they communicate directly, they will quickly look away once their eyes meet, which also makes Qiao Yu breathe a sigh of relief.

Although he has always been honest with the two bosses, people who like to dance on both sides still don't want the two bosses to sit together and reconcile accounts for nothing. After all, no matter how smart the brain is, it is impossible to do it at any time. Pay attention to every detail.

It's good to keep a detached attitude like this.

The Huaqing and Yanbei research centers will have more cooperation and exchanges in the future. It would be better for the two big guys to stay in their respective territories.

Qiao Yu, who was rapidly processing various thoughts in his mind, forgot one thing, that is, in the Internet age, everyone is a part of the Internet, and professors are no exception.

Just now he was looking at the expressions of the Huaqing professors. God knows how many professors there secretly took out their mobile phones and took pictures of Yuan Zhengxin and Tian Yanzhen in the same frame.

Yes, not only professors from Huaqing are doing this, but professors from Yanbei are also doing this. After all, for the Chinese mathematics community, this is definitely a big deal, a big deal.

At first, everyone thought that these two big guys would probably never interact with each other until the end of their lives. Who would have thought that Tian Yanzhen would suddenly appear in the Century Lecture Hall of Huaqing Yifu Pavilion and stand face to face with Yuan Zhengxin.

Qiao Yu just thought it was interesting, but to others, it was a big melon, a shocking big melon in the world of mathematics.

So we really can’t blame him for the fact that at the beginning of his special lecture, many professors in the back row lowered their heads and made small moves. In fact, everyone was spreading the news through their own channels.

Of course, all the photos in the same frame, no matter from which angle, as long as they show the front faces of Tian Yanzhen and Yuan Zhengxin, they must also have the front faces of Qiao Yu. Because he was standing with Tian Yanzhen before, and then with Yuan Zhengxin stood together.
Chapter completed!