马斯克的 AI 公司,12 人团队 4 位华人
马斯克今天宣布正式创立了 AI 公司 xAI,并将其目标定位于了解宇宙的真实本质(The goal of xAI is to understand the true nature of the universe)。
根据官网公布的简单信息,xAI 由马斯克领导,创始团队成员目前共有 12 个人,以及一位顾问 Dan Hendrycks,他目前担任人工智能安全中心的主任。和 X Corp 的关系,官网说 xAI 独立的公司,但将与X(Twitter)、特斯拉和其他公司密切合作,以实现他们的使命取得进展。
其团队成员之前曾在 DeepMind、OpenAI、Google Research、Microsoft Research、Tesla 和多伦多大学工作。他们参与并领导了 AI 行业一些最大的突破性发展,包括 AlphaStar、AlphaCode、Inception、Minerva、GPT-3.5 和GPT-4。
英伟达高级 AI 科学家 Jim Fan 认为,xAI 拥有一些独特的优势:
- 在 Twitter 上有大量的多模态数据:对话文本、图片和越来越多的长视频。基于最近的反机器人措施,xAI 目前是唯一一家拥有直接和合法访问如此庞大且每天不断扩大的语料库的 AI 公司。(当然,像 Google 和 Meta 这样的其他 AI 公司也拥有自己丰富的社交媒体数据来源。)
- Tesla FSD 团队拥有多年构建巨大训练集群(如 Dojo)的经验,更不用说大量高质量的 Tesla 车队数据用于机器感知。
- 如果他们将两者连接起来,Tesla Bot 将成为 xAI 大脑的物理体现(我之前曾介绍过 Tesla Bot 等人行机器人,参看《一年时间估值 4 亿美金,人行 AI 机器人可能要真的来了》 )。
除此之外,它还拥有一支全明星创始团队。Jim Fan 说他对这个人才密度印象非常深刻——读了太多他们的论文,数不胜数,他简单列了以下几个:
而在这 12 位创始团队成员中,有 4 位是华人,应该是目前 AI 公司里华人高管成员最多的一家 AI 公司了,如下图我做了红色标注,我简单了解了一下他们的背景,如 Jim Fan 所说,令人印象深刻:
首先是 Greg Yang(杨格),他是 xAI 的联合创始人,其大学时期的导师是丘成桐教授,之前是微软研究院的数学家和人工智能研究员,过去几年来在理解大型人工神经网络方面进行了极具原创性的理论工作。
Greg Yang 于 2018 年从哈佛大学获得数学学士学位,并在此期间赢得了最佳本科论文的 Hoopes 奖。他还在 2018 年获得了杰出本科生数学研究的摩根奖荣誉提名,并于 2019 年受邀成为全球中国数学家大会的演讲嘉宾。
根据智源社区去年对他的专访,由于对数学非常热爱,Greg 一开始就进入了哈佛大学数学系,但同时他非常热爱音乐,所以读完大二后就休学成为一名 DJ 去追逐自己的音乐梦想了。大概经历 1 年半时间后,他想清楚了自己未来的方向:AGI(通用人工智能)和数学。
再次短暂休学后,他开始沉迷于研究神经图灵机,并在回校后机缘巧合的丘成桐教授成为了他的导师,毕业后在菲尔兹奖获奖者丘成桐教授和另一位菲尔兹奖获奖者迈克尔·弗里德曼的推荐下,得到了时任微软执行副总裁沈向洋的认可,并加入微软雷蒙德研究院,于是开启了在 AI 神经网络等领域的研究(具体可参看智源社区的专访)。
今年 1 月份,Greg Yang 与另一位数学家也是 DeepMind 研究员的 Timothy Nguyen 做了一场对话,主题是 Large N Limits:随机矩阵与神经网络。
这场近 3 个小时的对话中,基本上把 Greg Yang 的求学成长经历以及研究成果都展现了出来,如果你感兴趣,可以在 YouTube 上去观看这个对话视频,下图左侧为 Greg Yang。
xAI 正式推出后,作为联合创始人的 Greg Yang 分享说,深度学习的数学是深刻的、美丽的,而且不合理的有效。为大型神经网络开发“万物理论”将是将人工智能提升到新水平的核心。相反,这种人工智能将使每个人都能以以前无法想象的方式理解我们的数学世界。Math for AI and AI for math! 他参与的一些研究文章也可以在这个网站看到。
第二位,Yuhuai(Tony)Wu,其 LinkedIn 上的经历显示,他之前分别在 OpenAI 和 DeepMind 都呆过,在其 Github 的个人页面,提到了其喜欢的研究方向:主要研究兴趣是制造可以推理的机器,我选择数学作为学习推理的起点,目的是创建一个自动化的数学家。
他在多伦多大学完成了博士学位,后在斯坦福大学完成了博士后工作。在 Google 时,他所在的团队是 N2Formal,你可以在其个人 Github 页面查看他发表的研究成果。此次 xAI 正式官宣后,他分享了一句话:Solve math and understand the universe(解决数学问题并理解宇宙)。
第三位是 Guodong Zhang(张国栋),其工作经历,之前在微软亚洲研究院、Google Brain 和 Google DeepMind 都工作过,自我介绍是一名机器学习和人工智能领域的研究员,专注于训练、调优和对齐大型语言模型。
本科读的是浙江大学的信息工程(Information Engineering)专业,硕士和博士都在多伦多大学。看了一下其本科阶段的成绩,连续 3 年在 182 个人中排名第一,GPA 按照 100 分算是 92.7,按 4 分算是 3.96,曾获得中国大学生数学建模竞赛一等奖(CUMCM),你可以在这里查看其完整的履历。
最后一位 Zihang Dai,根据其 LinkedIn,工作经历之前分别在网易投资部、百度深度学习研究院、百度美国以及 Google,最近的工作和 Yuhuai(Tony)Wu 一样,都在 Google 的 RS 团队。
xAI 的官方 Twitter 账号发布了一条推文:什么是最基本的未解之谜?马斯克这样做了回复:而什么是最基本的未知问题呢?一旦你知道要问的正确问题,答案通常是容易的部分,正如我的偶像道格拉斯·亚当斯所说。
也就是 23 年 7 月 12 日这个发布日期,几个数字加起来等于 42,而 42 这个数字代表了生命、宇宙和一切的终极问题的答案。(注:数字 42 在英国作家道格拉斯·亚当斯的科幻小说《银河系漫游指南》中有特殊意义。在这部小说中,42 被描述为“生命、宇宙和一切的终极问题的答案”。)