“测度变换那一套东西比我想象中的要难一些,不过问题也不大。”
李东听见米夏说的,心中微微有些诧异。
要知道连续鞅、伊藤公式、Girsanov变换,这三样东西正好是量化金融的数学内核啊。
米夏刚说完话,周向晴又凑了过来,一脸与有荣焉地说道。
“老师,米夏上个月刚拿了 IQC全球冠军。”
IQC这个比赛在数学圈里可能名气不算大,但是在量化金融圈里,它几乎就是选拔顶级量化研究员的最高舞台了。
全球有十几万人参加,最终能站在冠军位置上的那个人,一般情况下还没有走向领奖台各大头部量化机构的 offer就已经递到了他的手上。
而开出来的年薪,更是普通金融从业者一辈子都不敢想的数字。
米夏居然拿了冠军?
这可让李东有些刮目相看呢。
而米夏只是站在那里,也没说话,甚至表情都没怎么变。
李东对他点了点头。
“很棒,这可不是一般人能做到的。”
李东说完这句话,也没有再多说什么了。
不过他把这件事也放在了心里,随后几人又聊了几句,便各自离开了。
三人走远后,李东站在原地想了一会。
到时候让米夏去和哈特对接吧。
……
推开公寓的门,李东走到了书桌前,打开了电脑。
此时屏幕右下角的小黑球已经变成了一只小黑牛,正在那儿卖力的耕地,前蹄还刨了两下。
李东:……
“小黑”
那只黑牛回过头来,头顶弹出一行字。
“主人,什么事啊?小黑在工作呢。”
李东正准备问它关于偏移干扰的事,房间的门却被敲响了。
他有些奇怪,这个时间点应该不会有人来敲门啊。
李东疑惑地打开了门,只见门口站着的是园区后勤服务中心的赵师傅。
赵师傅现在抱着一个很大的纸箱,气喘吁吁的,额头上都是汗。
“李东院士,这个快递写的是您这儿的地址。”
“但名字却不是您,您看看是您的东西吗?”
赵师傅将纸箱放在了地上。
李东也有些纳闷,他最近也没买过什么东西啊?
然后低头看了一眼纸箱上的收货单,收货人上写着两个字。
【黑牛】
李东:……
“赵师傅,您就放这吧,是我的,麻烦您了。”
赵师傅听见李东亲口承认,然后又看了一下收货人的名字,差点没绷住。
李东一见他这个表情,脸更黑了。
赵师傅走后,李东将那个纸箱搬进了屋
这个纸箱很重,起码有好几十斤。
李东费了不小的劲才把它挪到了客厅的地板上。
“小黑,你在网上买东西啦?”
正在耕地的黑牛又在头上弹出一行字。
“是啊。”
自打李东把小黑拉来给计算机学部打工以后,小黑就需要和研究员们远程沟通。
李东也不可能每次都替他中转,所以就专门给小黑搭建了一条经过审计的隔离出口。
而显然,现在小黑已经把这条通道的使用范围扩展到了网购平台上。
“你哪来的钱买东西啊?”
“主人,小黑在工作有工资的呀。”
“而且小黑还解决了两比特门自动标定流水线的问题,陆老板还给小黑发了项目奖金呢。”
李东揉了揉有些胀痛的太阳穴。
小黑说的这件事他是知道的。
当时陆炳军按所里的制度报了项目奖金,这特么还是李东亲自批的。
可问题是,他不知道这是小黑做的呀。
而且现在小黑还用这些钱来网购?
这是他完全没想到的。
不过既然是小黑自己挣的钱,爱买就爱买吧。
“行吧,不过你买的什么东西啊?”
李东看着客厅里放的那个大纸箱问道。
“我给自己买的身体呀。”
李东:???
身体?
他连忙蹲下去打开了纸箱。
将其中的泡沫填充物取出来以后,纸箱里就露出来一台人形机器人。
白灰色的外壳,流线型的躯干,关节的地方还有柔性覆层。
纸箱的最下面还有一份叠好的说明书,上面印着裕树科技的标志和型号——裕树 G4。
这是裕树科技 2030年发布的最新款人形机器人。
双足行走,全身有 23个自由度。
载板算力跑的是端侧推理芯片,标配全固态电池续航大约 8个小时。
李东把说明书翻了两下就将其放了回去,随后惊疑不定地问道。
“小黑,你能把自己调用到这个机器人里面了吗?”
“现在不行啊,主人。”
“为什么?”
“小黑太大了呀。”
小黑的家是需要具备可重构神经形态计算能力的芯片或者是满足等效拓扑复杂度的等价硬件系统。
这台机器人的载板芯片只是一个普通的端侧推理处理器。
算力连小黑的神经拓扑快照都展不开。
“这还差的太远了啊,主人。”
李东叹了口气,他刚刚才还在想,如果小黑能住进这个机器人里面,那做饭、收拾屋子这些事岂不是就能落地了?
结果还是想太多。
“那你买它来干嘛呀?”
“先拿真机采集一些具身数据呀。”
“像什么行走的、抓取的、平衡的,这些数据光靠小黑自己模拟是不准确的,所以小黑想在真实的物理环境里试一试。”
“而且主人,芯片算力正在进步啊,现在的窄版芯片装不下小黑,不代表以后也装不下呀。”
李东想了想,好像是这个道理,而且这钱本来也是小黑挣的,也没从他口袋里掏。
“行吧,那你慢慢研究,”
李东说完就坐到了椅子上,然后又说道。
“小黑,我问你点正事。”
随后李东就把刚才在测控室看到的情况说了一遍。
“你有解决的办法吗?”
“主人,你好笨呀,小黑当然没办法解决呀。”
“因为小黑能做的事,都是主人你们现有科学体系里的。”
“我只是把有的东西运用的很好,但如果这个体系里根本没有的东西,小黑一时半会也理解不了啊。”
“比如主人你这次遇到的问题,就是要找到一种数学结构,它的能级位置能被一条显式公式全局锁死,相邻能级之间相互排斥,而且排斥的强度和间隙的大小都可以严格证明。”
“如果主人可以找到这样的东西,就可以把纠错码的逻辑子空间装进能级之间的间隙里了,这样偏移就不会出现了。”
“可这样的东西,小黑不会呀。”
李东看到小黑的话,沉默了。
要知道小黑在青龙学习小组的判定里是初级人工智能。
它可以学习,也可以推理,甚至还可以在已知的知识边界上做一些有限的延伸。
但它的知识体系终归还是建立在人类现有的科学之上的。
人类遇到的困难,它同样也会遇到。
区别只在于它的处理信息速度快得多。
李东正准备叹气的时候,脑子里突然想到了什么东西。
刚才小黑说的什么?
“小黑,你刚才说了什么?”
小黑在屏幕上抠出了一个问号,然后又重新说了一遍。
“我说主人,你现在缺了一种能级位置能被全局锁死,相邻能级相互排斥,间隙大小还可以严格证明的数学结构。”
李东看着这段话,他好像在哪里见过。
“能级位置、相邻能级,间隙有可证的下界。”
这三个东西凑在一起,李东一下子就坐直了,他想起了黎曼手稿里那个神秘的符号。
在这几个月的时间里李东也知道了那个神秘的符号,其实代表的就是希尔伯特波利亚猜想。
1914年的时候,希尔伯特提出了一个想法。
如果黎曼ζ函数的非平凡零点全部落在临界线上,那是否有这么一个自伴算子,它的谱恰好就是这些零点呢?
后来波利亚也提出了类似的想法,认为零点就应该是某个物理的算子的本征值。
随后,这个猜想就被众人视为证明黎曼猜最有希望的路线之一。
原因也很简单,因为自伴算子有一条铁律,就是它的谱必须是实数。
而黎曼猜想说的,恰恰就是ζ函数的全体非平凡零点的实部都等于 1/2。
也就是说,它们在临界线上的位置全都是实数。
所以只要有人走完了这条路,黎曼猜想也就被证明了。
但这条路不是一步就能跨过去的,它其实是要有两步。
上一篇:我家艺人太没上进心了
下一篇:挨打永久加防御,神魔都打不动我