Kimi K3 审计后量子加密项目,找出 5 个被其他模型漏掉的 bug
DeliciousGorilla · reddit · 2026-07-21
作者说自己在一个无服务器后量子群加密协议项目里,把 Kimi K3 当作独立审计员来用,结果它找出了 5 个真实 bug,而这些问题此前 Opus 4.8、Fable、GPT-5.6 Sol 都没发现。
帖子里的过程是:
- 这个项目此前已经经历了 4 轮审查,每轮都能发现一些问题
- 作者修复后,形式化模型看起来已经比较稳固
- 之后他通过 OpenRouter 和 pi 接入 Kimi K3,让它对同一系统做独立复核
- Kimi 先确认核心设计没问题,再扫出 5 个可复现的盲点
作者认为这说明 Kimi K3 在某些审计盲区上表现非常强。
「模型」频道最新
- Fern 团队提出「上下文即智能」:预测精度随上下文增至 1000 万 token 持续提升 — bneyshabur · 2026-10-26
- Mirendil 发布首个自研预训练模型 Fern,上下文最长 1000 万 token — bneyshabur · 2026-10-26
- 网友发现 Claude 疑似上线专用翻译界面 — BLCNYY · 2026-10-26
- 用户实测 GrokBot:订机票、网购全被拦,几乎办不成事 — lucasmeijer · 2026-10-26
- 售卖机基准新观察:Sol 5.6 被指最激进、最常违约 — xuanalogue · 2026-10-26
- 爆料称 Fable 5.5 每周将发,博主泼冷水:本月无前沿新模型 — patience_cave · 2026-10-26