以太坊联合创始人维塔利克·布特林(Vitalik Buterin)对Moonshot AI在其Kimi K3.1 Pro模型中主动限制高级网络攻击能力的做法表示认可。他认为,此举有助于防止人工智能被用于恶意目的,同时避免因技术失控引发政府过度干预。
在10月26日发布的一则观点帖中,布特林指出,针对特定用途的限制远比基于身份或国籍的访问排斥更为合理。他支持公司从训练数据中剔除涉及复杂漏洞利用的内容,认为这为开发者争取了关键时间来强化软件防御体系。
“对用例的约束优于对人群的标签化。”他强调,当前社会需借助形式化验证、旧代码审查及基础设施升级等手段,构建足以抵御强大AI攻击的安全防线。
形式化验证是一种通过数学逻辑证明程序行为符合预期的技术,布特林长期倡导其在关键系统中的应用。今年9月,他曾驳斥“AI将彻底颠覆网络安全”的悲观论调,主张自动化验证可显著提升防守效率。
Moonshot将Kimi K3.1 Pro定位为基于原有架构的开源权重升级版本。据官方说明,团队已移除部分与高级网络攻击相关的训练素材,保留通用编程能力以维持实用性。
在内部漏洞利用基准测试中,未受限版本解决率达90.5%,而发布版降至81%,性能差距为9.5个百分点。尽管如此,该版本相较前代Kimi K3的33.3%得分已有明显提升,表明其在实际场景中仍具备较强潜力。
在Terminal-Bench 4.0测试中,新模型取得65.7%的成绩,略低于Claude Opus 5.5的66.4%,高于GPT-6 Astra的58.2%。上述数据来自公司自测,尚未经过第三方独立验证。此外,平台已推出高速版本,宣称运行速度较标准版快两至三倍。
布特林进一步警示,一旦大规模AI攻击事件发生且缺乏有效应对机制,可能迫使政府和科技企业实施强制性身份认证与深度监控措施。
他设想未来可能出现的场景:访问高级AI工具需完成“了解你的客户”流程,甚至根据国籍、证件类型划分用户等级,形成事实上的数字阶层。
这一担忧与其近期开展的隐私保护实验一致。10月16日,他发布了一套结合Tor路由、zkAPI匿名支付及本地提示词重写的智能体系统,旨在实现低暴露状态下的安全访问。
独立研究机构此前已对早期版本的Kimi K3进行过安全性测试。2024年7月,美国人工智能标准与创新中心与英国人工智能安全研究所联合评估发现,该模型虽不及顶尖攻击型系统,但仍能在模拟环境中尝试执行多步攻击。
在一次企业级网络攻防演练中,原版Kimi K3平均完成17步攻击操作,而当时最强的美国模型平均完成28.5步。此数据对应的是未更新的Kimi K3版本,非当前发布的K3.1 Pro。
布特林此前曾建议将更多AI开发资源投向安全测试与形式化验证领域。今年5月,他提出该方法可应用于以太坊的零知识虚拟机、密码学协议、共识机制乃至抗量子加密研究,推动底层系统的韧性建设。