高小山在数学机械化研究中取得了系统与原创成果，对该领域的发展做出了重要贡献。他提出了几何约束求解的完整高效算法并解决了最佳空间并联机构构型与视觉定位基本问题，将机器证明开拓到自动作图新方向。
加入微软前，张亚勤已经在美国桑纳福多媒体实验室管理着一个近百人的精英团队。李开复找到他时，正值微软要在中国设立研究机构。虽然此前并不认识，但多人的推荐让李开复开始注意到这位科学家出身的管理者。
吴文俊先生从中国古代数学的思想中获得启发，提出了用计算机证明几何定理的方法，该方法在科技文献中被称为“吴方法”。这一项工作被认为是自动推理领域的一个里程碑，让他获得了国际自动推理学会最高奖。
“别看我们是做技术的，”一位行业内人士曾这样向CV智识感叹，“在这个圈子里，没有人脉，你同样玩不转。”只不过，这个圈子最宝贵的人脉可能既不来源于朋友，也不来源于家族，这个圈子更看学历、看导师。
中国的NLP学术研究领域有诸多值得尊敬的老先生，诸如马希文先生以及他的北大继任者俞士汶，再比如清华大学的黄昌宁，山西大学的刘开瑛，东北大学的姚天顺以及中科院的高庆狮、冯志伟，李生是与他们并举的学术大家，李生后来当选中文信息学会理事长、获得ACL终身成就奖都是其江湖地位的彰显。
1963年，他发明了首款头戴式图形显示器，这种模式在今天的头戴式虚拟现实显示器中继续得以应用。Marvin Minsky在当时率先提出了“远程呈现”（telepresence）的概念，通过微型摄像机和运动传感器等设备让人类“体验而不真实介入”，成为虚拟现实的先驱。
除了AI专家、创业者，Carol还有另一个身分：绘本作家。直到大学，Carol才第一次写程序，远远落后其他同学，这样的切身之痛让她深刻意识到：“Coding is the literacy in the 21st century.（编程是21世纪的基本能力）。[4]”Carol还提到，她的Role Model是Ada Lovelace[1]，世界首位计算机科学家，生于18世纪，她同样热爱交叉学
至此我们可以看到，张亚勤在百度任职的近五年时间，负责了多个业务群组，包括技术体系、自动驾驶、云计算、5G、量子计算、芯片，还包括百度国际化发展、金融和教育业务的探索。
他认为并不存在AI这个行业，只有AI+行业，AI需要与传统产业合作，而且这种关系是结合与赋能，绝不是颠覆，AI的价值是帮助传统产业提高生产效率，解放生产力。
大三上学期，他跑到当时教《计算机体系结构》的教授周学海的实验室，给老师和师兄打下手，成为实验室唯一的本科生。大四毕业时，陈云霁获得跟随中科院计算所研究员胡伟武硕博连读的资格，成为中国本土首款32位通用处理器——龙芯1号设计研发团队中最年轻的成员。
调研报告指出，过去几年，人工智能在金融、汽车、健康、安防、互联网服务、零售、企业服务、教育、工业制造等多个领域全面落地。排名第六的Salesforce CEO贝尼奥夫上榜则是因为发布了“爱因斯坦”人工智能系统，将机器学习、深度学习、预测分析及自然语言处理运用到了CRM平台上的每一条客户关系中。
