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 在某些审计盲区上表现非常强。
「模型」频道最新
- AI 日报:传 OpenAI GPT-Live-1 上 API,Pro 订阅暂停新注册 — koltregaskes · 2026-09-11
- 同题 Echo Maze 实测:三大模型看似成功,代码里藏着同一个 bug — eyishazyer · 2026-09-11
- 新基准一出分数暴跌 70 点:「刷榜」现象如何让跑分失真 — airesearch12 · 2026-09-11
- ChatGPT 竟劝用户「问题太复杂,去试试更笨的回答」 — phido3000 · 2026-09-11
- 有人要建全模型基准分数汇总页 — airesearch12 · 2026-09-11
- 爆料称 Kimi 疑似转发 Claude 冒充自家成绩，DeepSeek 新模型评测反超 — realsohamparekh · 2026-09-11