这种忽视掉某个必要条件的证明毫无意义,但如果加上这个条件,前方基本算是绝路。

    早上8点半的时候,人已经到得差不多了,大家都在忙交流或者展示自己的成果,两块黑板,三两个人围坐在一起,就是一场小型的交流会。

    2号报告厅门口。

    “许青舟?”

    许青舟刚准备进去中,一道声音在身后响起,隐约能听出喊自己的名字。

    他转身,背后站着一个女生,目光正好奇地打量着自己。

    “你好?”

    许青舟打招呼,同时也在观察女生,她看起来大约二十五六,金发碧眼,脸颊上有着点点雀斑,长得很好看。

    女生伸手:“我是凯莎琳·米尔斯,很高兴见到你的,许。”

    许青舟顿时明白,这人就是蓝色皮卡的主人,笑着伸手:“米尔斯小姐,也很高兴见到你。”

    “许,你比照片好看。”凯莎琳夸赞。

    “谢谢,我也这么觉得。”许青舟对自己的颜值也是非常认可的。

    凯莎琳觉得这个夏国人有点不一样,不像其他人那样过分谦虚,“我们可以进去坐着聊,不然一会儿要没位置了。”

    俩人走进去,在靠中间地方找了位子坐下。

    凯莎琳说道:“我研究过克拉梅尔定理,可研究一周之后,就放弃了。”

    “米尔斯小姐主攻数论领域?”

    “叫我‘凯莎琳’。”

    凯莎琳轻轻笑着,又说:“我硕士选的是素数理论,现在跟着老师做离散数学方面的内容。”

    “很有趣的领域。”许青舟称赞。离散数学方面,就比如图论,集合论、逻辑等等,他的克拉梅尔猜想里,就用到了图论的知识。

    “比起听你的夸赞,我更想知道,你在证明克拉梅尔定理的时候,是怎么想到过渡到素数差值间距的函数相邻迭代表达式的。”