图灵奖得主迪菲亮相智源大会，称未来应着力研发形式化方法

新京报贝壳财经讯（记者罗亦丹）6月12日，2026北京智源大会开幕式上，图灵奖得主、美国国家工程院院士、IEEE会士惠特菲尔德·迪菲（Whitfield Diffie），图灵奖得主、马萨诸塞大学阿默斯特分校荣誉退休教授Andrew Barto分别做主题报告。

Whitfield Diffie以Security For AI Agents，Security Against AI Agents（护AI智能体之安，御AI智能体之险）为题进行分享。他提出，当前“控制论（反馈）”式的做法是在程序失败时进行修复，而未来的愿景应是开发形式化方法，以大幅提升程序按预期运行的可靠性。

迪菲对比了密码系统因程序规模极小而可充分研究验证的优势，指出典型的计算机程序，包括编译器、操作系统、应用和智能体等，其规模要大得多，通常已超出人类的验证能力，人们期望这些任务未来可由AI完成。他强调，当前编程实践中，对智能体的限制（Confinement）——即保证智能体只能访问授权资源，在现有编程中仍做得不足。

编辑 岳彩周

校对 卢茜