科技

李云鹏:潜心解决产业“沙漠化”的AI拓荒者

字号+作者:肖琳琳 来源:第一科技网 2018-06-14 17:11 我要评论() 收藏成功收藏本文

2015年的秋天,美国西海岸。身处于海关出境口的李云鹏平静而淡定,那时一心回归的他,为自己所设定的未来,或许并没有拓荒者——这个充满了激情与执'...

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年归国创立天数智芯。

1.遵循行业规范,任何转载的稿件都会明确标注作者和来源;2.原创文章,请转载时务必注明文章作者和"来源:第一科技网",不尊重原创的行为或将追究责任;3.作者投稿可能会经编辑修改或补充。

相关文章
网友点评