第150章 猜想开场（3 / 9）
做形式化验证的青年教师林川，本来正在开组会，和学生討论下周的 lean 验证任务。手机弹出消息，他扫了一眼，直接停住了话头。
“组会先暂停。”
学生们都愣住了。
“下午两点半，数学中心有一场 pfr/marton 的闭门技术校准会，江临主讲。” 林川把手机放到桌上，“所有做形式化验证、理论计算的，都去找系办报名，能进的都去听，组会顺延到明天上午。”
底下的学生面面相覷。
“老师，pfr 那个猜想？真做出来了？”
“v1.0 版本，今天刚进入审查。” 林川敲了敲桌子，“这个证明如果成立，我们手上好几个形式化项目的底层逻辑都要变。都去听，认真记，回来我们开专题討论。”
十一点，消息已经衝出了清华。
中科院数学与系统科学研究院，陈则民研究员坐在办公室里，刚审完一篇学生的论文初稿。
手机上弹出同门群的消息，是清华的同学发的通知。
他盯著屏幕看了半分钟，拿起手机，给自己带的三个博士生打了电话。
“你们三个，下午去清华数学中心，听一场闭门报告。”
“啊，陈老师，什么报告啊，我们下午本来要算那个加性组合的数值模擬。”
“別做了，先去听报告。如果这个证明的主链路是通的，我们手里那三个课题，方向全部都得重新调整。”
电话那头安静了几秒。
“真的假的？他不是刚做出江氏砖吗，才几天啊，又搞定pfr了？”
“他用几天时间做出来的不重要，重要的是东西。” 陈则民解释说，“能进去听就认真听，记好笔记。进不去就在外面等，看看有没有会后交流的机会。这种级別的工作，能蹭到一点边角，都比你们闷头做三个月有用。”
十一点二十分，北大数院。
几个加性组合方向的博士生正在討论室里啃三明治，一边翻最新的论文。
其中一个人刷到了朋友圈，清华的同学发的，配文是下午有硬菜，定位是清华数学科学中心。
他点进去一看，差点把三明治喷出来。
“我靠，兄弟们，江临今天下午在清华开pfr的闭门会！”
“扯吧？前阵子不还说只有个雏形吗？”
“真的，我清华同学发的，名单制旁听。”
几个人立刻围了过来。
“校外的让进吗？”
“不知道啊，我问问我导师。”
其中一个博士生立刻给导师发消息。
不到五分钟，导师回了。
【我和清华那边打了招呼，你们三个过去，报我名字，能进。赶紧的，別迟到。】 ↑返回顶部↑
“组会先暂停。”
学生们都愣住了。
“下午两点半，数学中心有一场 pfr/marton 的闭门技术校准会，江临主讲。” 林川把手机放到桌上，“所有做形式化验证、理论计算的，都去找系办报名，能进的都去听，组会顺延到明天上午。”
底下的学生面面相覷。
“老师，pfr 那个猜想？真做出来了？”
“v1.0 版本，今天刚进入审查。” 林川敲了敲桌子，“这个证明如果成立，我们手上好几个形式化项目的底层逻辑都要变。都去听，认真记，回来我们开专题討论。”
十一点，消息已经衝出了清华。
中科院数学与系统科学研究院，陈则民研究员坐在办公室里，刚审完一篇学生的论文初稿。
手机上弹出同门群的消息，是清华的同学发的通知。
他盯著屏幕看了半分钟，拿起手机，给自己带的三个博士生打了电话。
“你们三个，下午去清华数学中心，听一场闭门报告。”
“啊，陈老师，什么报告啊，我们下午本来要算那个加性组合的数值模擬。”
“別做了，先去听报告。如果这个证明的主链路是通的，我们手里那三个课题，方向全部都得重新调整。”
电话那头安静了几秒。
“真的假的？他不是刚做出江氏砖吗，才几天啊，又搞定pfr了？”
“他用几天时间做出来的不重要，重要的是东西。” 陈则民解释说，“能进去听就认真听，记好笔记。进不去就在外面等，看看有没有会后交流的机会。这种级別的工作，能蹭到一点边角，都比你们闷头做三个月有用。”
十一点二十分，北大数院。
几个加性组合方向的博士生正在討论室里啃三明治，一边翻最新的论文。
其中一个人刷到了朋友圈，清华的同学发的，配文是下午有硬菜，定位是清华数学科学中心。
他点进去一看，差点把三明治喷出来。
“我靠，兄弟们，江临今天下午在清华开pfr的闭门会！”
“扯吧？前阵子不还说只有个雏形吗？”
“真的，我清华同学发的，名单制旁听。”
几个人立刻围了过来。
“校外的让进吗？”
“不知道啊，我问问我导师。”
其中一个博士生立刻给导师发消息。
不到五分钟，导师回了。
【我和清华那边打了招呼，你们三个过去，报我名字，能进。赶紧的，別迟到。】 ↑返回顶部↑