软件对抗软件的时代正式宣告终结 [D]
摘要
一篇反思性评论,探讨生成式AI如何使传统的机器人检测手段过时,并推动转向像Orb设备这样的生物特征硬件验证来抵御女巫攻击。
我感觉我们已经跨越了一个怪异的门槛,在生成式AI领域,针对僵尸网络的军备竞赛已经结束了,而且机器人赢了。我最近读到一篇采访,Reddit的CEO提出用Face ID和Touch ID来验证评论者是否为真人。这真的让我意识到事情已经变得多么荒谬。传统的启发式方法和行为分析现在对现代LLM完全无效,而视觉模型解验证码的速度比我还快。网络僵尸理论基本上已成为我们日常工程现实。我们现在所处的阶段是,唯一能可靠证明你不是自动化脚本的方法,就是将自己的数字身份锚定到物理生物学特征上。从纯粹的技术角度看,看到向硬件验证的转变令人着迷。比如研究那个Orb设备背后的工程:在定制硬件上做局部生物虹膜哈希,仅为了输出一个零知识证明来证明你是人类。真是疯狂,我们现在竟然需要专门的物理设备来强制执行“一人一账号”的概念。平台推动这一点完全合理,因为试图构建软件防火墙来对抗无限扩展的AI代理是一场必败之战。但这感觉像是互联网运作方式的一次巨大、永久的转变。不知道,还有别人现在在研究女巫攻击防御吗?我们是不是都集体接受了生物特征硬件门禁是拯救互联网免于99%合成噪音的唯一方式?
相似文章
@BrianRoemmele: 哦,太讽刺了!有一家AI检测公司自称为Pentagram(没错,是他们自己命名的)他们销售...
本文批评了一家AI检测公司,因为讽刺的是,其自身内容被其他工具检测为AI撰写,认为AI检测工具有缺陷且对人类作家有害。
@saranormous: https://x.com/saranormous/status/2064510215056400652
尽管以Devin为代表的AI编程助手取得了快速进展,显著提升了代码编写和交付的速度,但本文认为,软件工程中最有价值的部分仍难以通过基准测试衡量,并且需要人类的判断和组织协调,这些是无法轻易自动化的。
软件黑客马拉松已逝。硬件黑客马拉松万岁
作者认为,AI工具使软件编程变得微不足道,从而将黑客马拉松的关注点转向硬件集成。他主张在未来的黑客马拉松中,接受荒诞、复古的硬件项目并结合AI。
为人类准备的软件
ClankerFree 是一个资源库,收录经认证未使用生成式AI或大语言模型技术的软件项目,倡导由人类编写的软件。
Vitalik Buterin 谈AI:重点不是聊天机器人,而是证明软件安全
Vitalik Buterin 认为,AI 可以使形式化验证更加实用,帮助生成规范和证明以确保软件行为正确,从而可能改变以太坊之外的关键软件开发。