而且等到三位数学家真的聊起来，旁边多了个人就不再是问题了。这块郑希文可以说很有经验。
毕竟这些年他跟着乔喻见的数学家多去了。早已经习惯了这种事情。
事实也的确如此。甚至三个人只是开口寒暄就已经直接忽略了郑希文的存在。
「陶教授、舒尔茨教授好久不见。」
「不只是很久没见，你甚至没认真回过我发给你的那些邮件，现在回想起来，我之前收到的很多前言不搭后语的邮件都是七月代你回复的我吧？」
乔喻笑而不语。
事情的确是这么个事情，但当面承认味道就不对了。显得他对这些前辈数学家不太尊重。
所以哪怕陶轩之直接这么问，乔喻也不会承认，任何场合都不会承认。
于是直接岔开了话题：「时间不多，咱们不聊这个，还是单纯聊聊数学吧。你们对元数学怎么看？」
彼得·舒尔茨立刻反问道：「这得看你说的是数学本身还是由元数学所支撑的机器意识。」
乔喻摇了摇头，说道：「不，两者不能分开来看。元数学的本质是用数学定义意识。
一切推理都是基于这一点来的。
所以元数学存在的意义就在于让机器拥有一种类人的数学意识。如果两者分开来看，
元数学就没有意义了。」
彼得·舒尔茨想了想，然后点了点头。
等待跟乔喻见面这三天时间他跟陶轩之也没干等着。
两人一起反复的重新审视乔喻在报告会上所讲的内容跟那些ppt，算是做足了功课。
不说是已经将元数学融会贯通了，但绝对也比除乔喻外其他人的理解要深刻的多。
加上两人在数学方面的天赋本就毋庸置疑的，之前又做过类似的工作，乔喻一句话就让彼得·舒尔茨有醍醐灌顶的感觉。
顶级数学家之间的交流本就是这么朴实无华。
「嗯，所以元数学可以理解为数学意识本体论的构建。核心就是建立了意识现象的数学可定义性。」
彼得·舒尔茨点了点头了然道。
「对，所以七月又或者下一代人工智能跟元数学的发展是相辅相成的。
可计算性、意向收敛跟伦理相容是其最显著的特征。最终的目标是让机器层栈的跃迁间去理解为什么自身的存在性。
而不是单纯的在代码的循环里去按照指令处理事务。当然我并不是说需要机器具备创造性，但起码通用人工智能能够理解它在做什么，以及为什么要这么做。」
「会有危险吗？」陶轩之很严肃的问了句。
这三天研究元数学之余，两人当然也参与了一些学术界的讨论。
针对通用人工智能的安全性，可不止是网络上吵的热闹，学术界的意见同样并不统一也同样有很多人觉得应该立刻终止这项研究。毕竟如果未来机器真的统治人类了，从某种意义上说，人类还真没有反抗的余地。
尤其是现代各类自动化技术的发展，理论上来说，机器意识真的觉醒了，说不定还真能实现自我管理，自我生存延续「哈哈，陶教授，你怎么也跟外面的人一样杞人忧天？通用人工智能说破天了也属于生产力的一部分。
要说危险，核弹才是真的危险，妥妥的碳基生物克星。但该发展还不是一样发展？
更别提在数字搭建的思维逻辑里，机器意识终究只是类人思维，它们具备远超与人类均值的道德准则！」
第354章没有真诚，全是算计
对于乔喻来说，掌握了在数学上的巨大成就带给他最大的好处之一就是，很容易说服那些数学家们。
从某种意义上说，能在某个学术领域达到巅峰的人，他们虽然大都骨子里极为骄傲，
但性格中大都有着单纯的一面。
比如可能会比普通人更迷信权威的分析。
当然他们眼中的权威可能跟普通人眼中的权威不太一样。
能被天才认可的权威必然是在该领域更有能力且做不得假的那些人。
尤其是数论、基础物理这类学科。
作假？
不存在的，每一步推理都要禁得起包括他们在内全世界数学家的审视跟考究。
如果存在逻辑上的错误，甚至不是错误，只是某个小瑕疵，都会被指出来，
毕竟数学从来都是一门需要吹毛求疵的学科。
就好像当年安德鲁·怀尔斯解决费马大猜想同样不是一帆风顺的。
1993年这位数学界唯一的菲尔兹银质奖章获得者，在剑桥大学艾萨克·牛顿数学研究所的一系列讲座中，宣布证明了志村-谷山猜想，进而证明了费马大定理，可谓是意气风发。
这个消息也的确在当时震惊了整个数学界，成为全球性的头条新闻。
但没过两个月，审稿人之一的普林斯顿数学教授尼克·凯兹就在证明过程中发现了关键漏洞，而且还是一个基于欧拉系构造的严重缺陷。
这种漏洞可不是小修改就能解决的。而是能推翻整个结论的严重漏洞。
接下来就是长达一年多时间的修改。当然最终结果还是很好的。