本文在 2026 年国际可用性、可靠性和安全性会议 (ARES) 的 AI4TCI（安全可信关键基础设施系统人工智能研讨会）研讨会上被接受。自主谈判代理越来越多地部署在保险和采购等高风险环境中。虽然加密技术可以保护明确披露的约束值，但它们无法解决更微妙的威胁：行为隐私泄露，对手从可观察的谈判动态（例如让步轨迹、时间安排和……）中推断出私人约束。
A Visit to the Network School in Forest City
参观森林城市网络学校上周，我前往新加坡，在 AI4X 会议上做了受邀演讲，这是一个令人兴奋的新场所，聚集了计算机科学家、物理学家和工程师，讨论人工智能将如何加速科学发现。我的演讲是全体会议开幕日的第二次。Tommaso Dorigo星期六, 06/20/2026 - 09:29类别科学教育与政策
Air India Flight Strays Into Pakistani Airspace After Navigation System Failure
印度航空 (AI) 的一架空客 A321 航班从新德里 (DEL) 飞往阿姆利则 (ATQ) 的 AI463 航班于周一晚上在导航系统故障后短暂进入巴基斯坦领空。印度航空航班在导航系统故障后误入巴基斯坦领空的帖子首先出现在航空 A2Z 上。
A Visit to the Network School in Forest City
参观森林城市网络学校上周，我前往新加坡，在 AI4X 会议上做了受邀演讲，这是一个令人兴奋的新场所，聚集了计算机科学家、物理学家和工程师，讨论人工智能将如何加速科学发现。我的演讲是全体会议开幕日的第二次。Tommaso Dorigo星期六, 06/20/2026 - 09:29类别科学教育与政策
