软件说你偷了钱，你就是贼？英国邮政 Horizon 冤案：一套有 bug 的会计系统，毁了数百位分局长
TL;DR：1999 年起，英国邮政在各地分局推行 Horizon 会计系统，此后十余年里，大批分局长因为系统里“对不上的账”被指控盗窃、做假账，甚至入狱。2019 年英国高等法院裁定，Horizon 确实存在会造成账目差额的 bug、错误和缺陷；2024 年英国又专门立法，批量撤销相关有罪判决。需要说明的是，具体每位当事人的案情各不相同，本文讲的是这起事件的整体脉络。 这是一起老事件，不是今天的新闻。故事从 1999 年开始，主要的错误起诉发生在 2000 年代到 2010