格子net 格子net
关注数: 4 粉丝数: 11 发帖数: 541 关注贴吧数: 7
GitHub 的独立运营时代,彻底结束了 GitHub 的独立运营时代,彻底结束了。 CEO Thomas Dohmke 突然宣布辞职,他计划年底前完成交接,重返创业。 更震撼的是,微软决定不再任命新 CEO,而是直接将 GitHub 完全并入今年 1 月刚成立的 CoreAI 部门。 微软显然意识到了这种威胁,通过将 GitHub 深度整合进 CoreAI,希望加速 AI 功能的迭代速度。 对于开源社区来说,GitHub 失去独立性可能会引起部分重视平台中立性的开发者的担忧。 尽管存在不确定性,但 Dohmke 对未来充满信心。在告别信中,他预言世界将很快看到 “十亿开发者被数十亿 AI 智能体赋能” 的景象。而他自己,则选择在这个关键时刻离开,再次成为一名创始人,开启人生的下一个篇章。 至于微软这边,CoreAI 团队的领导者 Jay Parikh 曾是 Facebook(现 Meta)的工程副总裁,在 Meta 工作了超过 10 年,负责过基础设施和工程团队。Julia Liuson 则是微软的老将,在公司工作超过 30 年,见证了从传统软件到云计算再到 AI 时代的完整转型。 一个时代结束了,另一个时代正在开启。 当 GitHub 不再独立,AI 成为编程的主角,开发者的世界将会变成什么样? 这或许是每个程序员都需要思考的问题。 作者:量子位 链接:http://tieba.baidu.com/mo/q/checkurl?url=https%3A%2F%2Fjuejin.cn%2Fpost%2F7537594312688861184&urlrefer=da071dcbd52ff8443678397c782d135d 来源:稀土掘金 著作权归作者所有。商业转载请联系作者获得授权,非商业转载请注明出处。
南开大学最新研究成果让AI“识破”AI 近日,南开大学计算机学院媒体计算实验室取得最新研究成果,不仅从评估的角度揭示了现有AI检测方法的性能不足,并创新性地提出了“直接差异学习”优化策略,教会AI用“火眼金睛”辨别人机不同,实现AI检测性能的巨大突破。相关成果论文已被计算机多媒体领域国际顶级会议ACM MM 2025接收。 目前AI生成内容检测主要有两种路线,一种是“基于训练的检测方法”,使用特定数据训练一个专用的分类模型;另一种是“零样本检测方法”,直接使用一个预训练的语言模型并设计某种分类标准进行分类。 多项研究表明,现有检测方法在应对复杂的现实场景时常显不足。此前也曾有权威媒体报道,《荷塘月色》《流浪地球》等经典作品被某常用论文AI率检测系统检出高AI率。 为何现有的AI检测工具会“误判”?论文第一作者、南开大学计算机学院计算机科学卓越班2023级本科生付嘉晨解释道:“如果把AI文本检测比作一场考试,检测器的训练数据等同于日常练习题,现有检测方法是机械刷题、死记硬背答题的固定套路,难以学会答题逻辑,一旦遇到全新难题,准确率就会显著下降。” “要想实现通用检测,理论上需收集所有大模型的数据进行训练,但在大模型迭代飞速的今天几乎不可能。”付嘉晨说,让检测器真正学会举一反三,即提升检测器的泛化性能,是提升AI文本检测性能的关键。 为此,研究团队提出了DDL方法另辟蹊径,通过直接优化模型预测的文本条件概率差异与人为设定的目标值之间的差距,帮助模型学习AI文本检测的内在知识,可以精准捕捉人机文本间的深层语义差异,从而大幅提升检测器的泛化能力与鲁棒性。 “使用DDL训练得到的检测器如同有了‘火眼金睛’,即便只‘学习’过DeepSeek-R1的文本,也能精准识别像GPT-5这样最新大模型生成的内容。”付嘉晨说。 团队还提出了一个全面的测试基准数据集MIRAGE,使用13种主流的商用大模型(如豆包、DeepSeek、Kimi等)以及4种先进的开源大模型(如Qwen等),从AI生成、润色、重写三个角度构造了接近十万条人类-AI文本对。 “MIRAGE是目前唯一聚焦于对商用大语言模型检测的基准数据集。直观地说,之前的基准数据集是由少而且能力简单的大模型命题出卷,而MIRAGE是17个能力强大的大模型联合命题,形成一套高难度、又有代表性的检测试卷。”论文通讯作者、南开大学计算机学院副教授郭春乐说。 MIRAGE的测试结果显示,现有检测器的准确率从在简单数据集上的90%骤降至约60%;而使用DDL训练的检测器仍保持85%以上的准确率。与斯坦福大学提出的DetectGPT相比,性能相对提升71.62%;与马里兰大学、卡内基梅隆大学等共同提出的Binoculars方法相比,性能相对提升68.03%。 “AIGC发展日新月异,我们将持续迭代升级评估基准和技术,致力于实现更快、更准、更低成本的AI生成文本检测,以AI之力,让每一篇成果更出彩。”研究团队负责人、南开大学计算机学院教授李重仪说。 值得一提的是,该论文的第一作者付嘉晨是南开大学一名大二学生。他毕业于福州第一中学,入学后经过“二次选拔”考入南开大学计算机科学卓越班,并进入媒体计算实验室在李重仪和郭春乐两位导师的指导下开始科研实习。这也是南开大学拔尖创新人才培养改革——系列“特色班”的一个缩影。 谈到未来学习计划,付嘉晨还将继续在生成式人工智能领域探索,“能在大一进入实验室参与科研是我的幸运,老师同学们为解决实际问题攻坚克难,这也教会了我不仅要发论文,更要发有用的论文”。
《当人类群星闪耀时》-前言 没有一个艺术家在他一生的二十四小时之内始终处于不停的艺术创作之中;所有那些最具特色、最有生命力的成功之笔往往只产生在难得而又短暂的灵感勃发的时刻。历史——我们把它赞颂为一切时代最伟大的诗人和演员——亦是如此,它不可能持续不断地进行新的创造。尽管歌德曾怀著敬意把历史称为“上帝的神秘作坊”,但在这作坊里发生的,却是许多数不胜数无关紧要和习以为常的事。在这里也像在艺术和在生话中到处遇到的情况一样,那些难忘的非常时刻并不多见.这个作坊通常只是作为编年史家,冷漠而又持之以恒地把一件一件的事实当作一个又一个的环节连成一条长达数千年的链条,因为所有那些最重要的历史性时刻都需要有酝酿的时间,每一桩真正的事件都需要有一个发展过程。在一个民族内,为了产生一个天才,总是需要有几百万人。一个真正具有世界一时意义的时刻——一个人类的群星闪耀时刻出现以前,必然会有漫长的岁月无谓地流逝而去.   不过,诚如在艺术上一旦有一个天才产生就会流芳百世一样,这种具有世界历史意义的时刻一旦发生,就会决定几十年和几百年的历史进程。就象避雷针的尖端集中了整个大气层的电流一样,那些数不胜数的事件也都住住挤在这最短的时间内发作。那些平时慢慢悠悠顺序发生和并列发生的事,都压缩在这样一个决定一切的短暂时刻表现出来.这一时刻对世世代代作出不可改变的决定,它决定着一个人的生死。一个民族的存亡、甚至整个人类的命运。   这种充满戏剧性和与命运攸关的时刻在个人的一生中和历史的进程中都是难得有的;这种时刻住住发生在某一天、某一小时、甚至常常只发生在某一分钟,但它们的决定性影响却是超越时间的。我想在这里从极其不同的时代和地区回顾这种群星闪耀的某些时刻——我之所以这样称呼这种时刻,是因为它们宛若星辰一般永远散射着光辉,普照着暂时的黑夜!但我丝毫不想通过自己的虚构来增加或者冲淡所发生的一切的内外真实性,因为在那些非常时刻历史本身己表现得十分完全,无需任何后来的帮手。历史是真正的诗人和戏剧家,任何一个作家都甭想去超过它。
数学猜想(1) 由克雷数学研究所(Clay Mathematics Institute)在2000年提出的7个问题,每个悬赏 100万美元,目前仅 庞加莱猜想(2003年由佩雷尔曼解决)被攻克。 1、黎曼猜想(Riemann Hypothesis) 领域:解析数论 内容:所有非平凡零点都位于复平面上的直线 Re(s)=1/2 上。 意义:与素数分布密切相关,若成立将彻底改变数论、密码学等领域。 2、P vs NP 问题 领域:计算复杂性理论 内容:是否存在一种算法,能在多项式时间内验证的问题也能在多项式时间内解决? 意义:若 P=NP,密码学、优化问题等将面临革命性颠覆。 3、纳维-斯托克斯存在性与光滑性(Navier-Stokes Equations) 领域:数学物理 内容:证明三维不可压缩流体的纳维-斯托克斯方程在任意初始条件下存在光滑解。 意义:揭示湍流本质,推动物理学和工程学突破。 4、霍奇猜想(Hodge Conjecture) 领域:代数几何 内容:某些复杂几何对象的“形状”能否用代数方程描述? 意义:连接拓扑与代数几何,深化对高维空间的理解。 5、杨-米尔斯存在性与质量间隙(Yang-Mills Theory) 领域:量子场论 内容:证明量子杨-米尔斯场存在且具有质量间隙(粒子物理中的基本问题)。 意义:统一量子力学与相对论,推动理论物理发展。 6、贝赫和斯维讷通-戴尔猜想(BSD Conjecture) 领域:数论(椭圆曲线) 内容:椭圆曲线的有理点数量与L函数在1处的零点阶数相关。 意义:揭示数论与几何的深层联系,影响密码学(如椭圆曲线加密)。 第二梯队:经典未解之谜 1、哥德巴赫猜想(Goldbach Conjecture) 领域:数论 内容:每个大于2的偶数都可表示为两个素数之和。 现状:陈景润证明了“1+2”(最接近的成果),但“1+1”仍未解决。 2、孪生素数猜想(Twin Prime Conjecture) 领域:数论 内容:是否存在无限多对相差2的素数(如3和5、11和13)? 进展:张益唐(2013)证明存在无限多对素数间隔小于7000万,后改进至246。 3、ABC猜想(ABC Conjecture) 领域:数论 内容:对于互质整数a+b=c,c的质因数不会远小于a、b、c的乘积。 现状:望月新一宣称证明(2012),但争议极大,未被广泛接受。 4、完美长方体问题(Perfect Cuboid) 领域:数论/几何 内容:是否存在一个长方体,其所有棱长、面对角线、体对角线均为整数? 意义:欧拉时代遗留问题,计算机搜索未果。 第三梯队:现代重要问题 1、兰道-西格尔零点猜想(Landau-Siegel Zeros) 领域:解析数论 内容:是否存在某种例外零点,可能威胁黎曼猜想的正确性? 进展:张益唐(2022)宣称部分突破,但未完全解决。 2、移动沙发问题(Moving Sofa Problem) 领域:几何优化 内容:能通过L形走廊的最大平面区域面积是多少? 现状:已知上限约为2.37,但精确解未找到。 3、康威扭结问题(Conway Knot Problem) 领域:拓扑学 内容:康威扭结是否为“光滑切片扭结”? 进展:2020年通过Heegaard Floer同调理论证明其不是,但更一般问题仍开放。 4、哈代-拉马努金问题(Hardy-Ramanujan Partition) 领域:组合数学 内容:整数分拆函数的渐近行为及精确公式。 意义:连接数论与量子物理。 第四梯队:趣味性与挑战性并存 1、考拉兹猜想(Collatz Conjecture) 领域:数论 内容:对任意正整数,反复应用“偶数除2,奇数乘3加1”操作,最终是否都收敛到1? 现状:已验证到 268268 以内的数,但无理论证明。 2、吉尔布雷思猜想(Gilbreath’s Conjecture) 领域:数论 内容:对素数序列进行差分迭代后,首项是否总是1? 现状:计算验证支持,但无证明。 3、幸福结局问题(Happy Ending Problem) 领域:组合几何 内容:平面内任意5个点(无三点共线)是否总包含4个点构成凸四边形? 扩展:广义问题(如埃尔德什-塞凯赖什猜想)仍未解决。 未解难题的共性 跨领域性:许多问题需要融合数论、几何、物理等多学科工具(如黎曼猜想与量子混沌的联系)。 理论与应用的双重价值:例如P vs NP问题直接影响密码学与人工智能的极限。 人类智慧的终极挑战:部分问题可能永远无法解决,或需要全新的数学范式(如非标准证明)。 结语 数学的未解之谜既是智力的“圣杯”,也是推动科学进步的引擎。它们的解决可能彻底改变人类对宇宙的认知——正如希尔伯特所言:“我们必须知道,我们必将知道。”
1915哈佛数学崛起(2) 到其他地方学习是美国名校的传统,比如哈佛,它并不希望本校的本科生留在哈佛念博士,而是鼓励学生去新的环境学习不一样的学问,感受不一样的学术风气,让他们有更宏大的看法和创新的思维,我觉得这一点是很重要的。但对于中国,我们首先要让研究生能够在本土完成第一流的研究。就清华而言,数学科学系或数学科学中心能否跻身世界的顶尖行列,关键在于能不能培养出第一流的研究生。回顾哈佛大学数学系的历史,近代美国数学发展的重要转折点是1915年哈佛的伯克霍夫解决了限制性三体问题(restricted three body problem),这是庞加莱去世后,数学家在动力系统(Dynamical System s)方面做出的最重要的工作成果。伯克霍夫一辈子没离开过美国,在他以前,美国主要是派留学生到欧洲,虽然他们也做出了不错的成果,但直至伯克霍夫,其研究成果才真正影响了整个美国的数学发展。美国数学家从此有了自信心,不一定要派留学生到国外去也可以完成举世瞩目的工作。伯克霍夫发表了这个工作成果以后,在哈佛培养了一大批世界一流的博士生,如哈斯勒·惠特尼、马斯顿·莫尔斯、查尔斯·莫里等,推动了很多奠基性工作在哈佛创立。能查到的伯克霍夫的学生,及其学生的学生,如今已超过九千人,而在美国真正做研究的数学家不会超过两万人。这表明从伯克霍夫开始,美国数学的学风和基础已形成。我期盼清华也能产生像伯克霍夫那样开风气之先的领航者,希望我们的研究生或者本科生也能够在清华念书期间完成如此重要的论文。清华的学风其实很开放,同时能创造自己的环境。翻阅清华的历史,我最佩服的是清华四大国学导师之一的王国维,他是留着辫子的遗老,没拿过任何学位,但学问是崭新的,是20世纪融汇中西方学术-尤其是中国与德国的哲学思想--最早且最重要的学者。他改变了中国历史、文学、美学和考古学的研究,奠定了中国20世纪这些学科的走向。我们数学系的陈省身先生也是一代宗师,不过他的重要贡献是在海外完成的。我希望将来引领数学研究走向的最主要工作是在清华完成的,这要靠我们师生的努力。21世纪应当是中国人扬眉吐气的时代,让我们在20年代,也就是未来这十年,走出一条新的道路,引领世界。我觉得时机已经成熟,不再像以前那样只能去学习外国的学问。学习当然很重要,无论如何一定要学习,假如我们不了解海外的重要工作,就不可能走出新的道路。但我们也要有自信心能够走出自己的路,要在学习中探寻什么是最重要的方向。19世纪以前,数学跟其他学科不分家,物理和数学往往是在一起的;从20世纪初期到70年代,数学的发展变得相对独立;最近四十年来,数学走了跟之前不大一样的道路,数学学科跟物理、工程等产生了很大的融合,产生了颇多杰出的成果,对数学本身和其他学科都非常重要。在每一次大的转变中,数学都吸收了很多重要的思想,譬如,量子场论的发展让物理、数学物理、代数几何以及拓扑学等产生了很重要的改变,而且这种改变会不断地加深。我们就算不深入研究,也应当了解新的发展动向,至少使自己在听演讲时知道人家在讲什么。本科与研究生阶段是最有时间去学习的时候,要多花工夫了解和思考,同时最重要的是将基础打扎实。尽管花大量的工夫对每个学生来说都不容易,但绝不可错过最佳的学习时机。每一位从事数学工作的人都有以下类似的经历:博士毕业后到新的数学系工作,假如你是做拓扑学的,系里的同事就会认为你是拓扑学的专家,应该懂得拓扑学的所有知识,而实际上你只是写了一篇拓扑学方面的论文,懂得的其实相当有限,于是你要花精力把拓扑学钻研透,因此就少了很多时间去学其他还没学过的学科。一个人要学的东西实在太多,我亦总觉得自己懂的学问不够。而当你是学生时,不是专家,没有以上的负担,学生的首要任务本来就是学习。
1915哈佛数学崛起(1) 中国人可以从字面上将“危机”理解为:有危险就有机遇。在目前的形势下,中国经济也会受挫,高校亦会遇到经济困难,但中国的体制与欧美诸国不一样。从前美国的优势在于私立学校的独立办学,但在遇到困难的时候,他们就各自为政,不会帮助对方,而中国的体制能确保国内主要的大学协同发展,共同培养人才。 今日的毕业生要面对的第一个现实是:华裔学者在美国高校生存的环境将比从前差很多。因为美国的高校除了经济困难以外,现在还遇到种族平等的问题。对于今年毕业的学生,若要到国外去留学,我赞成,但请你们不要忽视上述的现实。假如你们要去的是第一流的学校,像哈佛大学、麻省理工学院、普林斯顿大学、斯坦福大学等,我觉得还是很值得去的,因为那里有很好的老师和环境;但如果是去国外的普通高校,相比之下,清华大学的水准和氛围其实要好得多。这十多年来,我们的努力是很有成果的。清华大学数学科学系、数学科学中心聘请和培养了一大批杰出的数学家,尤其是年轻学者,他们完成的论文都是世界第一流的,而且我们的学风能够比得上世界顶尖的大学(包括哈佛在内)。因此,你们在清华做研究不会比在国外差。虽然我刚才鼓励你们去世界顶尖的大学,但去不了并不代表有很大的损失,至少国内也能提供同样的研究氛围。
“两门板斧” 本科与研究生阶段是最有时间去学习的时候,要多花工夫了解和思考,同时最重要的是将基础打扎实。尽管花大量的工夫对每个学生来说都不容易,但绝不可错过最佳的学习时机。每一位从事数学工作的人都有以下类似的经历:博士毕业后到新的数学系工作,假如你是做拓扑学的,系里的同事就会认为你是拓扑学的专家,应该懂得拓扑学的所有知识,而实际上你只是写了一篇拓扑学方面的论文,懂得的其实相当有限,于是你要花精力把拓扑学钻研透,因此就少了很多时间去学其他还没学过的学科。一个人要学的东西实在太多,我亦总觉得自己懂的学问不够。而当你是学生时,不是专家,没有以上的负担,学生的首要任务本来就是学习。 你们在做学生的这段时间,最基本的工具一定要学好。若连最基本的工具都没掌握,根本就谈不上跨学科的研究。我们都知道,第一流的学问往往是不同学科的融合而爆发出来的火花。安德雷·韦依是伟大的数学家,当年他告诉我,一个伟大的数学学者非要精通至少两门不同学科不可。举例来说,在数学上,假如你学拓扑学,你还要懂得几何或分析,这样你才能通过两个不同的工具来完成前人没有想到的工作。刚才我们提到的伯克霍夫的学生马斯顿·莫尔斯,莫尔斯理论的伟大是他将分析和拓扑学联系起来,以后拓扑学好几个主要的方向都是通过莫尔斯理论来完成的。假如莫尔斯对拓扑学或者临界点理论(critical point theory)没有兴趣,他就无法完成此理论。不妨再看看其他20世纪伟大的数学家,我们也会发现他们大部分都是能精通两门以上学科的。当你进入一个学科的研究领域以后,不可能通晓所有东西,但必须将其工具都掌握了,所谓精通就是对工具能运用自如,遇到困难的题目不会惧怕,懂得如何学习和思考。我希望你们能达到这种不畏难题的境界。当然,你也可以请教其他专家,让他们给你建议作参考,这都是可以的,但绝不能畏惧,要尽力去解决。 面对棘手的问题不知所措,不光是学生会遇到的,就连著名的大师也会遇到同样的尴尬。大物理学家泡利,他的不相容原理(exclusion principle)是20世纪物理学最重要的里程碑之一。据说泡利在去世前曾在酒后跟他的朋友讲:“我一辈子就是等大问题来了,让我能够去解决它。但有时我看着大问题来了,又看着它离开我,因为我没有办法解决它。”我想泡利讲的是量子电动力学(Quantum Electrodynamics,QED),他当时没有足够的工具解决这个问题,所以他觉得很颓唐。 你们毕业的时候,要尽量学会一些主要的工具,这是以后对付数学、物理、生物或工程上的问题的重要“兵器”,这些问题从自然界产生,既复杂又有趣,要有办法和工具对付它。有很多工 具,刚开始以为不重要、不流行,很多人不想去学,这往往是个错误的看法。我记得三十年前,拓扑学做到一定地步以后,大家认为同伦理论(homotopy theory)用处不大,于是就不学了。但最近这几年来,同伦理论变得越来越重要,这是凝聚态物理要用到很多同伦理论的缘故。自然产生的理论总是有其好处,我们不要挑剔。 总的来讲,我希望你们在做学生的时候至少掌握两门不同的工具,以后做学问的时候有两门“板斧”,而且每一门都要精通,才能在真正去解决问题时收放自如。假如我们的学生都能这么做的话,中国的数学将很快转型。我寄望在你们身上,希望你们能够努力。对我来讲,世界上没有天才,要做得好,自己一定要努力。
我常常觉得奇怪 我常常觉得奇怪,为何中国培养的科学家和西方相比,无论质和量皆不如。本人之所以比大部分中国数学家更有成就,或许乃得益于以先父教导的历史和思想为根基,再加上在美国多年,承袭了彼邦的自由思想之故。 在过去差不多半个世纪中,美国对我不薄,我对美国感激良多,对美国数学界尤其如此。我非常赞赏它大力培养后进的传统。再者,全世界的研究人才来到美国,都有宾至如归之感。因此之故,我有幸能接触到各种各样的思想,从而大大地丰富了我对数学的看法。还有一点,那就是在美国我可以畅所欲言,在中国则不然,大家出言都会谨慎些。另外,学生和同行对我蹩脚的口音都非常宽容。最后,在美国令人赞赏的一点就是,只要你的工作出色,升迁差不多是没有悬念的。但在中国就不同了,个人工作上的成绩未必足够,还要看其他条件。 虽然如此,我仍然心系祖国,决心改变她在教育和研究上的积习。聊堪告慰的是,尤其是近几年,情况渐渐出现了变化,其中在下或许也有点功劳。 经过这么多年,我的身心何在?纵使我对中国怀着深厚的感情和强烈的使命感,事实上,我大部分时间却居住在美国。虽然对美国的情感没那么深厚,但那是孩子出生和成长的地方,而且我的家和工作还在那里。正如前面说过,这令我有不知何处是吾家的奇怪感觉,我真正的家似乎介于两者之间(在太平洋中部曲折地经过的国际日期变更线)。说到底,只有一样事物能不受这两个国家和不同文化的支配,它就是数学,它早已变成我真正的护照了。我在数学的长路上走了很久,从伯克利当研究生起计,差不多有五十年了。然而,我尚未有高挂直尺和圆规的打算……
人生最大的荣耀 人生最大的荣耀,乃是屡败屡战,尤其是受到阴险的招数攻击之后。稍堪告慰的是2006年10月在《纽约时报》刊登的,以我为主角、题为《数学皇帝》的文章,里面洋溢着颂扬之词。它比《纽约客》的文章迟了两个月,这并非偶然。娜萨曾跟我说,她听说《纽约时报》在访问我,因此她要赶快写,好抢在时报前面,引人注目。 《纽约时报》的文章写得非常客气,我想它给出了对无论是本人还是本人工作比较全面的写照。部分的原因或在于文章的作者丹尼斯·奥弗比(Dennis Overbye)花了不少时间访问我,断断续续地做了半年。如前面贬我的文章一样,这篇文章的内容我从未过问,并未参以己见,或提出任何删改。对我而言,更重要的是自己能掌握的,只有不断向前,才能完成事业上定下的目标。因此,那些有关本人的文章,不管是褒是贬,也不用想太多。希望能集中精力对付数学,进行研究,这才是我之所乐,我之所爱。精神受到压力的日子,我每以工作为寄托,数学从来没有让我失望。 举例来说,我把注意力放在广义相对论上。有一个问题我想了几十年,它是由早期有关正质量猜想(和孙理察及其他人合作) 引出来的。这问题源于直到今天,人们还搞不懂如何在爱因斯坦的理论中定义“局部质量”。在封闭的系统中,我们只能定义在差不多无限远处,无限远的质量,我和理察早已证明了这质量必须为正,不然整个系统会不稳定。但我们亦希望能描述系统在附近周围,这便涉及所谓“拟局部质量”的概念。例如,当两个黑洞相互作用时,从远处去看,如何定义其中一个黑洞的质量,而非两者合起来的总质量呢? 这类问题当然不仅仅限于黑洞,在空间给出一个闭合的二维曲面,除了要求其质量必须为正时,我们还能进一步对它说什么。2003年,我的学生刘秋菊(现任哥伦比亚大学教授)和我在一篇论文中给出了一个拟局部质量的定义,并进一步证明,它在所有情况下都取正值(除了在某一显然的情况下,质量可以为零)。我在剑桥以此为题,向霍金和彭罗斯以及加里·吉本斯等物理学家说明了我们的定义。霍、彭二人各有自己对拟局部质量的定义,虽然他们没有说我们找到了正确的定义,但他们也没有反对。这些学者不是内敛的人,如果我的推演中有任何弱点,他们肯定不会让我好过。
coolwulf 地下室实验引FBI“乌龙”搜查!南大校友用50张显卡对抗癌症 文 |《中国科学报》实习生 孟凌霄 2018年,一个网名为“coolwulf”的“业余程序员”,在程序员社区V2EX发布了一款应用,可以通过人工智能(AI)看胸片,给出是否罹患乳腺癌的意见。它有很高的准确率,而且是免费的。一时间引来无数好评。 如今,“coolwulf”的方向从癌症检测转移到实际治疗方面,并带着AI诊疗脑瘤系统回来了。 “coolwulf”原名姜浩,本科毕业于南京大学物理系,博士毕业于密歇根大学核工程和放射科学系,曾在布鲁克、西门子担任研发总监,指导影像领域的产品开发。目前在医学影像深度学习公司NeuralRad担任首席执行官。 这些年来,他有自掏腰包,发动亲友蹲守50张显卡的壮举;也有地下室跑实验,引来FBI登门检查的乌龙;但更多的是,“让患者活下去、活得好一些”的愿景。 2017年,姜浩的一位南京大学学妹因乳腺癌去世。“当时发现得晚了,才34岁,留下了一个4岁的孩子。” 根据世界卫生组织数据,乳腺癌已成为全球发病率第一的癌症 。姜浩知道,乳腺癌的一大特点是“越年轻,越凶险”,年轻人的乳腺癌会扩散更快。如果能在乳腺癌Ⅰ期发现,5年生存率是99% ,但在国内,乳腺癌的早期发现率不足20%,而通过筛查发现的比例更不及5% 。 姜浩想,如果AI可以帮着“看片子”,也许能大大提高乳腺癌的早期检测成功率。他决定,将医疗影像与深度学习相结合。 对于一个足够好的深度学习模型,一是要有足够多的数据,二是要有足够强大的计算力。 姜浩从北美和欧洲几个研究机构获得了带标注的胸部医疗影像。他解释道,这些标注能够区分是否患有乳腺癌(良性或恶性的肿块或者钙化组织),而标注大多来自美国放射学委员会认证的放射科专家。如果深度学习模型能够训练好,就可以达到这些专家读图的平均水平,甚至更好。 另一方面,足够强大的计算力需要硬件支撑。 在乳腺癌检测项目启动的2017年底,市面上几乎没有GPU云端服务,因此只能个人购买硬件设备。当时虚拟币挖矿火热,单张显卡的价格被从几百美元炒到1100美元,而且还有价无货。 为了凑到足够的硬件算力,姜浩自掏腰包,发动亲友在购物网站蹲守多日,终于抢到了50张1080Ti显卡。此外,加上训练模型所需的电脑主板、CPU、固态硬盘和内存条等,粗粗一算,总花费不可小觑。 姜浩玩笑道,“其实我从来没算过钱,算出来,被太太知道不好”。 万事俱备后,姜浩找到一位开中餐馆的朋友,把设备安置在餐馆地下室中。没想到的是,此举却给朋友招来“大麻烦”。 在一次卫生例行检查中,一位检查员被中餐馆地下室的硬件设备吓了一跳。没过几天,四名警察和两名FBI工作人员登门搜查。一番解释后,警察才了解到,原来地下室藏着的是实验用的硬件设备,而非“地下赌博网站”。 2018年,经过几个月的奋战,姜浩的AI检测乳腺癌网站终于上线。 只要将乳腺癌影像以JPG形式上传网站,就能获得AI的判断结果。这一检测系统速度快、准确率高。更重要的是,它完全免费。 姜浩曾在欧洲的INbreast 数据库上做了测试,准确度达到90%。美国肯塔基大学医院和中国的一家合作公司使用在某个乳腺癌检测世界竞赛中获得第二名的程序来测试乳腺癌影像数据库,结果显示漏了10个阳性案例;使用姜浩的系统进行测试,只漏了一个阳性案例。 漏检阳性案例,结果就会出现假阴性。“假阴性会让患者漏掉癌症结果,肯定比假阳性有更大的危险,错过恶性病变总比让病人去做活检要麻烦很多。”而姜浩发明的检测方法,假阴性几率极低。 不过,姜浩强调,这一工具并不能用于诊断,只能为患者、医生提供第二参考意见。在缺乏医疗资源的偏远地区,这些宝贵的“第二意见”,不仅有助于医生在诊断时更有信心,更能为潜在患者争取治疗时间。 实际上,即使在专业医生的诊断中,影像筛查仍不能100%准确显示女性是否患有乳腺癌。 这一检测项目获得了业内的广泛关注,以及网友们如潮的好评:“同样是1080(1080Ti显卡),有的用来游戏,有的用来挖矿......这是用技术造福人类的典型”“佩服大神有能力为社会贡献价值” “这才是极客应该做的”。 这一切,都是姜浩在短短几个月内,利用业余时间独立完成的。 只是,乳腺癌检测项目耗资不菲,仅仅50张显卡就超过5万美元,硬件设备共计超过10万美元。为什么不将网站商用,用它赚点钱,至少回个本? 姜浩却答,“没想过”。他说,做免费乳腺癌检测的初衷,一是学妹因病去世的触发,二是自己刚好有这方面能力。 这项技术具体造福了多少人,姜浩并不清楚。当时设计的乳腺癌检测平台出于隐私保护的考虑,并不保留后台影像数据,但每天上百的IP访问和来自世界各地的感谢信让他意识到,也许自己所做的一切正在起作用。 在乳腺癌检测网站之后,姜浩还开发了人工智能检测CT肺结节网站,同样完全免费。 乳腺癌项目下的评论留言 为挚友实现遗愿 姜浩想过,如果能将癌症检测转移到实际治疗中,就能让更多患者从中受益,但“老卢”找到他合作时,他却犹豫了。那时,姜浩是公司重量级项目的负责人之一,“出走”会对项目进度有不小的影响。 最终,“老卢”的过往经历打动了姜浩。“老卢”是美国得克萨斯大学西南医学中心副教授卢卫国。他曾放弃企业高层的丰厚薪水,到医院中做一位临床物理师。他对姜浩解释,“我不能做了一辈子研究,但没有亲手治过一个病人”。 这一想法与姜浩不谋而合,姜浩说,“做医疗行业的人,很多人都有使命感。写程序可以进很多大企业,但更应该做一些有意义的事情。” 更重要的是,卢卫国提起两人共同的朋友——陈昱,“如果陈昱还活着,就会找他合作。” 陈昱是姜浩在密歇根大学的师兄,不仅是癌症放射治疗的专家,也是姜浩的一生挚友。毕业后,陈昱工作于世界顶尖放疗公司TomoTherapy,他研发的TomoEdge系统正在全世界各地的癌症中心救治患者。 2017年5月31日,陈昱在一次意外事故中去世。为了纪念他,放疗学术界最高水平的杂志International Journal of Radiation Oncology - Biology - Physics将2018年的一期封面设为他的照片。 姜浩和卢卫国知道,如果陈昱的生命还在继续,他一定会继续医学物理的事业,继续毫无保留地帮助患者。 姜浩说,“我就想帮他实现这个遗愿。” 从检测到诊疗,AI能走多远? 这一次,他们最先关注的,是脑瘤放射治疗。 起因是一位同事的亲人罹患脑肿瘤,采用了“全脑放疗”进行治疗,但几个月后,脑肿瘤再次复发,患者最终去世。 “全脑放疗”是对整个大脑进行放射治疗,以控制颅内肿瘤生长的常规疗法。尽管这项技术可使患者生存期延长一段时间,但在肿瘤复发时,这种“无差别攻击”就不能二次采用。姜浩说,仅在美国,每年就有20万病人要做全脑放疗,在中国可能数量更多。 与一次性的“全脑放疗”相比,“立体定向放疗”更温和、精准,治疗效果更好,而患者也可以多次进行治疗,生活质量也更高。 但在实际医疗中,“立体定向放疗”的使用率并不高。这背后的原因是,医生在为多发性脑病患者进行这一手术时,需要对每个病灶进行精确的勾画、标记和追踪,并精准设计对应的治疗计划。在紧张的医疗资源面前,许多患者不得不选择“全脑放疗”。 如何让更多的脑癌患者使用“立体定向放疗”,而非只能选择“全脑放疗”,这是姜浩团队真正想解决的问题。 从2019年起,姜浩团队与美国得克萨斯大学西南医学中心、斯坦福大学共同合作,开发了自动勾画、标记和治疗脑瘤的AI模型。 目前,他们已经开发出三种模型,分别对应脑瘤的诊疗过程,包括自动勾画/标记脑转移瘤病灶的模型、基于SVM-放射组学的快速减少假阳性的模型,以及基于优化辐射剂量图,快速分割多个病灶到不同治疗疗程的模型。 这一平台已经在得克萨斯大学西南医学中心等机构进行了临床一期和二期试验,治疗了大约100个患者。 目前,这项工作已经在2022年美国医学物理学家协会(AAPM)春季临床会议上,由团队在斯坦福大学的合作者发表,并会在今年7月的 AAPM 年会上有一个专题报告。 接下来,姜浩团队未来的目标是让脑癌系统获得美国食品药品监督管理局(FDA)认证,以便让更多医院使用。他表示,目前的平台还能拓展应用于头颈、肺部、心脏等部位。 “如果能将连续放疗手段与免疫疗法结合,就有可能把癌症拖成慢性病,延长患者的生命,”姜浩说, “这就是我们的愿景。”
几个工具 Maltego Maltego是一款取证与开源情报(OSINT)应用程序,最初由Paterva公司开发,主要为用户环境提供清晰的威胁视图。对于单点故障的复杂性与严重性、存在于基础设施范围内的信任关系,它都做了展示。 Maltego能够收集发布在互联网上的任何信息,无论是公司网络边缘路由器当前的配置,还是某个用户当前的行踪。商业许可需要付费,社区版免费,但有一些使用限制。另外,可以把Maltego与VirusTotal以及Internet Archive的Wayback Machine进行集成,从而扩展Maltego功能。工具地址:http://tieba.baidu.com/mo/q/checkurl?url=https%3A%2F%2Fwww.maltego.com%2F&urlrefer=d73ec0ef6206275dc950db0b3e3de57b Kali Linux Kali Linux是基于Linux的渗透测试发行版,此前被称为BackTrack。专业安全人员可以使用它在专门用于黑客攻击的纯本地环境中执行评估。用户可以轻松访问从端口扫描到密码破解器的各种工具。你可以下载Kali的ISO安装至32位或64位x86系统上,或安装在ARM处理器上。它也可以作为VMware或Hyper-V的虚拟机映像。 Kali的工具主要分为信息收集、漏洞分析、无线攻击、web应用程序、漏洞利用工具、压力测试、取证、嗅探与欺骗、密码攻击、维持访问、逆向工程、报告工具及硬件黑客这几类。工具地址:http://tieba.baidu.com/mo/q/checkurl?url=https%3A%2F%2Fwww.kali.org%2F&urlrefer=86d4c1748da583fbf5a01a48c4518787 Photon Photon是一款用于收集开源情报(OSINT)的超高速网络爬虫。它可以用来获取电子邮件地址、社交媒体账户、亚马逊buckets(存储区)以及其他与某个域相关的关键信息,并利用谷歌和Internet Archive的Wayback Machine等公共资源。Photon用Python编写,可以添加插件,例如将收集到的数据导出为格式整齐的JSON,或将DNSDumpster与Photon进行集成。工具地址:http://tieba.baidu.com/mo/q/checkurl?url=https%3A%2F%2Fgithub.com%2Fs0md3v%2FPhoton&urlrefer=431154106b12257f54f32ee02c76e702
PROPOSAL FOR RESEARCH BY M.L.MINSKY PROPOSAL FOR RESEARCH BY M.L.MINSKY It isnot difficult to design a machine which exhibits the following type oflearning. The machine is provided with input and output channels and aninternal means of providing varied output responses to inputs in such a waythat the machine may be ``trained'' by a ``trial and error'' process to acquireone of a range of input-output functions. Such a machine, when placed in anappropriate environment and given a criterior of ``success'' or ``failure'' canbe trained to exhibit ``goal-seeking'' behavior. Unless the machine is providedwith, or is able to develop, a way of abstracting sensory material, it canprogress through a complicated environment only through painfully slow steps,and in general will not reach a high level of behavior. Now letthe criterion of success be not merely the appearance of a desired activitypattern at the output channel of the machine, but rather the performance of agiven manipulation in a given environment. Then in certain ways the motorsituation appears to be a dual of the sensory situation, and progress can bereasonably fast only if the machine is equally capable of assembling anensemble of ``motor abstractions'' relating its output activity to changes in theenvironment. Such ``motor abstractions'' can be valuable only if they relate tochanges in the environment which can be detected by the machine as changes inthe sensory situation, i.e., if they are related, through the structure of theenvironrnent, to the sensory abstractions that the machine is using. I havebeen studying such systems for some time and feel that if a machine can bedesigned in which the sensory and motor abstractions, as they are formed, canbe made to satisfy certain relations, a high order of behavior may result.These relations involve pairing, motor abstractions with sensory abstractionsin such a way as to produce new sensory situations representing the changes inthe environment that might be expected if the corresponding motor act actuallytook place. Theimportant result that would be looked for would be that the machine would tendto build up within itself an abstract model of the environment in which it isplaced. If it were given a problem, it could first explore solutions within theinternal abstract model of the environment and then attempt externalexperiments. Because of this preliminary internal study, these externalexperiments would appear to be rather clever, and the behavior would have to beregarded as rather ``imaginative'' A verytentative proposal of how this might be done is described in my dissertationand I intend to do further work in this direction. I hope that by summer 1956 Iwi11 have a model of such a machine fairly close to the stage of programming ina computer. PROPOSAL FOR RESEARCH BY N. ROCHESTER Originality in Machine Performance Inwriting a program for an automatic calculator, one ordinarily provides themachine with a set of rules to cover each contingency which may arise andconfront the machine. One expects the machine to follow this set of rulesslavishly and to exhibit no originality or common sense. Furthermore one isannoyed only at himself when the machine gets confused because the rules he hasprovided for the machine are slightly contradictory. Finally, in writingprograms for machines, one sometimes must go at problems in a very laboriousmanner whereas, if the machine had just a little intuition or could makereasonable guesses, the solution of the problem could be quite direct. Thispaper describes a conjecture as to how to make a machine behave in a somewhatmore sophisticated manner in the general area suggested above. The paperdiscusses a problem on which I have been working sporadically for about fiveyears and which I wish to pursue further in the ArtificialIntelligence Project next summer. The Process of Invention or Discovery Livingin the environment of our culture provides us with procedures for solving manyproblems. Just how these procedures work is not yet clear but I shall discussthis aspect of the problem in terms of a model suggested by Craik . He suggests that mental action consists basically ofconstructing little engines inside the brain which can simulate and thuspredict abstractions relating to environment. Thus the solution of a problemwhich one already understands is done as follows: 1. Theenvironment provides data from which certain abstractions are formed. 2. Theabstractions together with certain internal habits or drives provide: 2.1 Adefinition of a problem in terms of desired condition to be achieved in thefuture, a goal. 2.2 Asuggested action to solve the problem. 2.3 Stimulationto arouse in the brain the engine which corresponds to this situation. 3. Thenthe engine operates to predict what this environmental situation and theproposed reaction will lead to. 4. Ifthe prediction corresponds to the goal the individual proceeds to act asindicated. Theprediction will correspond to the goal if living in the environment of hisculture has provided the individual with the solution to the problem. Regardingthe individual as a stored program calculator, the program contains rules tocover this particular contingency. For amore complex situation the rules might be more complicated. The rules mightcall for testing each of a set of possible actions to determine which providedthe solution. A still more complex set of rules might provide for uncertainty aboutthe environment, as for example in playing tic tac toe one must not onlyconsider his next move but the various possible moves of the environment (hisopponent). Nowconsider a problem for which no individual in the culture has a solution andwhich has resisted efforts at solution. This might be a typical currentunsolved scientific problem. The individual might try to solve it and find thatevery reasonable action led to failure. In other words the stored programcontains rules for the solution of this problem but the rules are slightlywrong. Inorder to solve this problem the individual will have to do something which isunreasonable or unexpected as judged by the heritage of wisdom accumulated bythe culture. He could get such behavior by trying different things at randombut such an approach would usually be too inefficient. There are usually toomany possible courses of action of which only a tiny fraction are acceptable.The individual needs a hunch, something unexpected but not altogether reasonable.Some problems, often those which are fairly new and have not resisted mucheffort, need just a little randomness. Others, often those which have longresisted solution, need a really bizarre deviation from traditional methods. Aproblem whose solution requires originality could yield to a method of solutionwhich involved randomness. Interms of Craik's S model, the engine which should simulate the environment atfirst fails to simulate correctly. Therefore, it is necessary to try variousmodifications of the engine until one is found that makes it do what is needed. Insteadof describing the problem in terms of an individual in his culture it couldhave been described in terms of the learning of an immature individual. Whenthe individual is presented with a problem outside the scope of his experiencehe must surmount it in a similar manner. So farthe nearest practical approach using this method in machine solution ofproblems is an extension of the Monte Carlo method. In the usual problem which isappropriate for Monte Carlo there is a situation which is grossly misunderstoodand which has too many possible factors and one is unable to decide whichfactors to ignore in working out analytical solution. So the mathematician hasthe machine making a few thousand random experiments. The results of theseexperiments provide a rough guess as to what the answer may be. The extensionof the Monte Carlo Method is to use these results as a guide to determine whatto neglect in order to simplify the problem enough to obtain an approximateanalytical solution. Itmight be asked why the method should include randomness. Why shouldn't themethod be to try each possibility in the order of the probability that thepresent state of knowledge would predict for its success? For the scientistsurrounded by the environment provided by his culture, it may be that onescientist alone would be unlikely to solve the problem in his life so theefforts of many are needed. If they use randomness they could all work at onceon it without complete duplication of effort. If they used system they wouldrequire impossibly detailed communication. For the individual maturing incompetition with other individuals the requirements of mixed strategy (usinggame theory terminology) favor randomness. For the machine, randomness willprobably be needed to overcome the shortsightedness and prejudices of theprogrammer. While the necessity for randomness has clearly not been proven,there is much evidence in its favor. TheMachine With Randomness Inorder to write a program to make an automatic calculator use originality itwill not do to introduce randomness without using forsight. If, for example,one wrote a program so that once in every 10,000 steps the calculator generateda random number and executed it as an instruction the result would probably bechaos. Then after a certain amount of chaos the machine would probably trysomething forbidden or execute a stop instruction and the experiment would beover. Twoapproaches, however, appear to be reasonable. One of these is to find how thebrain manages to do this sort of thing and copy it. The other is to take someclass of real problems which require originality in their solution and attemptto find a way to write a program to solve them on an automatic calculator.Either of these approaches would probably eventually succeed. However, it isnot clear which would be quicker nor how many years or generations it wouldtake. Most of my effort along these lines has so far been on the former approachbecause I felt that it would be best to master all relevant scientificknowledge in order to work on such a hard problem, and I already was quiteaware of the current state of calculators and the art of programming them. Thecontrol mechanism of the brain is clearly very different from the controlmechanism in today's calculators. One symptom of the difference is the mannerof failure. A failure of a calculator characteristically produces somethingquite unreasonable. An error in memory or in data transmission is as likely tobe in the most significant digit as in the least. An error in control can donearly anything. It might execute the wrong instruction or operate a wronginput-output unit. On the other hand human errors in speech are apt to resultin statements which almost make sense (consider someone who is almost asleep,slightly drunk, or slightly feverish). Perhaps the mechanism of the brain issuch that a slight error in reasoning introduces randomness in just the rightway. Perhaps the mechanism that controls serial order in behavior guides the random factor so as to improve the efficiency ofimaginative processes over pure randomness. Somework has been done on simulating neuron nets on our automatic calculator. Onepurpose was to see if it would be thereby possible to introduce randomness inan appropriate fashion. It seems to have turned out that there are too manyunknown links between the activity of neurons and problem solving for thisapproach to work quite yet. The results have cast some light on the behavior ofnets and neurons, but have not yielded a way to solve problems requiringoriginality. Animportant aspect of this work has been an effort to make the machine form andmanipulate concepts, abstractions, generalizations, and names. An attempt wasmade to test a theory3 of how the brain does it. The first set ofexperiments occasioned a revision of certain details of the theory. The secondset of experiments is now in progress. By next summer this work will befinished and a final report will have been written. Myprogram is to try next to write a program to solve problems which are membersof some limited class of problems that require originality in their solution.It is too early to predict just what stage I will be in next summer, or just;how I will then define the immediate problem. However, the underlying problemwhich is described in this paper is what I intend to pursue. In a singlesentence the problem is: how can I make a machine which will exhibitoriginality in its solution of problems? REFERENCES 1.K.J.W. Craik, The Nature of Explanation, Cambridge University Press,1943 (reprinted 1952), p. 92. 2. K.S.Lashley, ``The Problem of Serial Order in Behavior'', in Cerebral Mechanismin Behavior, the Hixon Symposium, edited by L.A. Jeffress, John Wiley &Sons, New York, pp. 112-146, 1951. 3. D.O. Hebb, The Organization of Behavior, John Wiley & Sons, New York,1949 PROPOSAL FOR RESEARCH BY JOHN MCCARTHY Duringnext year and during the Summer Research Project on Artificial Intelligence, Ipropose to study the relation of language tointelligence. It seems clear that the direct application of trialand error methods to the relation between sensory data and motor activity willnot lead to any very complicated behavior. Rather it is necessary for the trialand error methods to be applied at a higher level of abstraction. The humanmind apparently uses language as its means of handling complicated phenomena.The trial and error processes at a higher level frequently take the form offormulating conjectures and testing them. The English language has a number ofproperties which every formal language described so far lacks. 1. Arguments in English supplemented byinformal mathematics can be concise. 2. English is universal in the sense thatit can set up any other language within English and then use that languagewhere it is appropriate. 3. The user of English can refer tohimself in it and formulate statements regarding his progress in solving theproblem he is working on. 4. In addition to rules of proof, Englishif completely formulated would have rules of conjecture . Thelogical languages so far formulated have either been instruction lists to makecomputers carry out calculations specified in advance or else formalization ofparts of mathematics. The latter have been constructed so as: 1. to be easily described in informalmathematics, 2. to allow translation of statements frominformal mathematics into the language, 3. to make it easy to argue about whetherproofs of (???) Noattempt has been made to make proofs in artificial languages as short asinformal proofs. It therefore seems to be desirable to attempt to construct anartificial language which a computer can be programmed to use on problemsrequiring conjecture and self-reference. It should correspond to English in thesense that short English statements about the given subject matter should haveshort correspondents in the language and so should short arguments orconjectural arguments. I hope to try to formulate a language having theseproperties and in addition to contain the notions of physical object, event,etc., with the hope that using this language it will be possible to program amachine to learn to play games well and do other tasks. PEOPLE INTERESTED IN THE ARTIFICIAL INTELLIGENCE PROBLEM Thepurpose of the list is to let those on it know who is interested in receivingdocuments on the problem. The people on the 1ist wlll receive copies of thereport of the Dartmouth Summer Project on Artificial Intelligence. [1996 note:There was no report.] Thelist consists of people who particlpated in or visited the Dartmouth SummerResearch Project on Artificlal Intelligence, or who are known to be interestedin the subject. It is being sent to the people on the 1ist and to a few others. For thepresent purpose the artificial intelligence problem is taken to be that ofmaking a machine behave in ways that would be called intelligent if a humanwere so behaving. Arevised list will be issued soon, so that anyone else interested in getting onthe list or anyone who wishes to change his address on it should write to: John McCarthy Dapartment of Mathematics Dartmouth College Hanover, NH [1996note: Not all of these people came to the Dartmouth conference. They werepeople we thought might be interested in Artificial Intelligence.] (Mr. Qinlongji notes 47 p.) The list consists of: Adelson,Marvin HughesAircraft Company, Airport Station, Los Angeles, CA Ashby, W.R. BarnwoodHouse, Gloucester, England Backus,John IBMCorporation, 590 Madison Avenue, New York, NY Bernstein,Alex IBMCorporation, 590 Madison Avenue, New York, NY Bigelow,J. H. Institutefor Advanced Studies, Princeton, NJ Elias,Peter R. L.E., MIT, Cambridge, MA Duda, W.L. IBMResearch Laboratory, Poughkeepsie, NY Davies,Paul M. 1317 C. 18thStreet, Los Angeles, CA. Fano, R.M. R. L.E., MIT, Cambridge, MA Farley,B. G. 324 ParkAvenue, Arlington, MA. Galanter,E. H. Universityof Pennsylvania, Philadelphia, PA Gelernter,Herbert IBMResearch, Poughkeepsie, NY Glashow,Harvey A. 1102Olivia Street, Ann Arbor, MI. Goertzal,Herbert 330 West11th Street, New York, New York Hagelbarger,D. BellTelephone Laboratories, Murray Hill, NJ Miller,George A. MemorialHall, Harvard University, Cambridge, MA. Harmon,Leon D. BellTelephone Laboratories, Murray Hill, NJ Holland,John H. E. R. I., University of Michigan AnnArbor, MI Holt,Anatol, 7358 Rural Lane, Philadelphia, PA Kautz,William H. StanfordResearch Institute, Menlo Park, CA Luce, R.D. 427 West117th Street, New York, NY MacKay,Donald Departmentof Physics, University of London, London, WC2, England McCarthy,John DartmouthCollege, Hanover, NH McCulloch,Warren S. R.L.E., M.I.T., Cambridge, MA Melzak,Z. A. MathematicsDepartment, University of Michigan AnnArbor, MI Minsky,M. L. , 112 Newbury Street, Boston, MA More,Trenchard Departmentof Electrical Engineering, MIT, Cambridge, MA Nash, John Institutefor Advanced Studies, Princeton, NJ Newell,Allen Departmentof Industrial Administration, Carnegie Institute of Technology, Pittsburgh, PA Robinson,Abraham Departmentof Mathematics, University of Toronto, Toronto, Ontario, Canada Rochester,Nathaniel EngineeringResearch Laboratory, IBM Corporation, Poughkeepsie, NY Rogers,Hartley, Jr. Departmentof Mathematics, MIT, Cambridge, MA. Rosenblith,Walter R.L.E.,M.I.T. , Cambridge, MA. Rothstein,Jerome 21 EastBergen Place, Red Bank, NJ Sayre,David IBMCorporation, 590 Madison Avenue, New York, NY Schorr-Kon,J.J. C-380Lincoln Laboratory, MIT, Lexington, MA Shapley,L. RandCorporation, 1700 Main Street, Santa Monica, CA Schutzenberger,M.P. R.L.E.,M.I.T. , Cambridge, MA Selfridge,O. G. LincolnLaboratory, M.I.T. , Lexington, MA Shannon,C. E. R.L.E.,M.I.T. , Cambridge, MA Shapiro,Norman RandCorporation, 1700 Main Street, Santa Monica, CA Simon,Herbert A. Departmentof Industrial Administration, Carnegie Institute of Technology, Pittsburgh, PA Solomonoff,Raymond J. TechnicalResearch Group, 17 Union Square West, New York, NY Steele,J. E., Capt. USAF Area B.,Box 8698, Wright-Patterson AFB, Ohio Webster,Frederick 62Coolidge Avenue, Cambridge, MA Moore, E.F. BellTelephone Laboratory, Murray Hill, NJ Kemeny,John G. DartmouthCollege, Hanover, NH [Mr. Qin notes: 13 pages original paper (PDF).] Aboutthis document ... Next:Aboutthis document John McCarthy Wed Apr 3 19:48:31 PST 1996
A PROPOSAL FOR THEDARTMOUTH SUMMER RESEARCH PROJECT ON ARTIF Next:About this document A PROPOSAL FOR THEDARTMOUTH SUMMER RESEARCH PROJECT ON ARTIFICIAL INTELLIGENCE J. McCarthy, Dartmouth College M. L. Minsky, Harvard University N. Rochester, I.B.M. Corporation C.E. Shannon, Bell Telephone Laboratories August 31, 1955 We propose that a 2 month, 10 man study of artificial intelligence be carried outduring the summer of 1956 at Dartmouth College in Hanover, New Hampshire. Thestudy is to proceed on the basis of the conjecture that every aspect oflearning or any other feature of intelligence can in principle be so preciselydescribed that a machine can be made to simulate it. An attempt will be made tofind how to make machines use language, form abstractions and concepts, solvekinds of problems now reserved for humans, and improve themselves. We thinkthat a significant advance can be made in one or more of these problems if acarefully selected group of scientists work on it together for a summer. The following are some aspects of the artificial intelligenceproblem: 1. AutomaticComputers If amachine can do a job, then an automatic calculator can be programmed to simulatethe machine. The speeds and memory capacities of present computers may beinsufficient to simulate many of the higher functions of the human brain, butthe major obstacle is not lack of machine capacity, but our inability to writeprograms taking full advantage of what we have. 2. HowCan a Computer be Programmed to Use a Language It maybe speculated that a large part of human thought consists of manipulating wordsaccording to rules of reasoning and rules of conjecture. From this point ofview, forming a generalization consists of admitting a new word and some ruleswhereby sentences containing it imply and are implied by others. This idea hasnever been very precisely formulated nor have examples been worked out. 3. NeuronNets How cana set of (hypothetical) neurons be arranged so as to form concepts.Considerable theoretical and experimental work has been done on this problem byUttley, Rashevsky and his group, Farley and Clark, Pitts and McCulloch, Minsky,Rochester and Holland, and others. Partial results have been obtained but theproblem needs more theoretical work. 4. Theoryof the Size of a Calculation If weare given a well-defined problem (one for which it is possible to testmechanically whether or not a proposed answer is a valid answer) one way ofsolving it is to try all possible answers in order. This method is inefficient,and to exclude it one must have some criterion for efficiency of calculation.Some consideration will show that to get a measure of the efficiency of a calculationit is necessary to have on hand a method of measuring the complexity ofcalculating devices which in turn can be done if one has a theory of thecomplexity of functions. Some partial results on this problem have beenobtained by Shannon, and also by McCarthy. 5. Self-lmprovement Probablya truly intelligent machine will carry out activities which may best bedescribed as self-improvement. Some schemes for doing this have been proposedand are worth further study. It seems likely that this question can be studiedabstractly as well. 6. Abstractions Anumber of types of ``abstraction'' can be distinctly defined and several othersless distinctly. A direct attempt to classify these and to describe machinemethods of forming abstractions from sensory and other data would seemworthwhile. 7. Randomnessand Creativity Afairly attractive and yet clearly incomplete conjecture is that the differencebetween creative thinking and unimaginative competent thinking lies in theinjection of a some randomness. The randomness must be guided by intuition tobe efficient. In other words, the educated guess or the hunch includecontrolled randomness in otherwise orderly thinking. Inaddition to the above collectively formulated problems for study, we have askedthe individuals taking part to describe what they will work on. Statements bythe four originators of the project are attached. Wepropose to organize the work of the group as follows. Potentialparticipants will be sent copies of this proposal and asked if they would liketo work on the artificial intelligence problem in the group and if so what theywould like to work on. The invitations will be made by the organizing committeeon the basis of its estimate of the individual's potential contribution to thework of the group. The members will circulate their previous work and theirideas for the problems to be attacked during the months preceding the workingperiod of the group. Duringthe meeting there will be regular research seminars and opportunity for themembers to work individually and in informal small groups. The originators of this proposal are: 1. C.E. Shannon, Mathematician, Bell Telephone Laboratories. Shannon developedthe statistical theory of information, the application of propositional calculusto switching circuits, and has results on the efficient synthesis of switchingcircuits, the design of machines that learn, cryptography, and the theory ofTuring machines. He and J. McCarthy are co-editing an Annals of MathematicsStudy on ``The Theory of Automata'' . 2. M.L. Minsky, Harvard Junior Fellow in Mathematics and Neurology. Minsky hasbuilt a machine for simulating learning by nerve nets and has written a PrincetonPhD thesis in mathematics entitled, ``Neural Nets and the Brain Model Problem''which includes results in learning theory and the theory of random neural nets. 3. N. Rochester, Manager of Information Research,IBM Corporation, Poughkeepsie, New York. Rochester was concerned with thedevelopment of radar for seven years and computing machinery for seven years.He and another engineer were jointly responsible for the design of the IBM Type701 which is a large scale automatic computer in wide use today. He worked outsome of the automatic programming techniques which are in wide use today andhas been concerned with problems of how to get machines to do tasks whichpreviously could be done only by people. He has also worked on simulation ofnerve nets with particular emphasis on using computers to test theories inneurophysiology. 4. J. McCarthy, Assistant Professor of Mathematics,Dartmouth College. McCarthy has worked on a number of questions connected withthe mathematical nature of the thought process including the theory of Turingmachines, the speed of computers, the relation of a brain model to itsenvironment, and the use of languages by machines. Some results of this workare included in the forthcoming ``Annals Study'' edited by Shannon and McCarthy.McCarthy's other work has been in the field of differential equations. TheRockefeller Foundation is being asked to provide financial support for theproject on the following basis: 1.Salaries of $1200 for each faculty level participant who is not being supportedby his own organization. It is expected, for example, that the participantsfrom Bell Laboratories and IBM Corporation will be supported by theseorganizations while those from Dartmouth and Harvard will require foundationsupport. 2. Salariesof $700 for up to two graduate students. 3.Railway fare for participants coming from a distance. 4. Rentfor people who are simultaneously renting elsewhere. 5.Secretarial expenses of $650, $500 for a secretary and $150 for duplicatingexpenses. 6.Organization expenses of $200. (Includes expense of reproducing preliminarywork by participants and travel necessary for organization purposes. 7.Expenses for two or three people visiting for a short time. EstimatedExpenses 6 salaries of 1200 $7200 2 salaries of 700 &1400 8 traveling and rent expenses averaging 300 &2400 Secretarial and organizational expense &850 Additional traveling expenses &600 Contingencies &550 &----& $13,500 PROPOSAL FOR RESEARCH BY C.E.SHANNON I would like to devote my research to one or both of the topicslisted below. While I hope to do so, it is possible thatbecause of personal considerations I may not be able to attend for the entiretwo months. I, nevertheless, intend to be there for whatever time is possible. 1.Application of information theory concepts to computing machines and brainmodels. A basic problem in information theory is that of transmittinginformation reliably over a noisy channel. An analogous problem in computingmachines is that of reliable computing using unreliable elements. This problemhas been studies by von Neumann for Sheffer stroke elements and by Shannon andMoore for relays; but there are still many open questions. The problem forseveral elements, the development of concepts similar to channel capacity, thesharper analysis of upper and lower bounds on the required redundancy, etc. areamong the important issues. Another question deals with the theory ofinformation networks where information flows in many closed loops (ascontrasted with the simple one-way channel usually considered in communicationtheory). Questions of delay become very important in the closed loop case, anda whole new approach seems necessary. This would probably involve concepts suchas partial entropies when a part of the past history of a message ensemble isknown. 2. Thematched environment - brain model approach to automata. In general a machine oranimal can only adapt to or operate in a limited class of environments. Eventhe complex human brain first adapts to the simpler aspects of its environment,and gradually builds up to the more complex features. I propose to study thesynthesis of brain models by the parallel development of a series of matched(theoretical) environments and corresponding brain models which adapt to them.The emphasis here is on clarifying the environmental model, and representing itas a mathematical structure. Often in discussing mechanized intelligence, wethink of machines performing the most advanced human thought activities-provingtheorems, writing music, or playing chess. I am proposing here to start at thesimple and when the environment is neither hostile (merely indifferent) norcomplex, and to work up through a series of easy stages in the direction ofthese advanced activities. PROPOSAL FOR RESEARCH BY M.L.MINSKY It isnot difficult to design a machine which exhibits the following type oflearning. The machine is provided with input and output channels and aninternal means of providing varied output responses to inputs in such a waythat the machine may be ``trained'' by a ``trial and error'' process to acquireone of a range of input-output functions. Such a machine, when placed in anappropriate environment and given a criterior of ``success'' or ``failure'' canbe trained to exhibit ``goal-seeking'' behavior. Unless the machine is providedwith, or is able to develop, a way of abstracting sensory material, it canprogress through a complicated environment only through painfully slow steps,and in general will not reach a high level of behavior. Now letthe criterion of success be not merely the appearance of a desired activitypattern at the output channel of the machine, but rather the performance of agiven manipulation in a given environment. Then in certain ways the motorsituation appears to be a dual of the sensory situation, and progress can bereasonably fast only if the machine is equally capable of assembling anensemble of ``motor abstractions'' relating its output activity to changes in theenvironment. Such ``motor abstractions'' can be valuable only if they relate tochanges in the environment which can be detected by the machine as changes inthe sensory situation, i.e., if they are related, through the structure of theenvironrnent, to the sensory abstractions that the machine is using. I havebeen studying such systems for some time and feel that if a machine can bedesigned in which the sensory and motor abstractions, as they are formed, canbe made to satisfy certain relations, a high order of behavior may result.These relations involve pairing, motor abstractions with sensory abstractionsin such a way as to produce new sensory situations representing the changes inthe environment that might be expected if the corresponding motor act actuallytook place. Theimportant result that would be looked for would be that the machine would tendto build up within itself an abstract model of the environment in which it isplaced. If it were given a problem, it could first explore solutions within theinternal abstract model of the environment and then attempt externalexperiments. Because of this preliminary internal study, these externalexperiments would appear to be rather clever, and the behavior would have to beregarded as rather ``imaginative'' A verytentative proposal of how this might be done is described in my dissertationand I intend to do further work in this direction. I hope that by summer 1956 Iwi11 have a model of such a machine fairly close to the stage of programming ina computer. PROPOSAL FOR RESEARCH BY N. ROCHESTER Originality in Machine Performance Inwriting a program for an automatic calculator, one ordinarily provides themachine with a set of rules to cover each contingency which may arise andconfront the machine. One expects the machine to follow this set of rulesslavishly and to exhibit no originality or common sense. Furthermore one isannoyed only at himself when the machine gets confused because the rules he hasprovided for the machine are slightly contradictory. Finally, in writingprograms for machines, one sometimes must go at problems in a very laboriousmanner whereas, if the machine had just a little intuition or could makereasonable guesses, the solution of the problem could be quite direct. Thispaper describes a conjecture as to how to make a machine behave in a somewhatmore sophisticated manner in the general area suggested above. The paperdiscusses a problem on which I have been working sporadically for about fiveyears and which I wish to pursue further in the ArtificialIntelligence Project next summer.
1956年《达特茅斯人工智能夏季研究项目提案》 1955年8月31日 我们建议在1956年夏天在新罕布什尔州汉诺威的达特茅斯学院进行为期2个月、10人的人工智能研究。该研究是在假设的基础上进行的,即学习的每个方面或任何其他智能特征原则上都可以如此精确地描述,以便可以使机器模拟它。将尝试找到如何使机器使用语言,形成抽象和概念,解决现在为人类保留的各种问题,并改进自己。我们认为,如果一个经过精心挑选的科学家团队在一起工作一个夏天,就可以在一个或多个这些问题上取得重大进展。 以下是人工智能问题的一些方面: 1.自动计算机 如果一台机器可以做一项工作,则一台可编程自动计算机器能用来模拟这台机器。现有计算机的速度和内存容量可能不足以模拟人脑的许多高级功能,但主要障碍不是缺乏机器容量,而是我们无法编写充分利用我们所拥有优势的程序。 2.如何使用语言对计算机进行编程 可以推测,人类思想的很大一部分包括根据推理规则和猜想规则来操控单词。从这个角度来看,形成包括承认一个新词和一些规则的概括,其中含有它的句子暗示并被其他人暗示。这个想法从未如此精确地制定,也没有制定出实例。 3.神经网络 如何安排一组(假设的)神经元以形成概念。乌特利·拉什夫斯基(Uttley,Rashevsky)和他的团队,法利(Farley)和克拉克(Clark),匹兹(Pitts)和麦卡洛克(McCulloch),明斯基(Minsky),罗切斯特(Rochester)和霍兰德(Holland)等人在这个问题上做了大量的理论和实验工作。已经获得了部分结果,但问题是需要更多的理论工作。 4.计算大小的理论 如果给出一个定义明确的问题(可以用机械方式测试提出的答案是否是有效答案),解决问题的方法是按顺序尝试所有可能的答案。这种方法效率低,要排除它,必须有一些计算效率的标准。一些考虑将表明,为了测量计算的效率,有必要手头有一种测量计算装置复杂性的方法,如果有一个具有功能复杂性的理论,则可以这样做。香农(Shannon)和麦卡锡(McCarthy)也获得了关于这个问题的部分结果。 5.自我改进 可能真正智能的机器将开展可以最好地描述为自我改进的活动。已经提出了一些这样做的方案,值得进一步研究。这个问题似乎也可以抽象地进行研究。 6.抽象 许多类型的“抽象”可以明确定义,而其他几个则不那么明显。直接尝试对这些进行分类并描述从感官数据和其他数据形成抽象的机器方法似乎是值得的。 7.随机性和创造力 一个相当有吸引力但又不完全不完整的猜想是,创造性思维和缺乏想象力的能力思维之间的区别在于注入一些随机性。随机性必须由直觉引导才能有效。换句话说,受过教育的猜测或预感包括在其他有序思维中的受控随机性。 除了上述集体制定的研究问题外,我们还要求参与其中的个人描述他们将要开展的工作。附上项目的四个发起人的声明。 我们建议如下组织小组的工作。 潜在参与者将被发送此提案的副本,并询问他们是否愿意处理该组中的人工智能问题,如果是,他们希望如何工作。邀请将由组委会根据个人对小组工作潜在贡献的估计作出。成员们将在小组工作期间的几个月内分发他们以前的工作和他们对受到攻击的问题的看法。 会议期间将定期举办研讨会,让会员有机会单独和非正式的小组工作。 该提案的创始人是: 1.C.E.香农(C.E. Shannon),数学家,贝尔电话实验室。香农(Shannon)开发了信息统计理论,命题演算在开关电路中的应用,并且有关于开关电路的有效合成,学习机器的设计,密码学和图灵机理论的结果。他和J.麦卡锡(J. McCarthy)共同编辑了“自动机理论”的数学年鉴研究。 2.M.L.明斯基(M. L. Minsky),哈佛大学数学与神经学初级研究员。明斯基已经建立了一个用于通过神经网络模拟学习的机器,并且已经写了一篇名为“神经网络和脑模型问题”的普林斯顿博士论文,其中包括学习理论和随机神经网络理论的结果。 3.N.罗切斯特(N. Rochester),IBM公司信息研究经理,纽约波基普西。罗切斯特七年来一直关注雷达和计算机械的发展。他和另一位工程师共同负责IBM Type 701的设计,这是目前广泛使用的大型自动计算机。他研究了一些当今广泛使用的自动编程技术,并且一直关注如何让机器完成以前只能由人来完成的任务相关问题。他还致力于模拟神经网络,特别强调使用计算机测试神经生理学的理论。 4.J.麦卡锡(J.McCarthy),达特茅斯学院数学助理教授。麦卡锡研究了许多与思维过程的数学本质相关的问题,包括图灵机的理论,计算机的速度,大脑模型与环境的关系,以及机器对语言的使用。这项工作的一些成果包含在即将出版的香农(Shannon)和麦卡锡(McCarthy)编辑的“年鉴研究(Annals Study)”中。麦卡锡的其他工作一直是微分方程领域。 洛克菲勒基金会被要求在以下基础上为该项目提供财政支持: 1.每个教师级别参与者1200美元的薪水,他们没有得到他自己组织的支持。例如,预计来自贝尔实验室和IBM公司的参与者将得到这些组织的支持,而来自达特茅斯和哈佛的参与者将需要基金会的支持。 2.最多两名研究生的700美元薪水。 3.远方参与者的铁路票花费。 4.为同时在其他地方租住的人租房。 5.秘书费用650美元,秘书费500美元,复制费用150美元。 6.组织费用200美元。(包括由参与者复制初步工作的费用和组织目的所需的旅行费用。 7.两三个人短期访问的费用。 预计花费 6份1200的薪资 $7200 2份700的薪资 1400 8份旅行和租金费用平均300 2400 秘书和组织费用 850 额外旅行费用 600 意外事件 550 ---- $13,500 C.E.香农(C.E. Shannon)的研究提案 我想将我的研究投入到下面列出的一个或两个主题中。虽然我希望这样做,但出于个人考虑,我可能无法参加完整的两个月。尽管如此,我打算在任何时间都在那里。 1.将信息论概念应用于计算机器和脑模型。信息理论中的基本问题是在嘈杂的信道上可靠地传输信息。计算机器中的类似问题是使用不可靠元件的可靠计算。这个问题已经由冯诺依曼研究的谢弗行程元件(Sheffer strokeelements),香农(Shannon)和摩尔(Moore)研究了继电器(relays);但仍有许多悬而未决的问题。几个要素的问题,类似于信道容量的概念的发展,对所需冗余的上限和下限的更尖锐的分析等都是重要的问题。另一个问题涉及信息网络理论,其中信息在许多闭环中流动(与通信理论中通常考虑的简单单向信道形成对比)。延迟问题在闭环情况下变得非常重要,似乎有必要采用一种全新的方法。当已知消息集合的过去历史的一部分时,这可能涉及诸如部分熵(partial entropies)之类的概念。 2.匹配环境——自动机的大脑模型方法。通常,机器或动物只能适用于在有限的一类环境中操作。即使是复杂的人类大脑也首先适应其环境的简单方面,并逐渐建立起更复杂的特征。我建议通过一系列匹配(理论上)环境的并行开发来研究脑模型的合成。这里的重点是澄清环境模型并将其表示为数学结构。探索定理、写音乐或下棋。我在这里建议从简单开始,当环境不是敌对(只是漠不关心)或复杂时,并通过一系列简单阶段向这些高级活动方向努力。 M.L.明斯基(M. L. Minsky)的研究提案 设计具有以下学习类型的机器并不困难。该机器具有输入和输出通道以及内部装置,可以对输入提供不同的输出响应,使得机器可以通过“反复试验和错误”过程“训练”以获得一个范围输入输出功能这样的机器,当放置在适当的环境中并且被赋予“成功”或“失败”的标准时,可以被训练成表现出“追求目标”的行为。除非机器具有或能够开发一种抽象感觉材料的方式,否则它只能通过缓慢的缓慢步骤在复杂的环境中前进,并且通常不会达到高水平的行为。 现在让成功的标准不仅仅是在机器的输出通道上出现所需的活动模式,而是在给定环境中给定操作的性能。然后在某些方面,该动作机(motor)状况似乎是感觉状况的双重情形,只有当机器同样能够组装“动作机抽象”集合并将其输出活动与环境变化联系起来时,进展才能相当快。这种“动作机抽象”只有当它们与环境的变化相关时才有价值,这些变化可以被机器检测为感觉状况的变化,即,如果它们通过环境结构,机器正在使用的感觉类型的抽象。 我已经研究了这样的系统一段时间并且觉得如果可以设计一种机器,其中可以使感觉和运动抽象形成,以满足某些关系,可以产生高度的行为。这些关系涉及配对、动作机抽象与感官抽象,以产生新的感觉情境,表示如果相应的运动机行为实际发生可能预期的环境变化。 将要寻找的重要结果是机器倾向于在其自身内部构建一个放置它的环境的抽象模型。如果遇到问题,它可以首先在内部抽象环境模型中探索解决方案,然后尝试外部实验。由于这项初步的内部研究,这些外部实验似乎相当聪明,而且这种行为必须被视为“富有想象力”。 我的论文中描述了一个关于如何做到这一点的非常初步的建议,我打算在这个方向上做进一步的工作。我希望到1956年夏天,我能够将这种机器的模型与计算机编程阶段相当接近。 N.罗切斯特(N. Rochester)的研究提案 机器性能的独创性 在编写用于自动计算器的程序时,通常为机器提供一组规则以涵盖可能出现并面对机器的每个意外事件。有人期望机器能够盲目地遵循这套规则,而显得没有任何原创性或常识。此外,当机器感到困惑时,一个人只会对自己感到恼火,因为他为机器提供的规则有点矛盾。最后,在为机器编写程序时,有时必须以非常费力的方式处理问题,而如果机器只有一点点直觉或者可以做出合理的猜测,问题的解决方案可能是非常直接的。本文描述了一个关于如何使机器在上面建议的一般领域中以更复杂的方式表现的设想。本文讨论了我偶尔工作了大约五年的问题,希望明年夏天在人工智能项目中进一步研究这个问题。 发明或发现的过程 生活是在给我们提供了解决许多问题的程序(procedures)之文化环境中。这些程序的工作原理尚不清楚,但我将根据Craik1建议的模型讨论问题的这一方面。他认为,心理行为基本上包括在大脑内构建小型引擎,可以模拟并预测与环境相关的抽象。因此,已理解问题的解决方案如下: 1.该环境提供形成某些抽象的数据。 2.抽象以及某些内部习惯或驱动提供: 2.1 根据将来要实现的期望条件来定义问题,目标。 2.2 建议的解决问题的措施。 2.3 刺激引起大脑引擎回应这种情况。 3.然后该引擎运行以预测这种环境状况和拟议的反应将导致什么。 4.如果预测对应于目标,则个体继续按照指示行事。 如果生活在他的文化环境中为个人提供问题的解决方案,则该预测将对应于该目标。关于作为存储程序计算器的个人,该程序包含用于覆盖该特定意外事件的规则。 对于更复杂状况,其规则可能更复杂。该规则可能要求测试一组可能的操作中的每一个,以确定提供解决方案的操作。更复杂的一套规则可能会提供环境的不确定性,例如在玩tic tac toe(三子棋:九宫格中的三连棋游戏,一款休闲益智游戏,秦注)时,不仅要考虑他的下一步动作,还要考虑环境的各种可能动作(他的对手)。 现在考虑一个问题,在这个问题中,文化中的任何个体都没有解决方案,并且抵制在解决方案上的努力。这可能是当前未解决的典型科学问题。个人可能会尝试解决它,并发现每一个合理的行为都会导致失败。换句话说,存储的程序包含解决此问题的规则,但规则略有错误。 为了解决这个问题,个人将不得不做一些不合理或意想不到的事情,正如文化所积累的智慧传统所判断的那样。他可以通过随机尝试不同的事情来获得这种行为,但这种方法通常效率太低。通常有太多可能的行动方案,其中只有一小部分是可以接受的。个人需要预感,这是意想不到的,但并非完全合理。一些问题,通常是相当新的问题,并且没有抵抗很多努力,只需要一点点随机性。其他人,通常是那些长期抵制解决方案的人,需要与传统方法进行真正奇怪的偏离。解决方案需要原创性的问题可能会产生一种涉及随机性的解决方法。 就Craik1的模型而言,应该模拟环境的引擎首先就无法正确模拟。因此,有必要尝试对该引擎进行各种修改,直到找到使其完成所需的动作。 不是根据他的文化中的个体来描述问题,而是可以根据对不成熟个体的学习来描述。当个人被提出超出其经验范围的问题时,他必须以类似的方式克服它。 迄今为止,在问题的机器解决方案中使用该方法的最近实用方法是蒙特卡罗方法的扩展。在适用于蒙特卡罗的通常问题中,存在一种严重误解的情况,其中存在太多可能的因素,并且无法确定在制定分析解决方案时忽略哪些因素。所以数学家有机器做了几千个随机实验。这些实验的结果提供了关于答案可能是什么的粗略猜测。蒙特卡罗方法的扩展是使用这些结果作为指导,以确定忽略什么,以便简化问题,足以获得近似的解析方案。 可能会问为什么该方法应该包括随机性。为什么不应该按照当前知识状态预测其成功的概率的顺序来尝试每种可能性?对于被他的文化所提供的环境所包围的科学家来说,可能只有一位科学家不可能在他的生活中解决问题,因此需要许多人的努力。如果他们使用随机性,他们可以立即在其上工作,而无需完全重复工作。如果他们使用系统,他们将需要不可能的详细通信。对于在与其他个体竞争中成熟的个体,混合策略(使用博弈论术语)的要求有利于随机性。对于机器,可能需要随机性来克服程序员的短视和偏见。虽然随机性的必要性显然尚未得到证实,但有许多证据表明它是有利的。 具有随机性的机器 为了编写程序使自动计算器使用原创性,而不使用洞见(forsight)来引入随机性。例如,如果一个人编写了一个程序,那么每10,000个步骤中就会产生一个随机数,并将其作为指令执行,结果可能会很混乱。然后在一定程度的混乱之后,机器可能会尝试禁止或执行停止指令,实验将结束。 然而,有两种方法似乎是合理的。其中之一是找到大脑如何设法做这种事情并复制它。另一种是在解决方案中采取某些需要原创性的实际问题,并试图找到一种方法来编写程序以在自动计算器上解决它们。这些方法中的任何一种都可能最终成功。然而,目前尚不清楚哪个会更快或者需要多少年或几代。到目前为止,我在这些方面的大部分努力都是采用前一种方法,因为我觉得最好掌握所有相关科学知识,以便解决这个难题,而且我已非常了解目前计算器的状况和为其编程的工艺。 大脑的控制机制与今天的计算器中的控制机制明显不同。表现其差异之一的是失败方式。计算器的失败很有特征性地产生了一些非常不合理的东西。内存或数据传输中的错误,可能至少就在最重要的数字中。控制中的错误几乎可以做任何事情。它可能执行错误的指令或操作错误的输入输出单元。另一方面,语言中的人为错误往往会导致几乎有意义的陈述(考虑一个几乎睡着,稍微醉酒,或稍微发烧的人)。也许大脑的机制是这样的,推理中的轻微错误会以正确的方式引入随机性。也许控制行为2中的序列顺序的机制引导随机因素,以便提高想象过程相对于纯随机性的效率。 在我们的自动计算器上模拟神经网络已经完成了一些工作。一个目的是看是否有可能以适当的方式引入随机性。事实证明,神经元的活动与解决问题之间存在太多未知的联系,这种方法尚未完成。结果对网和神经元的行为有所启发,但尚未找到解决需要创意的问题的方法。 这项工作的一个重要方面是努力使机器形成和操纵概念,抽象,概括和名称。试图测试大脑是如何做到的理论3。第一组实验引发了对该理论某些细节的修订。第二组实验正在进行中。到明年夏天,这项工作将完成,并将编写最终报告。 我的程序是尝试下一个编写程序来解决问题,这些问题是在解决方案中需要原创性的一些有限类问题的成员。现在预测明年夏天将会是什么阶段还是仅仅是;然后我将如何定义直接问题。但是,本文中描述的潜在问题是我打算追求的。用一句话来说,问题是:我怎样才能制造出能够在问题解决方案中展现独创性的机器? 参考 1.K.J.W. Craik,“解释的本质”,剑桥大学出版社,1943年(转载于1952年),92页。 2.K.S. Lashley,“行为中的序列顺序问题”,“行为中的脑机制”,Hixon Symposium,L.A.Jeffress编辑,John Wiley&Sons,纽约,第112-146页,1951年。 3.D. O. Hebb,行为组织,John Wiley&Sons,纽约,1949年 1.K.J.W. Craik, The Nature of Explanation, Cambridge University Press,1943 (reprinted 1952), p. 92. 2. K.S.Lashley, ``The Problem of Serial Order in Behavior'', in Cerebral Mechanismin Behavior, the Hixon Symposium, edited by L.A. Jeffress, John Wiley &Sons, New York, pp. 112-146, 1951. 3. D.O. Hebb, The Organization of Behavior, John Wiley & Sons, New York,1949 约翰·麦卡锡(John McCarthy)的研究提案 在明年和夏季人工智能研究项目期间,我建议研究语言与智力的关系。似乎很清楚,将试验和错误方法直接应用于感觉数据和运动活动之间的关系不会导致任何非常复杂的行为。相反,试验和错误方法必须应用于更高的抽象层次。人类的思想显然使用语言作为处理复杂现象的手段。较高级别的试错过程经常采用制定猜想和测试的形式。英语有许多属性,目前所描述的每种形式语言都缺乏这些属性。 1.用非正式数学补充的英语论证可以简明扼要。 2.英语是普遍的,因为它可以在英语中设置任何其他语言,然后在适当的地方使用该语言。 3.英语用户可以在其中引用自己并制定关于他在解决他正在处理的问题方面的进展的陈述。 4.除了举证规则外,如果完全制定英语则会有猜想规则。 迄今为止制定的逻辑语言要么是指令列表,要么使计算机进行预先指定的计算,要么正式化数学部分。后者的构建如下: 1.在非正式数学中容易描述, 2.允许将非正式数学的陈述翻译成语言, 3.轻松争论是否证明(???) 没有尝试用人工语言制作像非正式证据一样简短的证据。因此,似乎希望尝试构造一种人工语言,计算机可以编程用于需要猜测和自我引用的问题。它应该与英语相对应,因为关于给定主题的简短英语陈述应该在语言中有短记者,因此应该简短的论点或推测论证。我希望尝试制定一种具有这些属性的语言,并且除了包含物理对象,事件等的概念之外,希望使用这种语言可以对机器进行编程以学习如何很好地玩游戏以及其他任务。 对人工智能问题感兴趣的人 这个名单的目的,是让那些人知道谁有兴趣接收有关问题的文件。名单中的人将获得达特茅斯人工智能夏季项目报告的副本。[1996年注:没有报告。] 该名单由参与或参观达特茅斯人工智能夏季研究项目或已知对该主题感兴趣的人组成。它被发送给本名单和其他几个人。 就目前的目的而言,人工智能问题被认为是使机器以一种被称为智能的方式运行,如果人类如此表现的话。 修订后的名单将很快发布,以便任何有兴趣进入名单的人或希望更改其地址的任何人都应写信给: 约翰·麦卡锡 数学系 达特茅斯学院 新罕布什尔州汉诺威 [1996年注:并非所有这些人都参加了达特茅斯会议。他们是我们认为可能对人工智能感兴趣的人。](秦陇纪注:47人) 该清单包括: 阿德尔森,马文;休斯飞机公司;机场站,洛杉矶,加利福尼亚州 阿什比,W.R.;巴恩伍德之家;格洛斯特,英格兰 巴克斯,约翰;IBM公司;麦迪逊大街590号,纽约州纽约市 伯恩斯坦,亚历克斯;IBM公司;麦迪逊大街590号,纽约州纽约市 比奇洛,J.H.;高等研究院;新泽西州普林斯顿 伊莱亚斯,彼得;麻省理工学院R.L.E.;马萨诸塞州剑桥市 杜达,W.L.;IBM研究实验室;纽约州波基普西市 戴维斯,保罗 M.;第18街1317号;加利福尼亚州洛杉矶市 法诺,R.M.;麻省理工学院R.L.E.;马萨诸塞州剑桥市 法利,B.G.;公园大道324号;马萨诸塞州阿灵顿 加兰特,E.H.;宾夕法尼亚大学;宾夕法尼亚州费城 盖尔森特,赫伯特;IBM研究院;纽约州波基普西市 格拉肖,哈维A.;奥利维亚街1102号;安娜堡,密歇根州 戈尔扎尔,赫伯特;西11街330号;纽约州纽约市 哈格尔巴格;贝尔电话实验室;新泽西州默里希尔 米勒,乔治A.;纪念馆;哈佛大学;马萨诸塞州剑桥市 哈蒙,莱昂D.;贝尔电话实验室;新泽西州默里希尔 霍兰德,约翰H.;E.R.I.密歇根大学;安娜堡,密歇根州 霍尔特,阿纳托尔;农村巷7358号;宾夕法尼亚州费城 考茨,威廉H.;斯坦福研究所;加州门洛帕克 卢斯,R.D.;西117街427号;纽约州纽约市 麦凯,唐纳德;物理系;伦敦大学;伦敦,WC2,英格兰 麦卡锡,约翰;达特茅斯学院;新罕布什尔州汉诺威 麦卡洛克,沃伦S.;麻省理工学院R.L.E.;马萨诸塞州剑桥市 梅尔扎克,Z.A.;密歇根大学数学系;安娜堡,密歇根州 明斯基,M.L.;纽伯里街112号;马萨诸塞州波士顿 莫特,特伦查德;麻省理工学院电气工程系;马萨诸塞州剑桥市 纳什,约翰;高等研究院;新泽西州普林斯顿 纽厄尔,艾伦;卡内基理工学院工业管理系;匹兹堡,宾夕法尼亚州 罗宾逊,亚伯拉罕;多伦多大学数学系;多伦多,安大略省,加拿大 罗切斯特,纳撒尼尔;IBM公司工程研究实验室;纽约州波基普西市 罗杰斯,哈特利,小Jr;MIT数学系;马萨诸塞州剑桥市 罗森布利斯,沃尔特;麻省理工学院R.L.E.;马萨诸塞州剑桥市 罗斯坦,杰罗姆;东卑尔根广场21号;新泽西州红银行 赛尔,大卫;IBM公司;麦迪逊大街590号;纽约州纽约市 肖尔康,J.J.;麻省理工学院C-380林肯实验室;马萨诸塞州列克星敦 沙普利,L.;兰德公司;1700大街;加利福尼亚州圣莫尼卡 舒特泽伯格Schutzenberger,M.P;麻省理工学院R.L.E.;马萨诸塞州剑桥市 塞尔弗里奇,O.G.;麻省理工学院林肯实验室;马萨诸塞州列克星敦 香农,C.E.;麻省理工学院R.L.E.;马萨诸塞州剑桥市 夏皮罗,诺曼;兰德公司;1700大街;加利福尼亚州圣莫尼卡 西蒙,赫伯特A.;工业管理系;卡内基理工学院;匹兹堡,宾夕法尼亚州 索洛莫诺夫,雷蒙德J.;技术研究组;17联合广场西;纽约州纽约市 斯蒂尔,J.E.,上尉,美国空军;B区8698盒;莱特-帕特森空军基地;俄亥俄州 韦伯斯特,弗雷德里克;柯立芝大道62号;马萨诸塞州剑桥市 摩尔,E.F.;贝尔电话实验室;新泽西州默里希尔 凯梅尼,约翰G.;达特茅斯学院;新罕布什尔州汉诺威 关于这份文件...... 约翰麦卡锡 周四4月3日星期三19:48:31
从根本上重新构想人工智能,使其成为以人为本的实践 是时候重新评估人工智能教育的各个层面了。未来几年,从业者需要的不仅是专业技术知识,他们还必须了解哲学、伦理学,甚至法律。他们需要看到阿尼确保环境智能团队所看到的一切,他们需要将其融入众多学科中。研究工作也必须不断发展。在经历了这一天之后,我知道我们需要一种新的政策方法,首先要对民选官员(就像我刚刚遇到的那些政府官员一样)进行人工智能方面的普及教育。 想象空间是巨大的,但愿景需要一个重要的纽带串联起来,这个纽带就是大学。早在有人利用人工智能谋取利益之前,人工智能就已经在大学里起步了。在大学校园里,仍然最有可能感受到某些意想不到的研究突破带来的火花。感知机、神经网络、ImageNet,以及后来的很多东西都出自大学。我想建立的一切都已经在那里扎下了根基。我们只需要加以利用。 我们要从根本上重新构想人工智能,使其成为以人为本的实践,这个共同的目标就是下一颗北极星。在我看来,与其说这是旅程方向的改变,不如说是旅程范围的扩展。人工智能一直以来都追求科学性,而现在,它必须也追求人性。人工智能应该秉承最优秀的学术传统,保持合作和敬畏,同时不惧怕直面现实世界。毕竟,星光是多样的。一旦白色的光辉展开,各种颜色就会发出耀眼夺目的光芒。
未来不会只有诗意 一种全新的范式正在诞生,一如20世纪初物理学的崛起。这让我回想起十几岁时那些激发我想象力的故事,我幻想着,在那些激情燃烧的岁月里,物理学家们过着怎样的人生。这些早期先驱一定感受到了无限的神秘和深深的敬畏,量子世界的奥秘和宇宙相对论的威严唤醒了他们,他们对现实的看法发生了翻天覆地的变化,这种变化来得如此彻底、如此突然,让人很难不心生羡慕。他们在正确的时间出生在正确的地点,接受了历史最令人惊叹的礼物之一。我们不禁要问,神经网络这一现代化身是否就是我们这一代人的使命和召唤? 即便如此,我们也有理由承认,未来不会只有诗意。与人工智能相关的学术会议正在发生转变,这是更令人不安的变化预兆之一。几十年来,这些活动都很低调,只有教授、研究人员和学生参加,幸免于媒体的关注,同时经费也相当紧张。企业赞助商很少,通常仅限于施普林格(Springer)这样的学术出版商,而且只能在展厅角落里摆几张长板凳。但在AlexNet发布之后的几年里,来自《财富》世界500强的全球顶尖企业把学术活动变成了一场场盛宴,每一次新的聚会都更像是拉斯维加斯大道上的行业博览会。在短短几年内,沐浴在彩色灯光下的展台变得司空见惯,这些展台规模宏大,上面的企业标志十分醒目。谷歌和微软等公司还为正在选择职业的研究生举办了奢华的聚会。
更是深度学习的时代 2012年ImageNet挑战赛的冲击波仍在回荡。对像我们这样痴迷于计算机视觉的人来说,这是一个分水岭,全世界都开始认识到,比赛结果不仅仅是对图片理解的转折点,更是对一切事物理解的转折点。在这个曾经鲜为人知的竞赛中,AlexNet展示了大规模数据集、高速图形处理器和深度分层神经网络三者近乎神奇的组合。这种组合是一幅蓝图,其应用范围注定要远远超出计算机视觉领域。世界各地的实验室都在构建更加丰富的分层网络,与此相对应的,一个新的名字正在流行——这不仅仅是机器学习的时代,更是深度学习的时代。 一种全新的范式正在诞生,一如20世纪初物理学的崛起。这让我回想起十几岁时那些激发我想象力的故事,我幻想着,在那些激情燃烧的岁月里,物理学家们过着怎样的人生。这些早期先驱一定感受到了无限的神秘和深深的敬畏,量子世界的奥秘和宇宙相对论的威严唤醒了他们,他们对现实的看法发生了翻天覆地的变化,这种变化来得如此彻底、如此突然,让人很难不心生羡慕。他们在正确的时间出生在正确的地点,接受了历史最令人惊叹的礼物之一。我们不禁要问,神经网络这一现代化身是否就是我们这一代人的使命和召唤? 即便如此,我们也有理由承认,未来不会只有诗意。与人工智能相关的学术会议正在发生转变,这是更令人不安的变化预兆之一。几十年来,这些活动都很低调,只有教授、研究人员和学生参加,幸免于媒体的关注,同时经费也相当紧张。企业赞助商很少,通常仅限于施普林格(Springer)这样的学术出版商,而且只能在展厅角落里摆几张长板凳。但在AlexNet发布之后的几年里,来自《财富》世界500强的全球顶尖企业把学术活动变成了一场场盛宴,每一次新的聚会都更像是拉斯维加斯大道上的行业博览会。在短短几年内,沐浴在彩色灯光下的展台变得司空见惯,这些展台规模宏大,上面的企业标志十分醒目。谷歌和微软等公司还为正在选择职业的研究生举办了奢华的聚会。
欧文·比德曼 我费了一番功夫,终于找到了一些资料。这些资料甚至来自一个熟悉的来源——现代视觉研究成果的主要贡献者之一欧文·比德曼。他的这篇论文发表于1983年,我上次读这篇文章已经是好几年之前的事了,应该是在凌晨两点跟其他一堆文献一起浏览的。现在,我们已经对单样本学习进行了大量探索,并真正实现了视觉分类的梦想,从中学到的一切让我开始以一种崭新的视角重新审视这篇论文的观点。 比德曼在论文中探讨的话题与我的研究领域并不直接相关,但其中的内容却非常有趣。他讨论了如何利用基本几何形状的知识来识别复杂的物体。在论述和推导结论的过程中,比德曼试图回答一个看似简单的问题:世界上大约有多少独特的“事物”类别?也就是说,如果把所有的事物都相加——包括“摇椅”“企鹅”“跑车”“拉布拉多”“山”和其他所有东西——总数会是多少? 这个问题听上去更像一个谜语,而不是科学挑战。但是,比德曼采用了一种基于对英语语言的分析的独特方法,令我非常钦佩。单词在帮助我们对所见事物进行分类方面发挥着基础性的作用,因此他推断,对所有离散且可量化的事物的单词(即英文中的可数名词)进行计数,将是一个很好的起点。然后,他又计算出每个可数名词有多少个真正不同的变体,就像“杯子”这样单一类别的物体可能包括带华丽把手的白色茶具、色彩鲜艳的咖啡杯和普通的透明玻璃杯。由于某些类别比其他类别更具多样性,他通过假设一个合理的平均值将问题简化为一个简单的乘法问题,从而计算出总数。
大脑 很快,生物创新的闪光绽放成为集体之舞,随着不断丰富的生命分类进入一个新的时代,力量的平衡来回摇摆。今天,化石记录揭示了这一狂热时期自然选择的成果;有证据表明,仅仅是三叶虫的进化就在寒武纪末期达到顶峰,有数万个物种分布在10个目中。 与此同时,触觉的出现使进化变得更为复杂,很快就与不断发展的视觉形成了互补与平衡。与早期的光敏感性一样,新生的神经末梢也遍布原始生物的体表,传递触觉信号。 这些神经细胞不断生长并相互连接,形成了所谓的“神经网络”。这种分散的网络是中枢神经系统的前身,而中枢神经系统最终将成为更高级生命形式的特征。神经网络是一种生物电系统,原理简单,但功能强大。神经网络将对运动功能和感觉功能的控制融合到同一个反应机制中,这种机制适合执行“应对身体攻击”和“觅食”等基本任务。在进化过程中,神经网络虽然原始,却是与竞争日益激烈的外部世界保持同步的权宜之计,即使今天也依然存在,尤其是在水生生物中,例如某些种类的水母。 但是,仅仅将眼睛、神经末梢和四肢连接起来是不够的,尤其是因为随着眼球不断进化,看到的世界越发广阔、细致,同时,四肢也发展出了新的自由度和更强的关节。要在复杂的环境中有效行动,需要的不仅仅是条件反射,这就带来了另一个适应性挑战,促使生物体在“所见所感”和“如何反应”之间发展出日益复杂的中间环节。 随着感官所提供的信息深度和数量不断增加,生物体处理信息的工具也面临着增长的压力,类似我们需要更多更加复杂的计算设备来管理现代世界中的海量数据。为了处理五花八门的信息,神经系统不断发展,最终形成一个集中枢纽,其中的组成部分被越来越密集地压缩到一个器官里。我们把这个器官称为大脑。 因此,大脑并不是内部某种神秘的智力火花的产物,而是对外部世界的反应。愈加清晰和纷杂的外部世界影像,通过感官到达生物体内部,感知周围环境的能力促使我们发展出了整合、分析并最终理解这种感知的机制。视觉就是感知系统最为活跃的组成部分。
Think Different To me, marketing is about values. This is a very complicated world; it’s a very noisy world. And we’re not going to get a chance to get people to remember much about us. No company is. And so we have to be really clear on what we want them to know about us. Now, Apple fortunately is one of the half-a-dozen best brands in the whole world. Right up there with Nike, Disney, Coke, Sony, it is one of the greats of the greats. Not just in this country but all around the globe. And – but even a great brand needs investment and caring if it’s going to retain its relevance and vitality. And the Apple brand has clearly suffered from neglect in this area in the last few years. And we need to bring it back. The way to do that is not to talk about the speeds and fees, it’s not to talk about MIPS and megahertz, it’s not to talk about why we’re better than Windows The dairy industry tried for twenty years to convince you that milk was good for you. It's a lie but they tried anyway. And the sales were going like this. And then they tried Got Milk and the sales are going like this. Got Milk doesn’t even talk about the product – as a matter of fact it focuses on the absence of the product. But the best example of all and one of the greatest jobs of marketing that the universe has ever seen is Nike. Remember, Nike sells the commodity. They sell shoes. And yet when you think of Nike you feel something different than a shoe company. In their ads, as you know, they don’t ever talk about the product, they don’t ever tell you about their air soles and why they're better than Reebok’s air soles What is Nike doing in their advertising? They honor great athletes and they honor great athletics That’s who they are, that’s what they are about Apple spends a fortune on advertising. You'd never know it. You'd never know it. So when I got here, Apple just fired their agency we're doing a competition with twenty-three agencies that you know four years from now we would pick one and we blew that up and we hired Chiat-Day – the ad agency that I was fortunate enough to work with years ago. We created some award-winning work including the commercial voted the best ad ever made – "1984," by advertising professionals. And we started working about eight weeks ago and the question we asked was: Our customers want to know who is Apple and what is it that we stand for? Where do we fit in this world? And what we are about isn’t making boxes for people to get their jobs done, although we do that well. We do that better than almost anybody in some cases. But Apple’s about something more than that. Apple at the core – its core value is that we believe that people with passion can change the world for the better That’s what we believe. And we had the opportunity to work with people like that. We have the opportunity to work with people like you, with software developers, with customers who have done it in some big and some small ways. And we believe that in this world people can change it for the better. And that those people who are crazy enough to think they can change the world are the ones that actually do. And so what we’re going to do in our first brand marketing campaign in several years is to get back to that core value. A lot of things have changed. The market is a totally different place than it was a decade ago and Apple is totally different. Apple’s place in it is totally different. And believe me, the products and the distribution strategy and the manufacturing are totally different and we understand that. But values and core values, those things shouldn’t change. The things that Apple believed in at its core are the same things that Apple really stands for today. And so we wanted to find a way to communicate this and what we have is something that I am very moved by it – it honors those people who have changed the world. Some of them are living and some of them are not, but the ones that aren’t, as you’ll see, we know that if they’d ever used a computer it would have been a Mac And the theme of the campaign is “Think Different”. It’s the people honoring the people who think different and who moves this world forward. And it is what we are about. It touches the soul of this company. So I’m going ahead and roll it and I hope that you feel the same way about it that I do Here’s to the crazy ones – the misfits, the rebels, the troublemakers, the round pegs in the square holes, the ones who see things differently. They’re not fond of rules. And they have no respect for the status quo. You can quote them, disagree with them, glorify or vilify them. But the only thing you can’t do is ignore them because they change things. They push the human race forward. And while some may see them as the crazy ones, we see genius. Because the people who are crazy enough to think they can change the world, are the ones who do.
Think Different 乔布斯演讲 众所周知,1997 年史蒂夫·乔布斯重回苹果公司后,不仅创造了商业历史和其个人职业生涯的巨大成功,并且他还奇迹般地带领苹果公司重回正轨。 世界范围内的人们也正是从那时开始,形成了对苹果及其产品的认知。 下面这个演讲就是乔布斯回归苹果不久后,在内部做的一次分享。在乔布斯的众多演讲中,它绝不是最知名的,但他或许是最具启发、最深刻的。关于苹果公司是什么?它代表什么?以及它要在这个世界上处于怎样的地位? 究竟乔布斯是怎样将苹果带到被全世界所熟知的?那时的苹果想要追求的是什么? Think Different 乔布斯演讲: 对我来说,营销讲的是价值观。这是个复杂的世界,喧嚣的世界,我们没法让人们铭记我们,没有一家公司能做到。所以,我们要非常清楚——我们想让人们铭记我们什么,并非常清楚地把它传达出来。 幸运的是,如今苹果已经是世界上最好的六大品牌之一,跟耐克、迪士尼、可口可乐、索尼在同一个级别。 苹果是巨头中的巨头,不只是在美国,在世界范围内都是这样。但是一个再伟大的品牌要保持地位和活力,需要投入和关心。显然,过去这些年,苹果忽视了这一点,我们需要找回失去的东西,但找回的方式不是谈论速度和反馈,不是谈论 MIPS 架构和兆赫,也不是谈论我们比 windows 系统优越之处。 乳制品行业花了 20 年说服人们“喝牛奶对你好”。这是谎言,但他们尽力尝试了,牛奶销量是这样(往下滑),然后他们推出了“Got Milk”(“来一杯”) 营销广告,销量因此变成了这样(往上涨),“Got Milk” 广告没有提过产品指标,它甚至特意削弱产品的存在感。 最棒的营销案例是耐克,耐克可以称得上是营销界史无前例的最强者。注意,耐克是卖商品的,他们卖鞋子,但当你想到耐克时,你会觉得它和普通鞋厂不一样。他们的广告也不怎么提产品,他们从来不提 Air Sole 气垫,也不提他们的气垫比锐步的好在哪里。耐克的广告在表达什么呢?他们赞美伟大的竞技体育和运动员。这就是耐克,它们表达了他们是谁,它们代表什么。 你们永远不知道,苹果花费了好大一大笔钱在广告上。当我回来时,苹果刚刚解雇了自己的广告公司。我们在 23 家参加的竞标公司中挑选,挑了 4 年,最后确定了一家,Shaddai(李岱艾),我们雇佣了 Shaddai,一家多年前我有幸合作过的广告公司,我们创作了一些获奖作品,其中之一是由广告界专家评出的最佳广告“1984”。 8 周前,我们开始工作。我们提的问题是,消费者得知道:苹果是什么?它代表什么?在这个世界上它处于什么位置(地位)?我们不是只是制造一些“盒子”,帮助消费者完成工作或者事情,尽管在这方面我们做的比谁都好,甚至在某些地方,我们做到了最好。 但苹果不止于此,苹果的核心价值观在于,我们坚信有激情的人能让这个世界变得更美好。我们一直有机会和这样的人合作,和软件开发者,和用户,和你们,或多或少地在改变这个世界。我们确信,人们能让这个世界变得更美好。只有那些疯狂到以为自己能够改变世界的人,才能真正改变世界。 所以近几年内苹果计划开展首个品牌营销活动,让公司回归核心价值观。很多事情都变了,如今的市场行情跟 10 年前完全不一样了,苹果的产品、制造、分销策略不一样了,苹果的市场地位也是如此,我们明白这一点,但苹果的核心价值观不能变,苹果核心价值观认定的东西,就是今天苹果坚信的和所代表的东西。 所以我们希望找到一种方式来传达苹果的核心价值观,然后我们做了一个营销广告,它感动了我。它赞美了那些改变世界的人,这些人有的还活着,有的已经逝去。那些逝者,如果他们有机会选用电脑,那肯定是一台 Mac。 这次营销的主题是 “Think Different”(不同凡想),我们要赞美能 “Think Different” 的人,他们是推进这个世界前行的人,我们应该向他们致以崇高敬意。这是苹果做的事,它触及到了苹果公司的灵魂。我希望你们能有和我一样,看了之后,能与之产生共鸣。 我觉得这个广告做得很棒。它阐述了我们是谁,我们代表什么,为什么在这个世界上,它还很重要。我知道有些人会批评,为什么不讲讲我们有更好的“即插即用”功能,但是首先我们要让消费者明白苹果是什么。 广告里出现的几乎所有人,之前都没出现在广告里过,如果我们没有这么做,估计他们永远不会在广告里出现。我不认为这个世界上有另外一家公司能做成这个广告。 使用这些人的形象,我们需要得到他们本人(活着的)或者他们继承人(逝去的)的许可。这对我来说,是一段奇妙的经历,这些人,无论是活着的,还是逝去的,都有过和苹果共鸣的言论。他们很愿意让我们拿来做广告,这对我很重要,它给了我很大的激励。 非常感谢这个房间内外员工的奉献,大家一起来拯救这个公司。这个公司绝对会活过来。现在的问题不是能不能把苹果救回来,问题是我们能否让苹果再次伟大。
1 下一页