Quantization-specific throughput and VRAM requirements for AI-MO/Kimina-Prover-72B running on Apple M2 Ultra.
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.
Open full compatibility report| Quantization | VRAM needed | VRAM available | Speed | Verdict |
|---|---|---|---|---|
| Q4 | 35GB | 192GB | 23 tok/s | ✅ Fits |
| Q8 | 70GB | 192GB | 14 tok/s | ✅ Fits |
| FP16 | 141GB | 192GB | 8 tok/s | ✅ Fits |