聊聊我要做的计算

阿里云由王坚博士创立于2009年，迄今已经有十二个年头。在2008年王坚博士以首席架构师的身份加入阿里后，成立了集团研究院，第一批聚拢的团队就把我所在的安全团队调了过去，之后以集团研究院的班底成立了阿里云。在成立阿里云的第一天，王坚博士就在谈计算的概念。

在阿里云工作了这么多年之后，我终于在去年才渐渐理解王坚博士在谈的计算到底是什么，十年已经过去了。而随着2017年开始，我从网络安全转战城市大脑后，通过实践加深了对数据、计算的思考，在2019年开始由城市大脑逐步沉淀到AI平台的建设上。

我对计算的理解和大多数人不一样，在过去的几个视频里，我在不同场合不断阐述对计算的理解，有兴趣的朋友可以翻阅。我认为淘宝是一种计算，百度是一种计算，AI也只是一种计算。计算要解决的核心问题是模拟和预测的问题，计算机科学是通过机器来解决模拟和预测的问题。

我思考了很久，发现世界上存在一些真正难的问题没有被解决：为什么农业育种需要十年？为什么制成一种新药需要十年？为什么开发一款芯片需要数十亿美元，数年的时间？我们的气象预测还能更精准一些吗？

前些时我面试一个通过语义分析来做漏洞挖掘的博士生，他做的系统能够自动分析代码找到漏洞，我问他为什么没有把Github上所有的开源程序都分析一遍，然后我们马上都意识这中间依然存在着大量尚未解决的问题。

这些显而易见但又很难的问题，往往都被忽视了。

所有的这些问题，在大众看起来都可以用神奇的计算机解决，但是我们知道，这并没有那么容易。这类问题有一种共性：即时间不可压缩。在当前计算机科学的发展水平下，依然无法通过加大资源投入的方式缩短解决问题的时间。我们无法把育种的时间从十年缩短到一两年，制药也是如此。

根本的原因在于计算机没有很好的解决模拟和预测的问题。有数据的原因，有算法的原因，有算力的原因，也有可能是图灵机模型本身的原因。但归根结底，是一个系统性问题。

解决了这个系统性问题后，可以模拟，就可以创造。因此我的终极追求，是构建一个新的计算世界。因为模拟现有世界，完成其数字化的成本可能高到无法承受，既然如此，为何不直接创造一个新的数字世界？也许那才是未来。

但这不是乌托邦式的逃避现实，对现有世界的模拟依然有其重要意义。只是再怎么模拟，也无法实现真正意义上的数字孪生，因为数字化的成本超出了这个世界的承受能力。必须做一定程度的抽象，不能基于因果律和牛顿的机械宇宙观来做，因此精确的数字孪生是不存在的，一切都是概率和规律。但在模拟解决现实世界预测问题的同时，则可以沉淀出我们真正需要的计算系统。

我会投入我的余生来构建这样的计算系统和计算世界，而且我知道，这辈子我都干不完。

关注公众号：拾黑（shiheibook）了解更多

[广告]赞助链接：

四季很好，只要有你，文娱排行榜：https://www.yaopaiming.com/
让资讯触达的更精准有趣：https://www.0xu.cn/