图灵奖得主迪菲亮相智源大会，称未来应着力研发形式化方法
创始人
2026-06-12 21:59:33
0次
炒股就看金麒麟分析师研报，权威，专业，及时，全面，助您挖掘潜力主题机会！
（来源：贝壳财经）
新京报贝壳财经讯（记者罗亦丹）6月12日，2026北京智源大会开幕式上，图灵奖得主、美国国家工程院院士、IEEE会士惠特菲尔德·迪菲（Whitfield Diffie），图灵奖得主、马萨诸塞大学阿默斯特分校荣誉退休教授Andrew Barto分别做主题报告。
Whitfield Diffie以Security For AI Agents，Security Against AI Agents（护AI智能体之安，御AI智能体之险）为题进行分享。他提出，当前“控制论（反馈）”式的做法是在程序失败时进行修复，而未来的愿景应是开发形式化方法，以大幅提升程序按预期运行的可靠性。
迪菲对比了密码系统因程序规模极小而可充分研究验证的优势，指出典型的计算机程序，包括编译器、操作系统、应用和智能体等，其规模要大得多，通常已超出人类的验证能力，人们期望这些任务未来可由AI完成。他强调，当前编程实践中，对智能体的限制（Confinement）——即保证智能体只能访问授权资源，在现有编程中仍做得不足。
编辑 岳彩周
校对 卢茜
相关内容
热门资讯
ST派瑞A股股东户数减少733...
6月11日消息，数据显示，截至2026年6月10日，ST派瑞（维权）A股股东总户数为2.9万户，较上...
博众精工A股股东户数增加165...
6月12日消息，数据显示，截至2026年6月10日，博众精工A股股东总户数为1.63万户，较上期（2...
中汽股份A股股东户数增加125...
6月12日消息，数据显示，截至2026年6月10日，中汽股份A股股东总户数为2.65万户，较上期（2...
2026陆家嘴论坛6月17日开...
将举办一系列重大项目签约和政策发布活动。 6月12日，上海市政府举行新闻发布会，介绍2026陆家嘴论...
国际锐评｜日本“再军事化”又发...
日本自民党近日召开总务会，通过了拟向政府提交的修订“安保三文件”的建议草案。这是继2022年版安保文...
第十三届中俄大学生交流大会在俄...
中国教育报-中国教育新闻网讯（记者 曹曦 通讯员 太译彬）6月11日，第十三届“携手青春·共享阳光”...
浙江工商职业技术学院：青瓷体验...
中国教育报-中国教育新闻网讯（记者 史望颖 通讯员 姚敏明）近日，浙江宁波上林湖青瓷文化传承园迎来了...
SpaceX上市首日股价大涨超...
美东时间周五，SpaceX正式在纳斯达克挂牌交易，IPO首日开盘报150美元，其IPO发行价为每...
投资者提问：您好，请问贵公司在...
投资者提问：您好，请问贵公司在超级电容方面有所布局吗。董秘回答(深科技SZ000021)：尊敬的投资...
东风日产N序列新能源第10万台...
炒股就看金麒麟分析师研报，权威，专业，及时，全面，助您挖掘潜力主题机会！ （来源：IT之家）I...