Which model leads Theorem QA?

Qwen2 72B Instruct leads the Theorem QA board of 6 measured models on the Vector Wire tracker at 44.4. Every score is source-attributed with a verification tier.

Theorem QA Leaderboard — Model Scores

Refresh Models —Deals —Regulatory —Sources —

Pro Mode — raw scores, one benchmark under the lensofficial card harness

The field · 6 measured

19.244.4

6 models measured, most on the official card harness. Qwen2 72B Instruct tops the board at 44.4.

6 measured·3 new this week·Lifecycle Updated Sep 2, 2026Basis

#◆Vendor$/M in$/M out

Leader — ignites whiteField — fill cools with scoreIndependently verified only0 of 6Bars show 19.2–44.4· ◆ solid = first-party or better · outlined = arm's-length

01Qwen2 72B InstructNEWAlibaba44.4———

02Qwen2.5-Coder 32B InstructNEWAlibaba43.1$0.06/M$0.20/M$0.003

03Qwen2 7B InstructNEWAlibaba25.3———

04Llama-3-8BMeta22.1$0.04/M$0.14/M$0.004

05Gemma-7BGoogle21.5———

06Mistral-7BMistral19.2———

◆ 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.