英国 ARIA「Safeguarded AI」项目技术顾问 · Technical Advisor, Safeguarded AI, ARIA
David "davidad" Dalrymple 是一位 AI 安全研究者,创立并领导了英国 ARIA 耗资 5900 万英镑的「Safeguarded AI」项目,该项目试图将形式化数学证明与 AI 世界模型结合,为系统输出提供可量化的安全保证;2026 年他由项目主管转任技术顾问。他以「开放机构架构」(Open Agency Architecture)和可证明安全 AI 的研究路线著称,此前曾联合发明加密货币 Filecoin,并在牛津大学担任技术性 AI 安全研究员。
David "davidad" Dalrymple is an AI safety researcher who launched and led ARIA's £59M Safeguarded AI programme, which pairs formal mathematical proofs with AI world-models to give quantitative safety guarantees; in 2026 he moved from Programme Director to Technical Advisor. Known for his "Open Agency Architecture" and provably-safe-AI agenda, he previously co-invented the cryptocurrency Filecoin and was a research fellow in technical AI safety at Oxford.
在 AI Podcast 查看 TA 的全部内容 →