第195章 数学家的视角(1/2)
乔源最让老师们喜欢的一点,大概还在於他的行动力跟统筹能力。
前者保证了他有足够的驱动力去做事,后者则保证了他知道该如何去做这件事情。
比如定好了目標之后,乔源便开始设计燕北人工智慧兴趣小组的智能体內部通信协议。
在乔源看来,第一步要做的,依然是把这个通信协议本身转化成对应的数学问题。
毕竟这才是他最擅长的领域。
所以他需要解决的是异构系统间的同构映射与分布式状態的一致性收敛问题。
好消息是,第二个数学问题他已经在帮有为推进雅典娜的凝视这个项目时,解决了大半,很多结论可以直接拿过来用。所以重点就放在了第一个问题上。把问题翻译成人人都能听懂的说明就是如何让智能体a输出向量va能被智能体b准確理解乔源的解决方案简单粗暴。
首先直接定义一个协议本体,这个协议本质上是一个高维流形,所有智能体的输入输出都必须通过一个投影函数p:rn映射到这个公共流形上。要保证两个不同智能体能语义对齐,其实类似於数学中的同构概念。
智能体发送的消息需要包含一个元数据,这样接收智能体就能通过逆映射p“-1无损还原语义,同时还要確保每一次交互都是一个完整的代数闭环,没有信息熵的泄露。
然后是通信过程的代数结构。
这也是乔源最擅长的领域。
把每一次通信都看做一个群作用,就能满足其封闭性跟逆元的要求。只要保证所有请求都存在唯一的响应或者错误就够了……接下来是分布状態一致性,任务流拓扑结构,信道容量与噪声利用……
三天的功夫,乔源便做出內部通信协议完整思维框架导图。
周五上会討论,用大家的评价就是直接將抽象代数,包括群、环、域,以及图论、资讯理论全部揉碎之后,放到了这个框架里。至於这套方案行不行,小组里其实没人敢给出评价。
毕竞乔源的方案很大胆。
比如这种框架最底层的协议,其实有现成且已经相对成熟的解决方案,包括js0n-rpc2.0、aza、cp等成熟通用协议。但乔源却力排眾议,不用这些现成的协议,而是要重新用严格的代数结构从最底层开始重写协议……因为乔源觉得这个通用的通讯协议並不严谨,尤其是文本协议本身缺乏严格的数学约束,无法支撑他构想中的多智能体实时交互。虽然大家很多疑虑,不过最后投票的时候,还是全票通过赞成了乔源的方案。
原因大概是多方面的。
一来乔源战绩可查;二来这本就是个非官方性质的兴趣小组,没有什么任务要求,还能拿钱……拿的钱还是人家企业定向投给乔源的研究资金。
从某种意义上说,哪怕是小组里的教授都得叫乔源一句老板。
更別提这块的工作还都是乔源做的。分配给他们的事情並没有变多,不同意绝对是脑子进水。当然也並不是没有副作用。
开完会,回数学研究中心的路上,骆余磬很直白地给出了自己的看法。
“乔源,你是不是没打算在你博士毕业前完成这个项目了”
乔源:“为什么这么说”
骆余馨:“废话,理由我刚才会议上没说吗高维流形映射对算力要求极高,从理论转化到工程代码成本极大,且设计复杂环境验证的周期极长,短期內不可能实现工程落地!
你为什么就不能听听劝,最底层的基础通信跟身份认证,还是使用成熟的方案;中间层我们完全可以更成熟的知识图谱嵌入技术,来代替高维流形映射,可以有效降低计算复杂度。
你要做的群论通信规则跟形式化验证,就放到最高层的代数规则层来做。短期內能先做出拿的出手的成果才是最正確的选择。”很明显骆余罄是带了些脾气的。
毕竟这段时间,乔源压根没把心思放在这个兴趣小组这边,甚至之前说好了每周一次的会议,乔源都没保证每次都参加。所以每次会议跟总结都是骆余罄去做的。
结果乔源好不容易来开次会,把之前的准备全部推翻了重来。
可惜,乔源只是慢吞吞的反问了句:“那你刚才为什么也投了赞成票”
骆余罄瞥了乔源一眼,冷笑著答道::“那是因为要在外人面前给你面子!”
“哦…”
乔源点了点头,应了一声,隨后扭头看向旁边未名湖的风景……
其实看多了也没什么好看的。跟普通的湖泊差不多。
“其实我觉得也没你想像中那么难。”
骆余罄:“嗬……那我问问你啊,咱们的团队谁有分布式系统的开发经验全部从头开始谁给你的勇气”乔源:“没有经验可以慢慢来嘛,而且有为的工程师有经验啊,可以让他们帮忙指导。
咱们小打小闹有什么意思。要让履歷好看,还是得做出点真正有用的东西。
再说了,总不能好处都让刘重诺拿了吧我能带著他拿诺奖,为什么就不能带著你一起去拿个图灵奖,对吧”骆余罄瞪了乔源一眼,说道:“我要图灵奖干嘛”
乔源想了想,说道:“好吧,图灵奖是没什么用。但如果我们成功了,说不定能为未来的人工智慧技术定义一个標准啊。你应该也记得徐工之前说过什么吧我们成了標准制定者,以后全世界都得按咱们提供的技术手册设计人工智慧。到时候我们合伙成立一个堪比微软的智能体標准化公司。我当董事长,你当ce0,公司官网想怎么玩就怎么玩。也没人管著了。而且到时候你还能一条心研究你的黎曼猜想。想像看,一个数学教授解决了黎曼猜想,大家只会觉得你在做本职工作。但如果一家科技公司的ce0解决了黎曼猜想,全世界都会为你疯狂的。美女ce0解决困扰数学家几个世纪的数学难题……”乔源隨口画著大饼,身边的女人的表情也越来越诡异。
好在手机这个时候响了,乔源都觉得挺好的,再不打断他,他都不好意思继续吹了。
本章未完,点击下一页继续阅读。