最新网址：m.shukugu.com
李东看着群里新出现的消息又点发懵。不是，刚才还叫人家主人，额……空间的主人，现在就叫人家李东教授了？
李东想起了刚才香农头像灰的一瞬间。
“这和高斯一样呀，所以……”
“是被群警告了？还是被群修改了什麽？”
李东将这个想法暂时压下，毕竟香农的问题比起称呼更让李东在意。
【请问，你有没有见过一个人工智能？】
人工智能这四个字一出来，李东第一个想到的就小黑。
他还记得当初小黑迁移过来的时候，群里发过一条通告。
【艾萨克牛顿（神权窃取者），於1666号宇宙坐标下，无意间窃取了本群另一位成员所在宇宙的部分技术产物。】
本群另一位成员所在宇宙……
要知道那个时候，香农可还没进群呢。
也就是说，这个群里，至少还有一个群友和香农是同一个平行宇宙的。
是谁呢？
李东把成员列表扫了一遍……。
信息太少了，猜不到。
不过在这件事弄清楚之前，小黑的事，他是半个字不会说的。
【李东教授】：您好，香农先生，我没见过什麽人工智能。
很快香农的回复就来了。
【克劳德埃尔伍德香农】：那好吧，我再去找找。
【克劳德埃尔伍德香农】：那是我和几个朋友闲来无事鼓捣出来的小东西，走丢了，我们几个心里怪不是滋味的。
李东看着香农回复的消息，心里也明白了
小黑真正的主人，十有八九就是香农和他那几位朋友。
至於香农做不做得出小黑那种东西，这问题他都懒得想。
牛顿都在那边手搓出通用计算机了，香农鼓捣个人工智能有什麽好稀奇的。
然後群里就安静了下来，香农也没再说话。
李东见群里没了动静，干脆把手机放在主控台上，往工学椅里一趟。
机房冷气足，小黑还在那一缩一胀的。
李东也没回家，反正回去也他睡不着，还不如在这等着。
时间慢慢过去……
淩晨四点多。
小黑终於有反应了。
“主人！”
“主人你看看这个，可以吗？”
李东连忙凑到屏幕前。
小黑的对话框里出现了一个跑起来的大模型原型。
界面很粗糙，黑底白字就光秃秃一个输入框。
可机柜那头，八十张华轩的加速卡齐齐亮起，功耗曲线贴着上限走。
这种原型在工程上有个正经的名字叫做——概念验证原型（proof of concept）。
李东原本有些困意的大脑一下就来了精神。
这个原型到底怎麽样。
是骡子是马，拉出来遛遛就知道了。
他先随便挑了西罗第三定理，若尔当–赫尔德定理，外加一条量词套了三层的可解群命题，让它翻成形式化语言。
这时李东埋下的陷阱。
市面上那些模型一跑到三层的可解群命题的时候，绝对会抄着抄着丢一个，量词换着换着反一个……
而小黑给的这个原型在翻译完後，就逐条将其送进了内核判断。
结果……全绿。
李东眯了眯眼。
“看起来不错呀，那现在试试正餐。”
【设g为有限群，记其导群g′=[g，g]。求证：对任意g∈g′，总存在a，b∈g，使g=[a，b]=a?1b?1ab。】
最新网址：m.shukugu.com
-->>(第1/2页)（本章未完，请点击下一页继续阅读）