2015年的秋天，美国西海岸。
身处于海关出境口的李云鹏平静而淡定，那时一心回归的他，为自己所设定的未来，或许并没有拓荒者——这个充满了激情与执着的角色。毕竟，在硅谷的华裔技术精英里，他总是那么醒目。
心有猛虎，细嗅蔷薇。
“说AI取代人类，一定是历史没学好，这不可能”
——计算机出世，是哲学渐变的过程
处女座的天数智芯创始人李云鹏，自喻大杀器，一头扎进创业江湖，从此有了板书小王子的传说。
小个儿的他，胸怀大丘壑，撸猫嗜辣，出口成章，下笔成文，文采与代码齐飞，风趣共严谨一色，与传统印象中的技术派着实是相去甚远，极大的刷新了“攻城狮”单一呆板的固定画像，就像赵佶的作品里无意中混进了一副莫奈的《睡莲》，竟奇异的融合，相得益彰，大抵是技术派里的文青流，文青流里的技术派吧。
而李云鹏与天数智芯，缘起哲学派，他对于这几年争议甚嚣的“AI是否能取代人类”命题，用历史的方式作出了妙趣横生的解读。并认为，计算机的出现不是横空出世的发明，而是一个人类思想渐变和技术发展交互的产物。
天数智芯 CEO 李云鹏
“18世纪之前，数学与哲学，你中有我我中有你。”李云鹏娓娓道来。
两者间第一次有了偏离的定义，始于18世纪康托尔原始的集合论。
集合论作为数学中最富创造性的伟大成果之一，它萌发、孕育的历史源远流长，至少可以追溯到两千多年前。数学家们发现，从自然数与康托尔集合论出发可建立起整个数学大厦。因而集合论成为现代数学的基石。
“一切数学成果可建立在集合论基础上，这一发现使数学家们为之陶醉，但是他们陶醉的有些早。”李云鹏一本正经讲故事的样子，让人忍俊不禁。“1903年，突然跳出来一个人说：集合论是有漏洞的!这个人是英国数学家罗素，著名的罗素悖论就是这么诞生的。”
罗素悖论的核心表达一言以蔽之——“我在说谎，”这句话是真是假?从这天起，数学哲学终于分裂。哲学家维特斯根坦认为是否在说谎与他人无关，无需证明真假，这只是一种表达，由此，其名言“不可说”流传至今。而热衷于用数理逻辑分析哲学问题的数学家哥德尔在1930年证明了他的“不完全性定理”：即使把初等数论形式化之后，在这个形式的演绎系统中也总可以找出一个合理的命题来，在该系统中既无法证明它为真，也无法证明它为假。
“这个‘不可说’，佛也说过。”李云鹏幽默的玩笑道，“爱因斯坦的好朋友哥德尔强调的是，任何一个公理系统，人类认知中，一定有一条定理老天知道人不知道。同时，人知道的，或者说狭义的说计算机能做的，所谓可计算，可以通过严格的数学方式来决定。这是天数智芯成立之初的历史理论背景。”李云鹏继续讲到。
“1936年前后，众所周知的计算机之祖图灵机重新演证了哥德尔理论，由此明晰计算机界只做一件事情：哪些是可计算的，哪些是不可计算的，自然科学发展计算机分支就是由这条主线过来的，分为两个方向，确定性的和非确定性的。前者有数学公式可以一步步推导，有固定的规则遵循，比如说计算机看到0会向左走，看到1会向右走;而后者，计算机看到0并不知道是怎么回事，会先向左走了再说，然后再回来验证向左走是否正确，这是一个猜想验证的过程。前者容易后者难。”
“应用计算机科学发展到今天绝大多数的工作都是在做前者。从这个角度上来推演，人工智能计算只是计算机科学的分支，解决的依旧是可计算的问题中的较为简单的问题。而可计算问题中的难易之争，即著名的“P?=NP”一直没有被证明。
“所以，有人说AI会取代人类，如果了解了AI计算到底在干什么的话，没可能啦，一听就是科学史没学好。”李云鹏风趣的说到。
潜心解决产业“沙漠化”问题
——做智能数据时代基础软硬件系统拓荒者
李云鹏本来的专业是计算复杂性理论，“在南京大学、香港科技大学、威斯康辛麦迪逊大学就读都是理论计算机科学”,李云鹏说，“求学的时光就好像是在少林寺藏经阁研读内功心法”。2015年在收到甲骨文数据库研发组的Offer后，他来到加州旧金山湾区，沉浸于此十年，“从理论计算机，转身做计算机产业就好像少林寺弟子去龙门镖局跑镖，但是一直心系内功心法”，直到今天，李云鹏依然保持着对基础技术的炽热之情。
事实上，在每一个天数人的心里，大概都清晰的知晓自己的重要使命之一是——解决中国计算机产业“沙漠化”(缺“芯”少“魂”)的问题。
信息化发展至今，中国的核心技术能力与西方国家相比依然差距甚大，历史原因，国内信息产业起步较晚，研发体系和技术积累薄弱，经过多年发展虽与国际基本接轨，取得初步成效，但在计算机软硬件核心技术上的距离，依然不尽人意，一方面影响着使用体验，另一方面影响着市场占有率和正向循环良性生态链的建设，在芯片、操作系统、高端服务器等核心技术方面长期依赖西方，并没有形成完备的信息技术创新体系和能力。
“基础硬件系统与世界主流产品存在差距，操作系统、数据库、中间件和开发工具的应用和发展并不均衡，产业的推动和实施慢，亟待实现从行业突破到全面实施的良性格局，部分核心产品研发企业还在输血扶持，国产化应用缺乏，应用开发厂商主动低。”谈到这里，李云鹏明亮的音色暗沉了下来。
其实，还有情况更甚者，这些年，不少国内基础软硬件提供商没有完善的现代企业制度，没有创新激情与市场氛围，没有高水准的技术团队，更没有足够的用户去使用国内基础软硬件产品，由此产生恶性循环。资金的缺失，更显得雪上加霜。
“尤其是，自我发展完善的产业生态链尚未建立。以现今美国产业生态为例，Intel和AMD专注于CPU、微软专注于操作系统、Oracle专注于数据库、中间件等基础软件、HP和Dell等专注于整机，各IT巨头在特定领域持续投入，更加专注、专业的同时又互相协同、联盟，最终构建成辐射全球的信息产业体系，这对我们产业生态的构建，是很有借鉴意义的。”
“中国基础软件和高端计算芯片产业，基本上是一片沙漠地带，总要有人去试着建立绿洲。”他诚恳的说。或许，正是在这样的背景下，天数智芯应运而生，李云鹏选择拓荒守望。
想与做，对李云鹏而言，从来没有距离。他带着团队，正在以自己的节奏，从智能数据与AI算力的需求出发，围绕高端服务器系统，形成从芯片到一体机，从操作系统到数据库和应用软件和云服务，从底至上、软硬一体、拥抱云计算的完备技术体系，互相支撑，开放兼容，试图破解国产核心技术生态系统薄弱、上下游不衔接的难题。
“市场公认20年能做到，那么5年能不能做到呢?”李云鹏揣着深沉的愿景，期待着能拿回中国计算机软硬件系统市场的控制权。
智能制造时代的生逢其时
——“通用、标准、高性能AI计算先锋”
毋庸置疑，作为实现“智能制造2025”的必要条件，中国IT行业将全面进入“核心技术”的自主可控提升阶段。
其中，行业应用层的国产替代空间超过220亿元，而信息安全的增量资本开支预期有望保持在25%以上年化成长。在传统云计算投入保持20%以上的稳步成长预期下，科技巨头们加速边缘计算布局，2020年前后，全球有望实现超过150亿个的IoT设备实现链接，百亿级的新数据经济有望在安防、健康、税控、智慧政务等场景快速落地。
“这是最好的时代。我相信天数智芯能抓住机遇，成为行业先锋，实现技术的追赶和跨越。”李云鹏略有些兴奋的说。“我们的产品贯穿了AI产业链纵向的基础架构、通用技术以及行业应用三个层面，公司虽然年轻，份量却不轻。”
他坚定的认为，透过对基础技术的深耕，集合垂类应用的延展，充分的体现核心价值的快速更新与迭代。通过集成电路和基础软件的突破，最终必定会解决高端服务器芯片及基础软件的沙漠化问题。
“同时还有，针对AI计算，解决自主可控问题;通过应用级产品与云服务，在工业的转型升级过程中，去高度配合中国制造2025的战略。”李云鹏的战略蓝图里不经意间勾勒出天数智芯沉甸甸的使命感。
“情况其实并没有想象的那么糟，在部分AI芯片前沿创新领域，国内一些企业的技术能力已经达到了国际领先水平。这一方面体现在基础研究方面，基础研究能力开始与国际接轨甚至引领。另一方面体现在大批海外AI芯片领域专家和高端人才归国创业，比如天数智芯。”李云鹏略有些得意的说。
的确，天数智芯裹挟着国内堪称顶级豪华阵容的百人技术团队，多数人漂洋过海而回，可谓生逢其时。
“切入AI芯片领域的算法和系统公司逐渐增多，仅仅通过算法来实现商业变现会有瓶颈。如果将各自的AI核心算法芯片化、的确提升了原有性能。然而， AI计算正处于爆发增长期，软件算法快速、方便的变化，而芯片的研发周期较长，按照当前算法需求定义芯片需求，无异于赌博。天数智芯的AI计算芯片之所以追求通用、标准、高性能，便是要摆脱对算法的依赖，不仅仅对现有AI计算提供强劲支撑，而且要对各种高性能计算提供全方位的支持。在该计算体系，着眼的是以AI计算为代表的高性能计算最大公约数市场!目前国内在我们同一赛道上的，凤毛麟角。”李云鹏认真的说。
“同时，我们离场景很近，对场景真实需求有深刻了解，强大的软硬件一体化产品能力，市场营销渠道能力以及充足的资本储备是我们的优势，但这些并不能让天数智芯永远处在一个相对强势的地位，无论是携手合作、或直接竞争，都有着产业格局的不确定性，而我们能确定的是，始终如一的开放态度与共赢情怀。”
再过一个月，Intel就要50岁了，而苹果也已经度过了它42岁的生日，2岁半的天数智芯和年近不惑的李云鹏，或将迎来自己的里程碑时刻。6月22日，中国大饭店，AI智变，王者芯声，这场智能生态发布会，将揭开其全球首发的神秘面纱。
李云鹏，天数智芯创始人兼CEO。2002年毕业于南京大学计算机系，2005年获美国威斯康辛州大学麦迪逊校区(University of Wisconsin-Madison) 硕士学位，曾任美国甲骨文公司数据库部门研发总监。他曾带领一支横跨五个时区的跨国团队， 为甲骨文数据库拳头产品Oracle Database 11g、12c和Exadata的研发做出卓著的贡献， 专长于研发体系的组织和管理以及智能系统架构设计。2015年归国创立天数智芯。
|
