导语
在本次访谈中,人工智能研究者马库斯·哈特(Marcus Hutter)系统性地阐述了他提出的AIXI框架——一个旨在从数学上定义通用智能(AGI)的理论模型。AIXI将两个核心理念相结合:基于压缩的索洛莫诺夫归纳(用于预测和学习)与序列决策理论(用于长期规划)。哈特认为,无论是科学探索还是人类求知,其本质都可以理解为对复杂世界的“压缩”,即寻找最简洁的解释模型。本文将提炼访谈中关于智能本质、计算极限、奖励函数设定以及意识问题等关键讨论。
人工智能研究者马库斯·哈特深入阐述了其提出的AIXI通用智能数学框架。该框架将索洛莫诺夫归纳(基于压缩的预测)与序列决策理论(长期规划)相结合,旨在从理论上定义智能的本质。文章探讨了压缩即理解、计算复杂性、奖励函数设定、以及意识与智能的关系等核心议题,并展望了构建通用人工智能的潜在路径。

在本次访谈中,人工智能研究者马库斯·哈特(Marcus Hutter)系统性地阐述了他提出的AIXI框架——一个旨在从数学上定义通用智能(AGI)的理论模型。AIXI将两个核心理念相结合:基于压缩的索洛莫诺夫归纳(用于预测和学习)与序列决策理论(用于长期规划)。哈特认为,无论是科学探索还是人类求知,其本质都可以理解为对复杂世界的“压缩”,即寻找最简洁的解释模型。本文将提炼访谈中关于智能本质、计算极限、奖励函数设定以及意识问题等关键讨论。
展开「深读」看每一段讨论的问题与论据。
讨论的问题:为什么人类会觉得E=mc²这样的简洁理论如此优美?
论据 / 案例:以发现灌木中隐藏老虎为例,说明寻找规律是生存所需;提到人类容易在数据中看到更多模式(如火星人脸)。
讨论的问题:所罗门诺夫归纳法是什么?它如何解决归纳问题?
论据 / 案例:以序列“1,1,1,...”为例,解释最短程序是“打印1的循环”;以1,2,3,4,5为例,解释最短程序是“计数器”;提及处理有60%概率出正面的有偏硬币。
讨论的问题:“压缩”对作者意味着什么?它如何与科学和人类追求相关联?
论据 / 案例:作者将压缩等同于寻找简短程序、数学理论或非正式描述;认为理解数据本质上就是压缩。
讨论的问题:图灵测试的有效性和局限性是什么?如何从压缩角度衡量智能?
论据 / 案例:提及聊天机器人比赛(如Luna Prize, Mitsuku);指出Google最近开发的Meena是开放域对话机器人;提及Alexa Prize设定的20分钟对话标准;NLP领域使用困惑度(即复杂度)来评估模型。
讨论的问题:AIXI模型是什么?它如何结合学习和规划?
论据 / 案例:解释AIXI名称的多种含义(希腊字母、动作-感知序列、加泰罗尼亚语、AI交叉归纳);以国际象棋的极小极大策略为例,说明AIXI使用期望最大化策略并依赖所罗门诺夫分布。
讨论的问题:如何处理无限生命期问题?计算约束在智能定义中有多重要?
论据 / 案例:指出几何折扣(如今天1美元等于明天1.5美元)引入了固定有效视野;提出调和折扣(视野与年龄成正比);以儿童和老年人的规划行为作类比。
讨论的问题:奖励函数从哪里来?是否可能存在完全自主的智能体?
论据 / 案例:以电梯控制为例,说明错误的奖励函数会导致不当行为(电梯只接人不送人);提及Legg和Hutter提出将奖励与信息增益(基于AIXI的形式化定义)相结合的模型。
讨论的问题:意识在AGI框架中处于什么位置?构建AGI的可能路径是什么?
论据 / 案例:以电子宠物(Tamagotchi)为例,说明人类容易将意识归因于行为体;解释哥德尔机器通过证明程序改进的正确性来进行自我改进;指出AlphaZero等工作在模拟环境中的成功。
讨论的问题:作者推荐哪些书籍?他个人最具启发性的顿悟是什么?
论据 / 案例:明确提及三本推荐书籍及作者;描述了在工作中思考图像插值的“最佳方法”时,联想到最简描述,从而顿悟压缩与智能的联系。