第一百五十章 猜想开场
证的青年教师林川,本来正在开组会,和学生讨论下周的 Lean 验证任务。手机弹出消息,他扫了一眼,直接停住了话头。

    “组会先暂停。”

    学生们都愣住了。

    底下的学生面面相觑。

    “老师,PFR 那个猜想?真做出来了?”。” 林川敲了敲桌子,“这个证明如果成立,我们手上好几个形式化项目的底层逻辑都要变。都去听,认真记,回来我们开专题讨论。”

    十一点,消息已经冲出了清华。

    中科院数学与系统科学研究院,陈则民研究员坐在办公室里,刚审完一篇学生的论文初稿。

    手机上弹出同门群的消息,是清华的同学发的通知。

    他盯着屏幕看了半分钟,拿起手机,给自己带的三个博士生打了电话。

    “你们三个,下午去清华数学中心,听一场闭门报告。”

    “啊,陈老师,什么报告啊,我们下午本来要算那个加性组合的数值仿真。”

    “别做了,先去听报告。如果这个证明的主链路是通的,我们手里那三个课题,方向全部都得重新调整。”

    电话那头安静了几秒。

    “真的假的?他不是刚做出江氏砖吗,才几天啊,又搞定PFR了?”

    “他用几天时间做出来的不重要,重要的是东西。” 陈则民解释说,“能进去听就认真听,记好笔记。进不去就在外面等,看看有没有会后交流的机会。这种级别的工作,能蹭到一点边角,都比你们闷头做三个月有用。”

    十一点二十分,北大数院。

    几个加性组合方向的博士生正在讨论室里啃三明治,一边翻最新的论文。

    其中一个人刷到了朋友圈,清华的同学发的,配文是下午有硬菜,定位是清华数学科学中心。

    他点进去一看,差点把三明治喷出来。

    “我靠,兄弟们,江临今天下午在清华开PFR的闭门会!”

    “扯吧?前阵子不还说只有个雏形吗?”

    “真的,我清华同学发的,名单制旁听。”

    几个人立刻围了过来。

    “校外的让进吗?”

    “不知道啊,我问问我导师。”

    其中一个博士生立刻给导师发消息。

    不到五分钟,导师回了。

    【我和清华那边打了招呼,你们三个过去,报我名字,能进。赶紧的,别迟到。】

    三人对视一眼,立刻抓起书包和笔记本就往外跑。

    “本来以为是圈内谣言,结果导师都让我们去蹭。”

    “这哪是蹭啊,这是去朝圣。”

    “说真的,我到现在都有点懵。PFR啊,我们博一的时候还在讨论这个猜想有多难,结果人家直接做出来开闭门会了。”

    走到校门口打车的时候,其中一人忽然想起什么,说:“哎,你们说韦老师会不会去?”

    另外两人脚步一顿。

    “他要是感兴趣,肯定会去吧。”

    ……

    十二点十分,资本圈也嗅到了风声。

    红图资本的科技投资群里,负责硬科技赛道的投资总监张敬,发了一句话。

    【

    群里本来在聊世界机器人大会的参展项目,瞬间拐了方向。

    【张总,PFR 是什么?和低熵工坊有关系?】

    【低熵工坊的创始人就是江临。之前我们以为他是个做机器人的创业者,现在看来,人家根本是先拿了数学领域的顶级成果,再下场做工程。】

    【之前我们想约低熵工坊谈A轮,一直没约上,我还以为是对方故意拿乔。原来人家根本不是普通的硬科技创业公司,创始人是真的在同时做世界级的底层理论研究。】

    【那之前的估值模型得改了。本来以为G-01六足机器人是内核资产,现在看来,江临本人的数学能力,才是低熵工坊最值钱的东西。】

    投资人们的讨论方向瞬间发生偏移。

    不再有人谈论机器人公司的商业化落地周期,所有人的焦点都转向了创始人拥有世界级底层数学能力,对一家硬科技公司到底意味着多大的估值溢价。

    群里的首席合伙人最后定调。

    【别再提什么机器人展会期间顺路去展台看看这种轻慢的话了。对我们而言,G-01型机器人只是一个可见的入口,江临本人,正在变成低熵工坊最难定价,也最无法被竞争对手复制的底层资产。】

    ……

    上午十二点四十分,消息被搬到知乎。

    数学分区下,一个新问题悄无声息地冒了出来,然后以惊人的速度往上冲。

    【如何评价江

    不到半小时,回答区就炸了。

    高赞第一是匿名用户,标注着清华大

本章未完,请点击下一页继续阅读>>