虽说眼下他们是在外面，但既然在国内引起了这么大的热度，海外也肯定会有相关的消息。
就连马智明意识到这点后，也不再耽搁时间。
很快他们经过一番操作，果然成功找到了国内网友上传的直播视频。
他们一行人，不少擅长的领域都是代数几何。
并且研究拓扑学。
因此霍奇猜想的证明，对他们意义很大。
所以在国内的时候，才想第一时间看到徐源的证明过程步骤。
不过现在好了。
徐源提前拿出了证明过程，他们人却在外面。
只能依靠视频片段中的内容，拿出草稿纸现场论证起来。
过程中还会互相讨论。
“你们快看这个步骤，巧妙又完全逻辑自洽，很难想象什么样的数学思维才能列出来。”
“能将多种数学分支方法完全结合，实在难以想象。”
“最令人惊叹的，难道不应该是大胆借助物理上的方法吗？”
“后面的呢？”
“咱们在这里，能不能看国内的直播？”
……
就在众人的情绪被调动出来时，赫然发现视频中的内容看完了。
想要关注后面，就只能观看直播才行。
但他们人在外面，想看国内平台的直播，显然不是件容易的事。
明明知道徐源正在证明霍奇猜想，却没有办法及时看到过程步骤，对数学家来说实在是太煎熬了。
为此先前想请假不参加大会的几人，看向马智明的眼神也越发幽怨。
“马院士。”
“你真应该批我假的，这次真是遗憾大了。”
马智明听到这句话，整个人也不免有些尴尬不知道该说什么好。
可想到明天还要出席国际数学家大会开幕式，只得用强硬的口吻提醒。
“行了。”
“你们后悔过来我还后悔呢。”
“赶紧回去休