NVIDIA A100 80GB SXM4~62 tok/s (Q4)

AI-MO/Kimina-Prover-72B speed on NVIDIA A100 80GB SXM4

Quantization-specific throughput and VRAM requirements for AI-MO/Kimina-Prover-72B running on NVIDIA A100 80GB SXM4.

Speed Snapshot

Topline estimate from compatibility data

ModelAI-MO/Kimina-Prover-72B

GPUNVIDIA A100 80GB SXM4

Q4 speed62 tok/s

Q4 VRAM required35GB

Data Source

Calculation and benchmark status

Speed values come from the compatibility dataset (`estimatedTokensPerSec`) and are sorted by quantization.

For full verdict logic and alternate GPUs, see the canonical compatibility page.

Quantization Speed Table

Quantization	VRAM needed	VRAM available	Speed	Verdict
Q4	35GB	80GB	62 tok/s	✅ Fits
Q8	70GB	80GB	42 tok/s	✅ Fits
FP16	141GB	80GB	22 tok/s	❌ Not recommended