GAIR 2023：AI 历史中的机缘与巧合，青年科学家的探索与突破
时代总是把历史责任赋予青年。
100年前的1923年，未及弱冠的17岁少年库尔特·哥德尔（Kurt Gödel）进入维也纳大学攻读理论物理学位。在学期间，他受到数学教师哈恩和门格尔的影响转攻数学，当时没有人可以想象，这一决定对我们今天的世界将会产生什么样的巨大影响。
8年之后，25岁的哥德尔在论文中提出了一种震惊数学界的新理论，他的论文这样开头：
众所周知，数学朝着更为精确的方向发展，导致了数学很大范围的形式化，因此，人们只需使用一些机械性规则就能证明任何定理。 ......
然而你们都错了。
这篇论文便是数学史上划时代的论文《论数学原理和相关系统中形式上不可判定命题I》。这篇论文中所提出的“哥德尔不完备定理”被誉为"数学和逻辑发展史中的里程碑"，它奠定了理论计算机科学和人工智能理论的基础，随着人类文明的进步，哥德尔不完备性定理正在表现出越来越广泛、越来越深刻的影响。
“哥德尔不完备定理”的背景板是将哥廷根学派带至巅峰的希尔伯特（David Hilbert）提出的“希尔伯特计划”。这一雄心勃勃的计划旨在证明数学系统的一致性和完备性，也是20世纪数学发展的主要驱动力。1930年，希尔伯特在柯尼斯堡召开的全德自然科学及医学联合会代表大会上做了题为《自然认知及逻辑》的4分钟演讲，对来自哲学家对数学发展的非难和 “不可知论” 的怀疑主义思想进行了批判，这场计入历史的演讲以鼓舞了一代数学家的6字箴言结束：
“Wir müssen wissen，Wir werden wissen!（我们必须知道，我们必将知道！）”
随着哥德尔不完备定理的提出，希尔伯特计划轰然倒塌。哥德尔不完备定理表明，任何可以进行基础运算的数学系统中都存在无法被证明的正确观点，正确的数学观点不一定可证。同时，一些看似简单规则下的推演（如生命游戏），其最终命运可能是无法确定的。这意味着，可能没有任何算法可以保证在有限的时间内回答这些问题。
这是数学底层存在的一个永恒漏洞，也是数学家们要面对的人生。
世上只有一种英雄主义，就是认清生活的真相之后依然热爱生活。尽管在定理证明、计算、人工智能、逻辑和数学本身存在着种种基础局限性，然而面对未知领域，科学家们的探索从未止步。
围绕希尔伯特提出的第三个问题“数学是可判定的吗”，24岁的艾伦·图灵（Alan Turing）在1936年找到了一个解决方法。在第二次世界大战中，图灵将他的思考付诸实践，带领团队打造了一台真正的计算机，为盟军破解纳粹的情报密码立下了汗马功劳；
当哥德尔提出对希尔伯特的质疑时，希尔伯特的学生、27岁的冯·诺依曼（von Neumann）被其吸引而与哥德尔进行了长时间的交流；二战后，他根据图灵的设计，创造了世界上第一台可以编程的电子计算机。
命运的齿轮开始转动。之后便是人工智能发展“三起三落”的故事，直至今天大模型的爆发。
回首人工智能及其基础理论的发展，青年科学家一直占据着重要的地位。人工智能之父约翰·麦卡锡（John McCarthy）与马文·闵斯基（Marvin Minsky）组织达特茅斯会议时，不过是刚毕业不久、20多岁的年轻教师；神经网络之父弗兰克·罗森布拉特（Frank Rosenblatt）1957年提出感知机的时候未满30岁；大卫·马尔（David Marr）32岁时开始计算机视觉开山之作《Vision》的写作；计算机视觉领域最重要、使用最广泛的概念之一GAN由Ian Goodfellow在博士期间提出；打造ChatGPT的“梦之队”OpenAI，平均年龄32岁......
今天的人工智能，仍然存在诸如“深度学习黑盒效应”等难以被理解和证明的存在，用人工智能攻破Np Hard问题看起来仍然那么遥不可及；即便是大模型火热的当下，业内也普遍存在共识：大模型可能未必是最终形态，通往AGI的道路依然漫长。
站在人工智能未知之域的门口，我们不仅需要当年希尔伯特喊出“我们必须知道，我们必将知道”的信心和勇气，更要呼唤一批像当年哥德尔、图灵那样的青年科学家的出现，去勇于实践，去打破固有的思维误区，创造更多可能。
致敬大模型与人工智能征程中的青年力量，为青年科学家的学术研究提供一个跨界交流的平台，营造探索未知的学术氛围，鼓励青年科学家之间的交叉研究合作，这也是我们在GAIR大会首日设置“青年科学家论坛”的原因。
For those about to rock，we salute you.
这个世界从不缺时代的注脚，GAIR存在的意义，就是让AI历史上的各种机缘与巧合，交织在一起，碰撞出新的思想与故事。
8月14日，一群涌动着探险家、变革者、英雄血液的创新者，也将让最前沿、最奇思妙想的大模型技术突破与商业试验，以空前肆无忌惮的方式绽放。
他们将齐聚新加坡乌节酒店，为第七届GAIR全球人工智能与机器人大会，带来最为激荡的思想碰撞。点击【阅读原文】，免费申请原价3000元的GAIR 2023福利票。
GAIR 青年科学家论坛嘉宾名单
李博，现任伊利诺伊大学厄巴纳-香槟分校(UIUC)计算机系副教授，曾获得IJCAI Computers and Thought Award, 斯隆研究奖, NSF CAREER Award, AI's 10 to Watch, Symantec Research Labs Fellowship，麻省理工学院TR-35奖，英特尔新星奖，美国国家科学基金会职业奖等。
获得各大技术公司包括Amazon, Facebook, Google等的研究成果奖，在机器学习和安全相关领域的会议多次获得最佳论文奖。她主要研究的方向为可信机器学习、安全、机器学习、隐私和博弈论的理论和实践方面。她完成了多个鲁棒性机器学习和隐私保护数据发布系统的可扩展性框架设计。她的成果曾被 《 Nature 》、 《 Wired》、《财富》和《纽约时报》等主要出版物和媒体报道。
尤洋，现任新加坡国立大学校长青年教授 ，北京潞晨科技有限公司董事长。2021年4月入选亚洲福布斯30岁以下精英榜，于清华大学计算机系获得硕士学位，于美国加利福尼亚大学伯克利分校计算机系获得博士学位。曾创造ImageNet以及BERT训练速度的世界纪录，并获UC伯克利优秀毕业生 Lotfi A. Zadeh Prize ，并被提名为ACM Doctoral Dissertation Award候选人。
严睿，现任中国人民大学高瓴人工智能学院长聘副教授。博士毕业于北京大学计算机科学技术系，2016年加入北京大学王选计算机技术研究所，任助理教授、研究员、博士生导师。
入选北京智源人工智能研究院青年科学家，微软亚洲研究院铸星学者。至今共发表研究论文100余篇，累计引用10000余次，多次担任国际顶级学术会议的领域主席及资深程序委员会委员，曾多次受邀于国际顶级学术会议上宣讲讲习班教学报告(tutorial)。
主要研究方向为自然语言处理，文本挖掘，信息检索，机器学习和人工智能。严睿，现任中国人民大学高瓴人工智能学院长聘副教授。博士毕业于北京大学计算机科学技术系，2016年加入北京大学王选计算机技术研究所，任助理教授、研究员、博士生导师。
入选北京智源人工智能研究院青年科学家，微软亚洲研究院铸星学者。至今共发表研究论文100余篇，累计引用10000余次，多次担任国际顶级学术会议的领域主席及资深程序委员会委员，曾多次受邀于国际顶级学术会议上宣讲讲习班教学报告(tutorial)。主要研究方向为自然语言处理，文本挖掘，信息检索，机器学习和人工智能。
李搏扬，南洋副教授，任职于南洋理工大学计算机科学与工程系。主要研究方向为多模态多媒体智能、计算化叙事智能、机器学习。
2021年获得新加坡国家科研基金委两百五十万新加坡元的青年科研基金 （NRF Fellowship）。2018-2019年间任职于百度美国硅谷研究院。2015-2017年间任职于迪士尼匹兹堡研究院并领导独立研究小组。2015年自佐治亚理工学院（Georgia Institute of Technology）取得计算机博士学位。2008年自南洋理工大学取得学士学位。工作曾被多家国际媒体报道，包括美国全国公共广播电台 （National Public Radio）、 Engadget、 TechCrunch、英国卫报、《新科学家》杂志等。
GAIR 2021 回顾：AI创新与人才培养
GAIR 2020 回顾：纪念 Thomas S.Huang
GAIR 2019 回顾：中国人工智能 40 周年
微信扫码关注该文公众号作者