约翰.麦卡锡John McCarthy(1927‑2011),这个AI之父出身左翼家庭,都是社会活动家的父母可能忙于社会事务而无暇顾及到他,所以他很多时间都是在自学高年级课程,以至于大学直接从大三开始念,因为高中时已经把大一大二课程自学完了。这次会后他去了斯坦福大学,建立大名鼎鼎的斯坦福人工智能实验室(SAIL),为了让机器能处理逻辑,他顺手发明了编程语言Lisp,结果Lisp统治了AI圈整整半个世纪。他还提出了“分时复用”的概念,今天的云服务就是在他这个概念的基础上实现的。麦卡锡一辈子性情耿直,晚年依然坚信“直到晚年,依然到处演讲说逻辑才是AI的唯一出路,对现在的深度学习这种“黑盒”算法极度嗤之以鼻,不知道他要是能活到今天看到大模型已经在很多领域超越人后是何种感受。 马文·明斯基Marvin Minsky(1927‑2016),与麦卡锡同龄,像唐初四杰之一的王勃一样,他少年时已经作为天才名满天下,在数学、神经科学与心理学造诣都很深,脑洞也远超常人。会后他在麻省理工学院打造出MIT人工智能实验室,确立了现代AI实验室的主流科研范式。作为符号学派核心奠基人,他提出“大脑是肉做的机器”的经典观点,他认为极其能复刻人类认知、情绪与思维之后,人工智能也就实现了。经典神作《2001太空漫游》拍摄期间,导演库布里克专程请他做硬核技术顾问,剧中他设计的简洁冷峻的HAL 9000成了AI反派的经典荧幕形象,拍摄时他还曾险遭高空坠落扳手砸中。他一生包容多元AI研究路径,晚年为等待AI技术奇点到来选择冷冻遗体,曾经轰动一时。 赫伯特·司马贺(赫伯特·西蒙)Herbert Simon(1916‑2001),参会者中资历最深、跨界最广的学术全才,手握政治学博士学位,在心理学、经济学、计算机科学多个领域都做到了顶尖水准。我曾经写过一篇短文说人类最后的全才是莱布尼茨,这个结论或许是错的,西蒙可能是莱布尼茨之后最接近全才的那个人。他和学生纽厄尔开创了以逻辑符号模拟人类推理决策的研究路线,主导了早期人工智能二三十年的发展方向。他治学格局极大,即便身为纽厄尔的导师,二人合作的所有论文,一律严格按姓氏字母顺序署名,但凡有人颠倒署名顺序,他都会主动纠正,是学术界难得的平等协作典范。1975年,他与纽厄尔共同获得图灵奖,更传奇的是,三年后他凭借理性决策理论的突破性研究,拿下诺贝尔经济学奖。
夜雨聆风