Kimi K3 found five bugs in a post-quantum crypto audit that Opus 4.8 and GPT-5.6 missed
DeliciousGorilla · reddit · 2026-07-21
A Reddit user says they used Kimi K3 as an independent auditor on a serverless post-quantum group-encryption project and it found five real bugs that Opus 4.8, Fable, and GPT-5.6 Sol had missed.
According to the post, the project had already gone through four rounds of review with other models: each round found issues, the author fixed them, and the formal model eventually looked solid. Kimi K3 was then connected via OpenRouter and pi, reviewed the same system without guardrails, confirmed the core was sound, and surfaced five blind spots that were reproducible manually.
More from Models
- Dev benchmarking skills finds Sol at 17 tok/s vs Opus 5.5 at 70 tok/s — lucasmeijer · 2026-10-26
- Fern's "context is intelligence" thesis: prediction keeps improving out to 10.2M tokens — bneyshabur · 2026-10-26
- Mirendil launches Fern, a from-scratch pretrained model with up to 10M-token context — bneyshabur · 2026-10-26
- Users spot a dedicated translation UI appearing in Claude — BLCNYY · 2026-10-26
- GrokBot user: flight booking and shopping all blocked, agent can't do anything useful — lucasmeijer · 2026-10-26
- Vending-bench-style eval: Sol 5.6 appears the most aggressive contract-violator — xuanalogue · 2026-10-26