远後,李东站在原地想了一会。
到时候让米夏去和哈特对接吧。
......
推开公寓的门,李东走到了书桌前,打开了电脑。
此时屏幕右下角小黑球已经变成了一只小黑牛,正在那儿卖力的耕地,前蹄还刨了两下。
李东: ......
“小黑”
那只黑牛回过头来,头顶弹出一行字。
“主人,什麽事啊?小黑在工作呢。”
李东正准备问它关於偏移干扰的事,房间的门却被敲响了。
他有些奇怪,这个时间点应该不会有人来敲门啊。
李东疑惑地打开了门,只见门口站着的是园区後勤服务中心赵师傅。
赵师傅现在抱着一个很大的纸箱,气喘吁吁的,额头上都是汗。
“李东院士,这个快递写的是您这儿的地址。”
“但名字却不是您,您看看是您的东西吗?”
赵师傅将纸箱放在了地上。
李东也有些纳闷,他最近也没买过什麽东西啊?
然後低头看了一眼纸箱上收货单,收货人上写着两个字。
【黑牛】
李东: ......
“赵师傅,您就放这吧,是我,麻烦您了。”
赵师傅听见李东亲口承认,然後又看了一下收货人名字,差点没绷住。
李东一见他这个表情,脸更黑了。
赵师傅走後,李东将那个纸箱搬进了屋
这个纸箱很重,起码有好几十斤。
李东费了不小的劲才把它挪到了客厅地板上。
“小黑,你在网上买东西啦?”
正在耕地黑牛又在头上弹出一行字。
“是啊。”
自打李东把小黑拉来给计算机学部打工以後,小黑就需要和研究员们远程沟通。
李东也不可能每次都替他中转,所以就专门给小黑搭建了一条经过审计隔离出口。
而显然,现在小黑已经把这条通道的使用范围扩展到网购平台上。
“你哪来的钱买东西啊?”
“主人,小黑在工作有工资的呀。”
“而且小黑还解决两比特门自动标定流水线问题,陆老板还给小黑发了项目奖金呢。”
李东揉了揉有些胀痛太阳穴。
小黑说的这件事他是知道的。
当时陆炳军按所里制度报了项目奖金,这特麽还是李东亲自批。
可问题是,他不知道这是小黑做呀。
而且现在小黑还用这些钱来网购?
这是他完全没想到。
不过既然是小黑自己挣的钱,爱买就爱买吧。
“行吧,不过你买的什麽东西啊?”
李东看着客厅里放那个大纸箱问道。
“我给自己买的身体呀。”
李东: ???
身体?
他连忙蹲下去打开了纸箱。
将其中泡沫填充物取出来以後,纸箱里就露出来一台人形机器人。
白灰色外壳,流线型的躯干,关节地方还有柔性覆层。
纸箱最下面还有一份叠好的说明书,上面印着裕树科技的标志和型号——裕树g4。
这是裕树科技2030年发布的最新款人形机器人。
双足行走,全身有23个自由度。
载板算力跑的是端侧推理芯片,标配全固态电池续航大约8个小时。
李东把说明书翻了两下就将其放了回去,随後惊疑不定地问道。
“小黑,你能把自己调用到这个机器人里面了吗?”
“现在不行啊,主人。”
“为什麽?”
“小黑太大了呀。”
小黑家是需要具备可重构神经形态计算能力芯片或者是满足等效拓扑复杂度等价硬件系统。
这台机器人载板芯片只是一个普通端侧推理处理器。
算力连小黑神经拓扑快照都展不开。
“这还差的太远了啊,主人。”
李东叹了口气,他刚刚才还在想,如果小黑能住进这个机器人里面,那做饭,收拾屋子这些事岂不是就能落地了?
结果还是想太多。
“那你买它来干嘛呀?”
“先拿真机采集一些具身数据呀。”
“像什麽行走的,抓取,平衡,这些数据光靠小黑自己模拟是不准确,所以小黑想在真实物理环境里试一试。”
“而且主人,芯片算力正在进步啊,现在窄版芯片装不下小黑,不代表以後也装不下呀。”
李东想了想,好像是这个道理,而且这钱本来也是小黑挣,也没从他口袋里掏。
“行吧,那你慢慢研究, ”
李东说完就坐到了椅子上,然後又说道。
“小黑,我问你点正事。”
随後李东就把刚才在测控室看到情况说了一遍。
“你有解决的办法吗?”
“主人,你好笨呀,小黑当然没办法解决呀。”
“因为小黑能做事,都是主人你们现有科学体系里。”
“我只是把有的东西运用的很好,但如果这个体系里根本没有的东西,小黑一时半会也理解不了啊。”
“比如主人你这次遇到的问题,就是要找到一种数学结构,它能级位置能被一条显式公式全局锁死,相邻能级之间相互排斥,而且排斥的强度和间隙大小都可以严格证明。”
“如果主人可以找到这样的东西,就可以把纠错码逻辑子空间装进能级之间的间隙里,这样偏移就不会出现了。”
“可这样的东西,小黑不会呀。”
李东看到小黑的话,沉默了。
要知道小黑在青龙学习小组的判定里是初级人工智能。
它可以学习,也可以推理,甚至还可以在已知的知识边界上做一些有限的延伸。
但它知识体系终归还是建立在人类现有科学之上。
人类遇到的困难,它同样也会遇到。
区别只在於它处理信息速度快得多。
李东正准备叹气的时候,脑子里突然想到了什麽东西。
刚才小黑说的什麽?
“小黑,你刚才说了什麽?”
小黑在屏幕上抠出一个问号,然後又重新说了一遍。
“我说主人,你现在缺了一种能级位置能被全局锁死,相邻能级相互排斥,间隙大小还可以严格证明的数学结构。”
李东看着这段话,他好像在哪里见过。
“能级位置,相邻能级,间隙有可证下界。”
这三个东西凑在一起,李东一下子就坐直了,他想起了黎曼手稿里那个神秘的符号。
在这几个月的时间里李东也知道了那个神秘的符号,其实代表的就是希尔伯特波利亚猜想。
1914年的时候,希尔伯特提出了一个想法。
如果黎曼ζ函数非平凡零点全部落在临界线上,那是否有这麽一个自伴算子,它谱恰好就是这些零点呢?
後来波利亚也提出了类似的想法,认为零点就应该是某个物理算子本征值。
随後,这个猜想就被众人视为证明黎曼猜最有希望的路线之一。
原因也很简单,因为自伴算子有一条铁律,就是它谱必须是实数。
而黎曼猜想说的,恰恰就是ζ函数全体非平凡零点实部都等於1/2。
也就是说,它们在临界线上位置全都是实数。
所以只要有人走完这条路,黎曼猜想也就被证明。
但这条路不是一步就能跨过去,它其实是要有两步。
而且一步比一步难。
第一步是要把这个算子构造出来,让它谱和零点对得上。
第二步呢,要严格的证明它谱不多不少,刚好就是全体非平凡零点。
这个谱里不能多一个零点,也不能少一个零点,相差一个,整个证明就全部作废。
第一步已经难住整个数学界100多年了。
至於第二步嘛。
整个数学界还没有人有资格谈论它。
从那以後,几乎每一代数学家都在找这个算子。
塞尔伯格是走得最远的一个。
他用迹公式在另一类曲面上证明了谱和几何之间存在精确的对偶关系。
这等於是在一个简化版模型里,把这条路走通了。
虽然不能直接照搬到黎曼zeta函数上,但他至少证明了这条路的方向没有错。
蒙哥马利也在70年代从另一个角度提供了证据。
他算出零点之间的统计间距规律,发现和物理学里一类随机矩阵特征值间距一模一样。
如果说零点背後真的没有算子,那这种巧合是无法解释的。
不过蒙哥马利当年只是证明了一个有限区间内情况。
而李东当年的论文则把这个结论推到了完整区间,这就更加坐实这件事并不是巧合。
零点间距分布和特征值间距分布,背後必然有一个算子。
100多年,一代又一代人接力地往前推着。
但到现在为止,也没有人真正构造出过这个算子。
李东当然也没有,他自己试过七套候选定义去破解那个符号。
结果全都失败了。
可现在小黑刚才说的那3个条件,突然给了他一个完全不同角度。
小黑并没有从空间出发,而是从需求出发的。
它告诉李东,这个算子谱必须满足什麽样的性质?
能级位置被显式公式锁定。
相邻能级相互排斥。
间隙有可证下界。
如果把黎曼zeta函数全体非平凡零点视为这个算子谱。
那麽零点位置就被黎曼,冯曼戈尔特显式公式全部锁死。
零点之间的统计间距也服从gue排斥。
间隙下界可以从显式公式误差项里直接推出来。
这3条全部对得上。
李东此时眼睛发光。
这条路他之前没有试过,如果走得通的话,他就能把那个100多年来从来没有人造出过来的算子构造出来。
把这条证明黎曼猜想的路第一步走完。
而且还能顺手得到一件副产品——一族普适刚性自伴算子家族。
也就是小黑刚才说的量子计算机那边缺的东西。
至於证明黎曼猜想的第二步,那是以後的事。
李东可没自信到认为自己可以一步就跨到底。
不过就算只跨过了第一步,也能拿到算子,刚性也可证,工程上完全够用。
而且到时候也可以判断他的猜测,去动黎曼猜想,能不能引出高斯。
想到这里,李东释然的一笑。
“果然啊,干什麽都跟黎曼扯不开关系。”
随後,他又重新坐回了书桌前,拿出了草稿纸
这时候电脑屏幕上小黑发来了一条消息。
“主人,你是要把那个数学结构算出来吗?”
“对!”
“那主人加油。”
屏幕上黑牛变得格外的欢快,尾巴甩的飞快
李东奇怪地看了他一眼。
“你这麽开心干嘛?”
“因为陆老板说了呀,等通用容错量子计算机做出来了,会给大家包一个大大红包。”
“这样小黑就有钱给自己买更大的房子了。”
李东苦笑地摇了摇头。
“行,到时候你自己挣钱自己买房。”
说完,他就低下头,在草稿纸上写下了第一行推导。
【设p遍历临界带内全体非平凡零点,将weil显式公式改写为算子核k(x, y)fredholm积分约束......】
李东思路很清楚。
他不准备先猜空间了。
而是先把谱全局约束翻译成核函数必须
(本章未完,请点击下一页继续阅读)