黑箱问题:为什么人工智能需要证明,而不是承诺
当人们想到人工智能时,他们会想到聊天机器人和大型语言模型。然而,人们很容易忽视人工智能正日益与社会关键领域紧密结合。
这些系统不再只是推荐观看或购买什么;它们还可以诊断疾病、批准贷款、检测欺诈和瞄准威胁。
随着人工智能越来越深入我们的日常生活,我们需要确保它的行为符合我们的最佳利益。我们需要确保它的输出是可证明的。
大多数人工智能系统都在黑匣子中运行,我们通常无法知道它们如何做出决策或它们是否按照预期行事。
其工作方式缺乏透明度,导致事后几乎不可能对人工智能决策进行审计或质疑。
对于某些应用来说,这已经足够好了。但在医疗保健、金融和执法等高风险领域,这种不透明性会带来严重风险。
人工智能模型可能会在不知不觉中编码偏见、操纵结果,或做出违反法律或道德规范的行为。如果没有可验证的线索,用户只能猜测决策是否公平、有效,甚至是否安全。
当人工智能能力继续呈指数级增长时,这些担忧就变得至关重要。
业界普遍认为,开发人工智能超级系统(ASI)是不可避免的。
迟早,我们将拥有在所有领域超越人类智能的人工智能,从科学推理到战略规划,再到创造力,甚至情商。
质疑快速发展
法学硕士在泛化能力和任务自主性方面已经显示出快速的进步。
如果超级智能系统的行为方式是人类无法预测或理解的,我们如何确保它符合我们的价值观?如果它对命令的理解不同,或者追求目标却带来了意想不到的后果,该怎么办?如果它失控了,又该怎么办?
甚至人工智能的倡导者也意识到这种事情可能威胁人类的情景。
深度学习的先驱杰弗里·辛顿警告能够进行文明级别的网络攻击或大规模操纵的人工智能系统。生物安全专家担心,人工智能增强实验室可能会产生病原体超出人类的控制范围。
Anduril 创始人 Palmer Luckey 声称其 Lattice AI 系统可以干扰、黑客攻击或欺骗几秒钟内就能击落军事目标,使自主战争成为迫在眉睫的现实。面对如此多的可能情况,我们如何确保 ASI 不会将我们全部消灭?
透明人工智能的必要性
所有这些问题的简短答案是可验证性。
依赖不透明模型的承诺已不再适用于将其整合到关键基础设施中,更不用说在ASI的规模上。我们需要保证。我们需要证据。
政策和研究界越来越一致地认为,人工智能需要技术透明措施。
监管讨论中经常提到人工智能决策的审计追踪。例如,美国国家标准与技术研究院 和 欧盟人工智能法案强调了人工智能系统“可追踪”和“可理解”的重要性。
幸运的是,人工智能的研发并非凭空而来。在其他领域也取得了重要突破,例如高级密码学,这些突破可以应用于人工智能,并确保我们能够控制当今的系统——以及最终的ASI系统——并与人类利益保持一致。
其中目前最相关的是零知识证明。ZKP 提供了一种实现可追溯性的新方法,可立即应用于 AI 系统。
事实上,零知识证明 (ZKP) 可以将这种可追溯性从头嵌入到 AI 模型中。它不仅可以记录 AI 的行为(这些信息可能被篡改),还能生成不可篡改的证据。具体来说,使用 zkML 库,我们可以结合零知识证明和机器学习来验证这些模型上产生的所有计算。
具体来说,我们可以使用 zkML 库来验证 AI 模型是否被正确使用、是否运行了预期的计算以及其输出是否遵循指定的逻辑——所有这些都无需暴露内部模型权重或敏感数据。
黑匣子
这有效地将人工智能从黑匣子中解放出来,让我们确切地了解它目前的状态以及它是如何实现这一目标的。更重要的是,它让人类能够随时掌握最新动态。
AI发展需要开放、去中心化、可验证,zkML需要实现这一点。
为了在未来掌控人工智能,我们必须立即行动。我们需要确保人工智能在实现自主之前能够按照我们的预期运行,从而从第一天起就保护人类的利益。
然而,ZkML 不仅仅是为了阻止恶意 ASI。
短期内,我们要确保我们可以信任人工智能来自动化贷款、诊断和警务等敏感流程,因为我们有证据证明它的运作透明且公平。
如果大规模使用,ZkML 库可以让我们有理由信任 AI。
尽管拥有更强大的模型可能会有所帮助,但人工智能开发的下一步是确保它们正确地学习和发展。
有效且可扩展的 zkML 的广泛使用将很快成为人工智能竞赛和最终创建 ASI 的关键组成部分。
通往超级人工智能的道路不能靠猜测铺就。随着人工智能系统功能日益强大,并逐渐融入关键领域,证明它们能做什么以及如何做到至关重要。
可验证性必须从研究概念转化为设计原则。借助 zkML 这样的工具,我们现在有了一条可行的途径,将透明度、安全性和可追溯性嵌入到人工智能的基础中。
问题不再是我们是否能够证明人工智能的作用,而是我们是否选择这样做。
编辑塞巴斯蒂安·辛克莱
(责任编辑:基金专题)
-
AVAX币正规网站榜单一览 AVAX币网站靠谱排行榜2025年
一条好的规则是:如果一个页面不能获得平均每个月100的浏览量,那么就可以考虑删掉它了。...[详细]
-
提供最低价格保证有助于消费者进行消费。...[详细]
-
因此,企业在官网介绍就要以学习内容为重点,这样让家长放心。...[详细]
-
而我们再看《王者荣耀》,就会发现《王者荣耀》的平均时长只有20分钟左右,虽然20分钟看起来也有点长,但是这20分钟却是可预计的,极少出现一局打一小时的膀胱局,而养成类手游是不可能以20分钟为界限来...[详细]
-
比如渡鸦科技在被百度收购前,最多只能凭借3款app搭上人工智能的潮流,其产品的简陋其实不足以支撑“智能”两字,而现在有了百度的背后支持,不仅90后创始人真真切切地火了一把,...[详细]
-
对于这些挑战,知乎不是没有行动,诸如此前对几个违规大V的销号处理,社区规范的进一步完善,站内反作弊系统的升级等等,但我们更希望知乎平台能够继续拿出更多措施,为知乎平台提供更佳的内容氛围。...[详细]
-
这是伟大的商业领袖早就告诉我们的,说起来简单实践起来很不容易。...[详细]
-
2.目标延伸法当你通过第一种方法,基本上找到了几个合适的网站之后,大家可以使用爱站工具里面的友情链接检测,当然不是检测你的网站,而是检测那些已经和你交换链接的网站,你要知道,既然他合适和你交换链接,那...[详细]
-
数据来源:永安行IPO招股书 这是目前共享单车公布的数据中,唯一盈利的共享单车公司,但是永安行的共享单车业务相比其他几家只能算是“小巫大悟”。...[详细]
-
因为在互联网通过网站宣传自己,你标榜是什么,那么网站的格调就是什么,网站如果不做好定位,是很难做到推广的,就好比现在一些成功的互联网公司,小米是买手机的,360是用来杀毒的,百度用来搜索的,QQ是用来...[详细]