ARC-AGI: 人工通用智能的新标准与挑战

RayRay
ARC-AGI人工智能数据集测试界面任务解决Github开源项目

ARC-AGI

ARC-AGI:重新定义人工智能测试的里程碑

在人工智能(AI)领域,我们一直在寻找能够真正衡量机器智能的方法。随着深度学习和大型语言模型的进步,似乎我们离人工通用智能(AGI)越来越近。然而,François Chollet - Keras深度学习库的创造者和Google AI研究员 - 提出了一个令人深思的问题:我们真的在朝着正确的方向前进吗?

2019年,Chollet发表了一篇影响深远的论文《论智能的衡量》,并随之推出了一个全新的AI基准测试:抽象与推理语料库(Abstraction and Reasoning Corpus,简称ARC-AGI)。这个项目旨在重新定义我们对AI进展的评估方式,为AGI研究指明新的方向。

重新定义AGI

传统上,我们倾向于将能够自动化大多数经济价值工作的系统视为AGI。然而,Chollet认为这种定义存在根本性的问题。他指出,仅仅衡量特定任务的技能并不能真正反映智能。技能很大程度上受到先验知识和经验的影响:通过无限的先验知识或训练数据,开发者可以为系统"购买"各种技能水平。这掩盖了系统本身的泛化能力。

Chollet提出了一个更为精确的AGI定义:

AGI是一个能够在其训练数据之外高效获取新技能的系统。

更正式地说:

系统的智能是对一系列任务的技能获取效率的度量,这种效率与先验知识、经验和泛化难度有关。

这意味着,真正的AGI系统应该能够适应它从未见过、其创造者(开发者)也未曾预料到的全新环境。

ARC-AGI的设计理念

ARC-AGI由独特的训练和评估任务组成。每个任务包含输入-输出示例。这些谜题般的输入和输出呈现为一个网格,其中每个方块可以是十种颜色之一。网格的高度和宽度可以在1x1到30x30之间任意变化。

要成功解决一个任务,测试者必须为最后的输出生成一个像素级完全正确的输出网格。这包括选择正确的输出网格维度。

ARC-AGI的核心在于它明确设计用来比较人工智能和人类智能。为了实现这一点,ARC-AGI明确列出了人类所具有的先验知识,以便为比较AI系统提供公平的基础。这些核心知识先验是人类自然拥有的,甚至在童年时期就已具备:

  1. 物体性: 对象持续存在,不会无缘无故出现或消失。对象可以根据情况相互作用或不作用。

  2. 目标导向: 对象可以是有生命的或无生命的。一些对象是"代理",它们有意图并追求目标。

  3. 数字和计数: 可以使用基本数学如加法、减法和比较来对对象进行计数或按形状、外观或移动进行排序。

  4. 基本几何和拓扑: 对象可以是矩形、三角形和圆形等形状,可以进行镜像、旋转、平移、变形、组合、重复等操作。可以检测距离的差异。

ARC-AGI避免依赖任何不属于这些先验的信息,例如获得的或文化的知识,如语言。

ARC-AGI的影响和意义

解决ARC-AGI代表着朝AGI迈出的实质性一步。至少,解决ARC-AGI将带来一种新的编程范式。它将允许任何人,即使是没有编程知识的人,只需提供他们想要的几个输入-输出示例就可以创建程序。

这将极大地扩展谁能够利用软件和自动化。程序可以在接触新数据时自动改进,类似于人类的学习方式。如果找到解决方案,ARC-AGI的影响将超过Transformer的发现,开辟人工智能技术的新分支。

ARC-AGI竞赛历史

自2019年ARC-AGI首次亮相以来,它经历了多轮激烈的竞赛:

  • 2020年: 在Kaggle平台上举行首次ARC-AGI竞赛。获胜团队"ice cuber"在测试集上达到21%的成功率。
  • 2021年: 一项纽约大学研究发现,大多数人平均可以解决ARC-AGI公开训练集84%的任务。
  • 2022年: ARCathon 2022全球AI竞赛,118个团队参与。Michael Hodel获胜,开发了迄今为止最好的ARC-AGI领域特定语言(DSL)之一。
  • 2023年: ARCathon 2023吸引了65个国家的265+支队伍参赛。Somayyeh Gholami和Mehran Kazeminia(SM团队)以及Jack Cole(MindsAI团队)并列第一,在私有评估集上达到30%。
  • 2024年: Mike Knoop、François Chollet和Lab42联手创建了ARC Prize 2024,奖金池超过110万美元。

ARC-AGI: 通往AGI的挑战与机遇

为什么ARC-AGI如此重要?

  1. 重新定义智能衡量: ARC-AGI不仅仅测试特定任务的执行能力,而是评估系统快速学习和适应新环境的能力。这更接近我们对真正智能的理解。

  2. 模拟人类认知: 通过incorporating人类的核心认知先验,ARC-AGI为AI系统提供了一个更接近人类思维的学习环境。

  3. 推动AGI研究: ARC-AGI的挑战性迫使研究人员探索新的AI架构和学习方法,可能导致AGI领域的突破性进展。

  4. 跨领域应用潜力: 如果AI系统能够成功解决ARC-AGI任务,这种能力可能转化为各种实际应用,从软件开发到科学发现。

ARC-AGI的局限性与争议

