Links e acesso
O pensamento
Python provou o conceito; para escala industrial o motor precisava ser C++ com vetorização AVX2 e FMA. A execução em BIGANN-100M atingiu NDCG@10=1.000 — mas é importante ser preciso: esse 1.000 foi medido contra um ground-truth de scan exato recalculado pelo próprio benchmark (50 queries), não contra o ground-truth oficial do BIGANN. A comparação com o ground-truth da literatura ainda não foi publicada.
Por que importa
Demonstra que o motor C++ escala até 100M vetores e que o bound de Cauchy-Schwarz não foi violado no scan executado. A métrica comparável com a literatura (NDCG contra o ground-truth oficial do BIGANN) ainda não foi medida publicamente.
Metodologia
C++ com AVX2, projeção QR-ortogonal, bound Cauchy-Schwarz, quantização int8
Resultados principais
- NDCG@10 = 1.000 no BIGANN-100M (C++, contra scan exato recalculado pelo benchmark; 50 queries)
- 0 violações de bound (verificadas no mesmo scan)
- AVX2+FMA+OpenMP; latência ~2s/query em 100M (2023ms)
Por que esta branch importa
Implementação C++ de produção (AVX2+FMA+OpenMP) no repositório winnex-audit-cpp — o motor auditável de referência.