"Just like how I studied your team’s paper, I have an intuitive feeling that the proof process might not cover all scenarios. It took a long ti before I suddenly got inspiration, thanks to Professor Elton’s insights."
Then Qiao Yu earnestly promised, "Of course, if I do co up with a solution, I’ll report to you right away."
...
The enthusiastic applause eventually erupted.
What happened next, Qiao Yu understood roughly, was that the exchanges happened after the eting.
Actually, he experienced this last ti, but he chose to slip away quickly and didn’t stay to discuss with the professors in detail. However, today was different; he stayed behind with Tian Yanzhen to join the discussions with many professors. He even had a al with a few invited foreign professors and Huaqing’s professors on Elder Yuan’s side.
Qiao Yu finally had the opportunity to engage in deeper exchanges with these big nas in mathematics.
Unlike the highly targeted questions during the lecture, the questions and answers after the eting were casual and divergent. For example, while chatting, they would evaluate and analyze so ideas and views recently proposed by certain professors; so were in agreent, others dismissive.
You can tell the relationship between certain individuals from small details.
anwhile, everyone also discussed so issues they encountered in recent research work. It wasn’t necessarily expected for others to provide answers; it was more about chatting to see if any constructive suggestions could co up.
During these discussions, it would often shift to discussing the research outcos of professors not present, continuously cycling like this...
In short, this type of exchange was more relaxed and covered a broader range of topics. If a topic of interest ca up, it could indeed be quite inspiring. For Qiao Yu, the biggest gain was that in just over an hour, he had learned the nas of several professors he hadn’t t before and the projects and outcos they were currently working on.
From this, you can see that there’s a lot of private exchange among these mathematicians. Even though the professors weren’t present, many professors on-site seed well-versed in their work progress, including Peter Schultz.
For instance, he learned from Professor Elton that Peter Schultz was recently collaborating with Microsoft’s computer scientist Kevin Buzad, busy working on the "Liquid Tensor Experint." It was a new term, but after the professors explained it, Qiao Yu roughly understood that it was about verifying the correctness of mathematical theories through computer-assisted formalization.
More specifically, Buzad’s team developed an interactive theorem-proving assistant called Lean, inviting Peter Schultz to collaborate. The specific work involves transforming complex mathematical theories into forms that can be verified by Lean.
This involves ticulously breaking down several mathematical theorems and propositions while ensuring that each step in the formalization process is accurate.
Qiao Yu felt that this was a thankless task since it sounded like it would require countless ti and energy. However, considering that the partner was Microsoft, Qiao Yu felt he could understand...
It must be that Microsoft offered too much!
Beyond that, Qiao Yu even heard these professors sharing many secrets of the math world, though he wasn’t sure if they could really be called secrets.
For example, certain quirks of certain big nas...
So even privately asked him about Director Tian and Elder Yuan, but Qiao Yu just laughed it off and evaded the questions...
The matters between the big shots, what did he know? He knew nothing!
In short, Qiao Yu always maintained a focus on academic matters, boldly expressing his views. As for the news in the math world, he listened as if they were stories, never making any comnts...
Besides communicating with the professors, he was also busy observing the interactions between Huaqing’s professors and Director Tian.
Initially, soone tentatively chatted with Director Tian. Upon discovering that Elder Yuan didn’t seem displeased, more and more people started conversing with Director Tian...
Fortunately, there was no direct exchange between Director Tian and Elder Yuan. When their eyes occasionally t, they quickly looked away, which relieved Qiao Yu.
Although he always thought he was honest with both big shots, he didn’t want them to sit together and settle scores. After all, even the smartest brain can’t always pay attention to every detail.
Maintaining this "neither too close nor too distant" attitude was pretty good.
With more collaboration and exchanges between Huaqing and Yanbei’s two research centers in the future, it would be best if the two big shots stayed in their respective domains.
While Qiao Yu was quickly calculating various ideas in his mind, he forgot one thing — in the digital age, everyone is part of the network, and professors are no exception.
He was just busy observing the expressions of Huaqing’s professors; who knew how many professors at the scene discreetly took out their phones to snap pictures of Yuan Zhengxin and Tian Yan standing together.
Yes, it wasn’t just Huaqing’s professors doing this; Yanbei’s professors were doing the sa thing.
After all, for Huaxia’s math community, this was absolutely a big event, a very significant event.
Originally, everyone thought these two big shots would probably never cross paths again in this lifeti. Who could have imagined that Tian Yan would suddenly appear in Huaqing Yifu Hall’s Century Auditorium, standing face-to-face with Yuan Zhengxin?
Qiao Yu just found it interesting, but to others, this was a scoop, a big scoop, a sensational math world scoop.
So you can’t really bla those professors in the back row for secretly fiddling with their devices as his special lecture began; they were spreading the news through their respective channels.
Of course, in all those photos of them together, regardless of the angle, if there were front-facing shots of Tian Yan and Yuan Zhengxin, there surely were front-facing shots of Qiao Yu, too.
Because he was standing with Tian Yan before and with Yuan Zhengxin after.
During the al, he simply sat between the two of them, maximizing his exposure.
Reviews
All reviews (0)