北京
分享至
新京报贝壳财经讯（记者罗亦丹）6月12日，2026北京智源大会开幕式上，图灵奖得主、美国国家工程院院士、IEEE会士惠特菲尔德·迪菲（Whitfield Diffie），图灵奖得主、马萨诸塞大学阿默斯特分校荣誉退休教授Andrew Barto分别做主题报告。
Whitfield Diffie以Security For AI Agents，Security Against AI Agents（护AI智能体之安，御AI智能体之险）为题进行分享。他提出，当前“控制论（反馈）”式的做法是在程序失败时进行修复，而未来的愿景应是开发形式化方法，以大幅提升程序按预期运行的可靠性。
迪菲对比了密码系统因程序规模极小而可充分研究验证的优势，指出典型的计算机程序，包括编译器、操作系统、应用和智能体等，其规模要大得多，通常已超出人类的验证能力，人们期望这些任务未来可由AI完成。他强调，当前编程实践中，对智能体的限制（Confinement）——即保证智能体只能访问授权资源，在现有编程中仍做得不足。
编辑 岳彩周
校对 卢茜
特别声明：以上内容(如有图片或视频亦包括在内)为自媒体平台“网易号”用户上传并发布，本平台仅提供信息存储服务。
Notice: The content above (including the pictures and videos if any) is uploaded and posted by a user of NetEase Hao, which is a social media platform and only provides information storage services.
