Pro Mode — raw scores, one benchmark under the lensthird-party eval harness
1 models measured, most on the third-party eval harness. BFS-Prover-V2-32B tops the board at 85.5.
1 measured·Lifecycle Updated Oct 8, 2026Score basis
#◆Vendor$/M in$/M out
Leader — ignites whiteField — fill cools with scoreBars show 85.5–85.5 · ◆ solid = first-party or better · outlined = arm's-length
◆ solid = independently verified · aggregator attested · vendor attributed — outlined = cross-reference · source-attributed. Dimmed ◆ = confidence inferred. “+N alts” = alternate disclosures in the drawer with why-demoted. Prices per million tokens; $/point = input price ÷ score. Every row opens its model dossier.
Verification: 1 model scored · 0 independently verified · 1 vendor-reported · 0 with source disagreement. How these tiers are assigned