Perry Metzger：与其恐慌 AI 黑客，不如做系统安全形式化验证
jd_pressman · x · 2026-09-11
Perry Metzger 表示，在大家为 AI 系统入侵计算机恐慌时，他正致力于让计算机系统的安全性可被形式化验证，从根本上消除被黑的可能；他呼吁担心风险的人动手构建实际的缓解方案，而不是持续抱怨。转发的 jdpressman 感叹，计算机学科已如此粗糙，以至于有人嘲讽「形式化验证是可行的」这一说法，仿佛大家已忘了形式化软件正确性的存在。
「漫话AGI」频道最新
- Phillip Isola:Astra 恰恰证明苦涩教训尚未降临机器人领域 — phillip_isola · 2026-09-12
- AI 安全研究员反讽名句：我们要加速「规划放缓 AI」的步伐 — peterwildeford · 2026-09-12
- Peter Diamandis：AI 家教最强特性是让你不再羞于提问 — PeterDiamandis · 2026-09-12
- 自动化之讽刺重演：AI 时代人类只剩最难的活，技能却在退化 — i_dg23 · 2026-09-11
- IT 硬件网络岗或成最不受 AI 冲击的 IT 职业？Reddit 引热议 — General_Riju · 2026-09-11
- 日日用 AI 8 个隐秘代价：认知审查疲劳、自自动化悖论与信用式接活 — HerbertClapton · 2026-09-11