明，对他们意义很大。
所以在国内的时候，才想第一时间看到徐源的证明过程步骤。
不过现在好了。
徐源提前拿出了证明过程，他们人却在外面。
只能依靠视频片段中的内容，拿出草稿纸现场论证起来。
过程中还会互相讨论。
“你们快看这个步骤，巧妙又完全逻辑自洽，很难想象什么样的数学思维才能列出来。”
“能将多种数学分支方法完全结合，实在难以想象。”
“最令人惊叹的，难道不应该是大胆借助物理上的方法吗？”
“后面的呢？”
“咱们在这里，能不能看国内的直播？”
……
就在众人的情绪被调动出来时，赫然发现视频中的内容看完了。
想要关注后面，就只能观看直播才行。
但他们人在外面，想看国内平台的直播，显然不是件容易的事。
明明知道徐源正在证明霍奇猜想，却没有办法及时看到过程步骤，对数学家来说实在是太煎熬了。
为此先前想请假不参加大会的几人，看向马智明的眼神也越发幽怨。
“马院士。”
“你真应该批我假的，这次真是遗憾大了。”
马智明听到这句话，整个人也不免有些尴尬不知道该说什么好。
可想到明天还要出席国际数学家大会开幕式，只得用强硬的口吻提醒。
“行了。”
“你们后悔过来我还后悔呢。”
“赶紧回去休息。”
“明天可还要参加开幕式。”
“等回去后，除了能研究证明过程，还可以当面和徐源交流讨论。”
众人听完虽心里有遗憾，却也不再多说什么。
毕竟出门在外要讲大局。
他们也不可能现在返回燕京。
何况马智明讲得也有道理。
于是接下来的时间，大家便都不再耽搁，纷纷离开回自己的房间。
——
不过外网上面徐源的直播视频，经过大量传输发酵后也很快引起了数学学者注意。
尤其有人在数学社区中提起后，很快便涌现出很多人留言发表看法。
“你们看到那段直播视频了吗，我的天啊，徐居然敢公开证明霍奇猜想。”
“我还是首次看到有数学家这么做。
…。。