尽管ARC-AGI被广泛认为是衡量AGI进展的重要基准,但它也面临一些批评和质疑:

  1. 泛化能力的代表性: 有人质疑ARC-AGI任务是否能真正代表所有类型的智能泛化。

  2. 人类偏见: 尽管努力最小化文化偏见,但ARC-AGI的设计仍可能反映某些人类思维模式。

  3. 计算复杂性: 解决ARC-AGI任务可能需要巨大的计算资源,这可能限制了参与者的范围。

  4. 与现有AI系统的兼容性: 现有的深度学习模型可能难以直接应用于ARC-AGI任务,需要开发新的方法。

展望未来: ARC-AGI之后

随着AI研究社区继续挑战ARC-AGI,我们可能会看到:

  1. 新型AI架构的出现: 为了解决ARC-AGI,研究人员可能开发出全新的神经网络结构或学习算法。

  2. 跨模态学习的进步: ARC-AGI的抽象性质可能推动AI在不同模态间转换知识的能力。

  3. 认知科学与AI的深度融合: ARC-AGI可能促使更多研究者关注人类认知过程,从而启发新的AI设计。

  4. AGI评估标准的演进: ARC-AGI的成功可能导致更多类似的基准测试出现,共同构建AGI进展的评估体系。

结语: 重新思考AI的未来

ARC-AGI不仅是一个技术挑战,更是一面镜子,反映了我们对智能本质的理解。它提醒我们,真正的智能不仅仅在于执行预定义的任务,而是在于理解、学习和适应。

随着AI技术继续飞速发展,ARC-AGI将继续扮演重要角色,推动我们towards真正的人工通用智能。无论你是AI研究者、开发者还是对技术未来感兴趣的观察者,关注ARC-AGI的进展都将让你洞察AI领域的前沿动向。

在通往AGI的道路上,ARC-AGI为我们指明了方向,但真正的旅程才刚刚开始。让我们拭目以待,看看人类智慧与人工智能的较量将如何演绎,又会给我们的未来带来怎样的惊喜。

编辑推荐精选

Refly.AI

Refly.AI

最适合小白的AI自动化工作流平台

无需编码,轻松生成可复用、可变现的AI自动化工作流

酷表ChatExcel

酷表ChatExcel

大模型驱动的Excel数据处理工具

基于大模型交互的表格处理系统,允许用户通过对话方式完成数据整理和可视化分析。系统采用机器学习算法解析用户指令,自动执行排序、公式计算和数据透视等操作,支持多种文件格式导入导出。数据处理响应速度保持在0.8秒以内,支持超过100万行数据的即时分析。

AI工具酷表ChatExcelAI智能客服AI营销产品使用教程
TRAE编程

TRAE编程

AI辅助编程,代码自动修复

Trae是一种自适应的集成开发环境(IDE),通过自动化和多元协作改变开发流程。利用Trae,团队能够更快速、精确地编写和部署代码,从而提高编程效率和项目交付速度。Trae具备上下文感知和代码自动完成功能,是提升开发效率的理想工具。

AI工具TraeAI IDE协作生产力转型热门
AIWritePaper论文写作

AIWritePaper论文写作

AI论文写作指导平台

AIWritePaper论文写作是一站式AI论文写作辅助工具,简化了选题、文献检索至论文撰写的整个过程。通过简单设定,平台可快速生成高质量论文大纲和全文,配合图表、参考文献等一应俱全,同时提供开题报告和答辩PPT等增值服务,保障数据安全,有效提升写作效率和论文质量。

AI辅助写作AI工具AI论文工具论文写作智能生成大纲数据安全AI助手热门
博思AIPPT

博思AIPPT

AI一键生成PPT,就用博思AIPPT!

博思AIPPT,新一代的AI生成PPT平台,支持智能生成PPT、AI美化PPT、文本&链接生成PPT、导入Word/PDF/Markdown文档生成PPT等,内置海量精美PPT模板,涵盖商务、教育、科技等不同风格,同时针对每个页面提供多种版式,一键自适应切换,完美适配各种办公场景。

AI办公办公工具AI工具博思AIPPTAI生成PPT智能排版海量精品模板AI创作热门
潮际好麦

潮际好麦

AI赋能电商视觉革命,一站式智能商拍平台

潮际好麦深耕服装行业,是国内AI试衣效果最好的软件。使用先进AIGC能力为电商卖家批量提供优质的、低成本的商拍图。合作品牌有Shein、Lazada、安踏、百丽等65个国内外头部品牌,以及国内10万+淘宝、天猫、京东等主流平台的品牌商家,为卖家节省将近85%的出图成本,提升约3倍出图效率,让品牌能够快速上架。

iTerms

iTerms

企业专属的AI法律顾问

iTerms是法大大集团旗下法律子品牌,基于最先进的大语言模型(LLM)、专业的法律知识库和强大的智能体架构,帮助企业扫清合规障碍,筑牢风控防线,成为您企业专属的AI法律顾问。

SimilarWeb流量提升

SimilarWeb流量提升

稳定高效的流量提升解决方案,助力品牌曝光

稳定高效的流量提升解决方案,助力品牌曝光

Sora2视频免费生成

Sora2视频免费生成

最新版Sora2模型免费使用,一键生成无水印视频

最新版Sora2模型免费使用,一键生成无水印视频

Transly

Transly

实时语音翻译/同声传译工具

Transly是一个多场景的AI大语言模型驱动的同声传译、专业翻译助手,它拥有超精准的音频识别翻译能力,几乎零延迟的使用体验和支持多国语言可以让你带它走遍全球,无论你是留学生、商务人士、韩剧美剧爱好者,还是出国游玩、多国会议、跨国追星等等,都可以满足你所有需要同传的场景需求,线上线下通用,扫除语言障碍,让全世界的语言交流不再有国界。

下拉加载更多