再是问题了。这块郑希文可以说很有经验。
毕竟这些年他跟着乔喻见的数学家多去了。早已经习惯了这种事情。
事实也的确如此。甚至三个人只是开口寒暄就已经直接忽略了郑希文的存在。
「陶教授、舒尔茨教授好久不见。」
「不只是很久没见，你甚至没认真回过我发给你的那些邮件，现在回想起来，我之前收到的很多前言不搭后语的邮件都是七月代你回复的我吧？」
乔喻笑而不语。
事情的确是这么个事情，但当面承认味道就不对了。显得他对这些前辈数学家不太尊重。
所以哪怕陶轩之直接这么问，乔喻也不会承认，任何场合都不会承认。
于是直接岔开了话题：「时间不多，咱们不聊这个，还是单纯聊聊数学吧。你们对元数学怎么看？」
彼得·舒尔茨立刻反问道：「这得看你说的是数学本身还是由元数学所支撑的机器意识。」
乔喻摇了摇头，说道：「不，两者不能分开来看。元数学的本质是用数学定义意识。
一切推理都是基于这一点来的。
所以元数学存在的意义就在于让机器拥有一种类人的数学意识。如果两者分开来看，
元数学就没有意义了。」
彼得·舒尔茨想了想，然后点了点头。
等待跟乔喻见面这三天时间他跟陶轩之也没干等着。
两人一起反复的重新审视乔喻在报告会上所讲的内容跟那些PPT，算是做足了功课。
不说是已经将元数学融会贯通了，但绝对也比除乔喻外其他人的理解要深刻的多。
加上两人在数学方面的天赋本就毋庸置疑的，之前又做过类似的工作，乔喻一句话就让彼得·舒尔茨有醍醐灌顶的感觉。
顶级数学家之间的交流本就是这么朴实无华。
「嗯，所以元数学可以理解为数学意识本体论的构建。核心就是建立了意识现象的数学可定义性。」
彼得·舒尔茨点了点头了然道。
「对，所以七月又或者下一代人工智能跟元数学的发展是相辅相成的。
可计算性、意向收敛跟伦理相容是其最显著的特征。最终的目标是让机器层栈的跃迁间去理解为什么自身的存在性。
而不是单纯的在代码的循环里去按照指令处理事务。当然我并不是说需要机器具备创造性，但起码通用人工智能能够理解它在做什么，以及为什么要这么做。」
「会有危险吗？」陶轩之很严肃的问了句。
这三天研究元数学之余，两人当然也参与了一些学术界的讨论。
针对通用人工智能的安全性，可不止是网络上吵的热闹，学术界的意见同样并不统一也同样有很多人觉得应该立刻终止这项研究。毕竟如果未来机器真的统治人类了，从某种意义上说，人类还真没有反抗的余地。
尤其是现代各类自动化技术