(슬라이드 포함) 저는 지난 몇 주 동안 주로 Opus 4.8 및 Fable을 사용하여 서버리스 양자 내성 그룹 암호화 프로토콜 (serverless post-quantum group-encryption protocol)을 구축해 왔으며, 가장 까다로운 부분(복구/최종성 메커니즘)에 대해서는 GPT-5.6 Sol을 사용하여 적대적 검토 (adversarial review)를 수행했습니다. 총 4라운드의 검토를 거쳤는데, 각 라운드마다 무언가가 발견되었고 Claude가 이를 수정했으며, 마지막에는 형식 모델 (formal model)이 견고해졌습니다. 저는 이 과정을 신뢰하고 있었습니다… 하지만 그때 Kimi K3가 등장했고, 한번 시도해 보기로 했습니다. 암호학 프로젝트에 가드레일 (guardrails)이 없다고요? 좋습니다. 그래서 저는 OpenRouter와 pi를 통해 연결한 뒤, 독립적인 감사자 (independent auditor)로서 정확히 동일한 모델을 대상으로 지정했습니다. Kimi K3는 다른 모델들이 놓쳤던 5개의 실제 버그를 찾아냈습니다. 자체적인 스윕 (sweep)을 실행하여 핵심 부분은 건전하다는 것을 확인했지만, 저는 확실히 하기 위해 모든 버그를 직접 재현해 보았습니다. Kimi K3는 다른 모델들이 보지 못했거나 (또는 볼 수 없도록 허용되지 않았던) 사각지대를 포착했습니다. 매우 인상적입니다! /u/DeliciousGorilla가 r/LocalLLaMA에 제출함 [link] [comments]