黑箱问题:为什么人工智能需要证明,而不是承诺
当人们想到人工智能时,他们会想到聊天机器人和大型语言模型。然而,人们很容易忽视人工智能正日益与社会关键领域紧密结合。
这些系统不再只是推荐观看或购买什么;它们还可以诊断疾病、批准贷款、检测欺诈和瞄准威胁。
随着人工智能越来越深入我们的日常生活,我们需要确保它的行为符合我们的最佳利益。我们需要确保它的输出是可证明的。
大多数人工智能系统都在黑匣子中运行,我们通常无法知道它们如何做出决策或它们是否按照预期行事。
其工作方式缺乏透明度,导致事后几乎不可能对人工智能决策进行审计或质疑。
对于某些应用来说,这已经足够好了。但在医疗保健、金融和执法等高风险领域,这种不透明性会带来严重风险。
人工智能模型可能会在不知不觉中编码偏见、操纵结果,或做出违反法律或道德规范的行为。如果没有可验证的线索,用户只能猜测决策是否公平、有效,甚至是否安全。
当人工智能能力继续呈指数级增长时,这些担忧就变得至关重要。
业界普遍认为,开发人工智能超级系统(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 这样的工具,我们现在有了一条可行的途径,将透明度、安全性和可追溯性嵌入到人工智能的基础中。
问题不再是我们是否能够证明人工智能的作用,而是我们是否选择这样做。
编辑塞巴斯蒂安·辛克莱
(责任编辑:理财)
-
总体而言,托比研究观察到资本方近两年对部分行业持续性关注的现象表明了B2B行业内已经出现了个别行业中的个别企业商业模式已经得到了资本机构认可或者阶段性认可的局面,并且这些企业的运营模式可以为该行业...[详细]
-
10月31日广发多元新兴股票净值增长1.65%,近3个月累计上涨23.03%
博慕传媒CEO李霞表示,吃播看似无聊,但由于更深层的精神陪伴意义,因此大部分的吃播受众是在挑选一位可以一起吃饭的朋友。...[详细]
-
SEC 指控 Unicoin 及其三名高管涉嫌 1 亿美元证券欺诈
几天前,我的朋友圈被《杀死今日头条》刷屏了,这没什么好奇怪的,历史总在重演——BAT联合围剿今日头条却又剿灭不掉,反而眼睁睁看着今日头条一步步茁壮成长,颇有当年红军反围剿的...[详细]
-
10月31日中信建投医药健康C净值下跌0.83%,今年来累计下跌16.4%
”——蔡文胜 创业就是做成一件事,或者做出价值也算成功,但其实不是每个人都能做出非常伟大的事情。...[详细]
-
在她对面驾着两台连着外置摄像头的手机,一台用于直播,一台用来录制制作短视频需要的素材。...[详细]
-
ETH交易平台芝麻交易所官方下载-芝麻交易所币币杠杆交易所v6.5.7下载地址
如果没有用户在平台上这一切自发的创作,无论是niconico还是niconico超会议都无法得以延续。...[详细]
-
” 这个结论让毕胜和团队很痛苦,感觉找不到方向,好在资本方从未给他们压力,反而一直鼓励毕胜,“毕胜你自己去寻找方向,只要你这个团队在,不管做什么,如果你们有想法,继续投你,看...[详细]
-
芝麻交易所ouyi加密货币钱包在线下载-芝麻交易所web3钱包免费版v6.3.7安装地址
从纽约证券交易所中国区第一代表,到2005年创办高瓴资本,最早管理的一笔资金是耶鲁大学投资基金办公室提供的2000万美元,再到截止2014年底,管理着规模超过180亿美元的资本,张磊的投资风格与投...[详细]
-
Bitget Wallet 更名,发起“人人享有加密货币”运动,并发起 100 万美元募款活动
瓶身附有设计一个二维码,以便人们了解缺水地区的详细信息,改变了15家工厂45组装配生产线,每天生产5000万瓶半瓶装饮用水,销往7万家超市、便利店。...[详细]
-
就怕坑里呆着太舒服,最后不愿意出来了。...[详细]