所以在国内的时候，才想第一时间看到徐源的证明过程步骤。

    不过现在好了。

    徐源提前拿出了证明过程，他们人却在外面。

    只能依靠视频片段中的内容，拿出草稿纸现场论证起来。

    过程中还会互相讨论。

    “你们快看这个步骤，巧妙又完全逻辑自洽，很难想象什么样的数学思维才能列出来。”

    “能将多种数学分支方法完全结合，实在难以想象。”

    “最令人惊叹的，难道不应该是大胆借助物理上的方法吗？”

    “后面的呢？”

    “咱们在这里，能不能看国内的直播？”

    ……

    就在众人的情绪被调动出来时，赫然发现视频中的内容看完了。

    想要关注后面，就只能观看直播才行。

    但他们人在外面，想看国内平台的直播，显然不是件容易的事。

    明明知道徐源正在证明霍奇猜想，却没有办法及时看到过程步骤，对数学家来说实在是太煎熬了。

    为此先前想请假不参加大会的几人，看向马智明的眼神也越发幽怨。

    “马院士。”

    “你真应该批我假的，这次真是遗憾大了。”

    马智明听到这句话，整个人也不免有些尴尬不知道该说什么好。

    可想到明天还要出席国际数学家大会开幕式，只得用强硬的口吻提醒。

    “行了。”

    “你们后悔过来我还后悔呢。”

    “赶紧回去休息。”

    “明天可还要参加开幕式。”

    “等回去后，除了能研究证明过程，还可以当面和徐源交流讨论。”

    众人听完虽心里有遗憾，却也不再多说什么。

    毕竟出门在外要讲大局。

    他们也不可能现在返回燕京。

    何况马智明讲得也有道理。

    于是接下来的时间，大家便都不再耽搁，纷纷离开回自己的房间。

    ——

    不过外网上面徐源的直播视频，经过大量传输发酵后也很快引起了数学学者注意。

    尤其有人在数学社区中提起后，很快便涌现出很多人留言发表看法。

    “你们看到那段直播视频了吗，我的天啊，徐居然敢公开证明霍奇猜想。”

    “我还是首次看到有数学家这么做。”

    “公开证明霍>> --