热点事件观察中
研究用Lean形式化验证阿拉斯加排序选举计票规则
1 篇报道1 个报道来源2 天前更新
先了解这件事
AI 综述
2026年10月27日，arXiv cs.CY 发布一项研究，以阿拉斯加排序选择选举为案例，用 Lean 形式化该州计票规则的解释并验证其实现，证明选举特定结果。研究称，自2022年以来阿拉斯加115场排序选择选举中，10场选举的75条选票记录被复现公布结果的程序以不同于该解释的方式计数，但未改变任何胜选结果；差异源于超额投票和重复排名，研究还考察了其法律依据。
AI 根据报道生成 · 2 小时前更新
最新进展10月27日 00:00
研究用Lean形式化阿拉斯加计票规则，发现10场选举75条选票记录计数方式与解释不同，未改变结果。报道时间线
沿着报道，了解事件的不同侧面。
10月27日
- arXiv cs.CY用 Lean 形式化验证阿拉斯加排序选择选举计票规则
研究以阿拉斯加排序选择选举为案例，用 Lean 形式化该州计票规则的解释并验证其实现，证明选举特定结果。自 2022 年以来阿拉斯加 115 场排序选择选举中，10 场选举的 75 条选票记录被复现公布结果的程序以不同于该解释的方式计数，但未改变任何胜选结果；差异源于超额投票和重复排名，研究还考察了其法律依据。
本事件热度走势
还没有足够的连续观测数据，暂不绘制趋势。