图灵奖得主迪菲亮相智源大会，称未来应着力研发形式化方法
创始人
2026-06-13 00:35:57
0次
新京报贝壳财经讯（记者罗亦丹）6月12日，2026北京智源大会开幕式上，图灵奖得主、美国国家工程院院士、IEEE会士惠特菲尔德·迪菲（Whitfield Diffie），图灵奖得主、马萨诸塞大学阿默斯特分校荣誉退休教授Andrew Barto分别做主题报告。
Whitfield Diffie以Security For AI Agents，Security Against AI Agents（护AI智能体之安，御AI智能体之险）为题进行分享。他提出，当前“控制论（反馈）”式的做法是在程序失败时进行修复，而未来的愿景应是开发形式化方法，以大幅提升程序按预期运行的可靠性。
迪菲对比了密码系统因程序规模极小而可充分研究验证的优势，指出典型的计算机程序，包括编译器、操作系统、应用和智能体等，其规模要大得多，通常已超出人类的验证能力，人们期望这些任务未来可由AI完成。他强调，当前编程实践中，对智能体的限制（Confinement）——即保证智能体只能访问授权资源，在现有编程中仍做得不足。
编辑 岳彩周
校对 卢茜
相关内容
热门资讯
雷军用私家车装600斤车厘子被...
6月12日，小米科技有限责任公司创始人@雷军 晒出视频“带1000斤车厘子慰问工程师”。视频中，雷军...
财政紧张，山西一地仍花9000...
人民日报 本报记者 刘鑫焱 郑洋洋原标题：5年前，山西原平市不顾客观实际，盲目开发建设景观小镇总投资...
【保密提醒】警惕“无感”泄密！...
数字化、智能化为日常办公带来便利的同时，也使得泄密风险同步攀升，防范难度不断增大。这种情况下，正确认...
图灵奖得主迪菲亮相智源大会，称...
新京报贝壳财经讯（记者罗亦丹）6月12日，2026北京智源大会开幕式上，图灵奖得主、美国国家工程院院...
原创 地...
文/编辑:老张鉴语 在多数人的认知里，三文鱼只是肉质鲜美、营养丰富的高端食材，是餐桌上满足味蕾、养...
“超级地球”“迷你海王星”如何...
“超级地球”“迷你海王星”如何演化？中国科学家最新研究揭开谜团 中新网北京6月12日电 (记者 孙...
特朗普把自己逼到悬崖边，两侧都...
在全球市场和舆论高兴了大约20个小时后，特朗普于北京时间周五晚上发帖，指控“伊朗泄露给假新闻媒体的条...
日本H3火箭发射成功，上次失败...
据凤凰卫视报道，日本H3火箭6号机6月12日从鹿儿岛县的种子岛宇宙中心发射成功，这是日本继去年12月...
专家：美方底牌被伊朗看穿，陷入...
据凤凰卫视报道，特朗普突然取消打击伊朗的计划，并表示美伊协议关键细节已获各方认可，两国媒体也已经陆续...
伊媒发布协议草案，特朗普称与事...
当地时间12日，美国总统特朗普在社交媒体发文称，伊朗媒体发布的美伊协议草案与“美伊双方书面达成的协议...