What are the hardware requirements for Kimina Prover 72B?

Kimina Prover 72B requires approximately 145.5 GB of VRAM and supports a context window of 128K tokens. Quantized variants may run on less VRAM; see the Quantized Models section on this page.

Who developed Kimina Prover 72B and how large is it?

Kimina Prover 72B is developed by AI-MO, a model with 72b parameters. The model is published as open weights on Hugging Face and indexed on LLM Explorer with full benchmark history.

Where can I download or evaluate Kimina Prover 72B?

Kimina Prover 72B is hosted on Hugging Face and linked from this page. LLM Explorer also lists quantized variants and similar alternatives if available.

Kimina Prover 72B by AI-MO — VRAM 145.5GB, 128K context

Name: Kimina Prover 72B
Author: AI-MO

Kimina Prover 72B is an open-source language model by AI-MO. Features: 72b LLM, VRAM: 145.5GB, Context: 128K, License: mit, LLM Explorer Score: 0.19.

Base model:finetune:qwen/qwen2... Base model:qwen/qwen2.5-72b Chat Conversational En Endpoints compatible Qwen2 Region:us Safetensors Sharded Tensorflow

Model Card on HF 🤗: https://huggingface.co/AI-MO/Kimina-Prover-72B

Kimina Prover 72B Parameters and Internals

LLM Name	Kimina Prover 72B
Repository 🤗	https://huggingface.co/AI-MO/Kimina-Prover-72B
Base Model(s)	Qwen/Qwen2.5-72B Qwen/Qwen2.5-72B
Model Size	72b
Required VRAM	145.5 GB
Updated	2026-08-19
Maintainer	AI-MO
Model Type	qwen2
Model Files	3.8 GB: 1-of-37 4.0 GB: 2-of-37 3.8 GB: 3-of-37 4.0 GB: 4-of-37 4.0 GB: 5-of-37 4.0 GB: 6-of-37 3.8 GB: 7-of-37 4.0 GB: 8-of-37 4.0 GB: 9-of-37 4.0 GB: 10-of-37 3.8 GB: 11-of-37 4.0 GB: 12-of-37 4.0 GB: 13-of-37 4.0 GB: 14-of-37 3.8 GB: 15-of-37 4.0 GB: 16-of-37 4.0 GB: 17-of-37 4.0 GB: 18-of-37 3.8 GB: 19-of-37 4.0 GB: 20-of-37 4.0 GB: 21-of-37 4.0 GB: 22-of-37 3.8 GB: 23-of-37 4.0 GB: 24-of-37 4.0 GB: 25-of-37 4.0 GB: 26-of-37 3.8 GB: 27-of-37 4.0 GB: 28-of-37 4.0 GB: 29-of-37 4.0 GB: 30-of-37 3.8 GB: 31-of-37 4.0 GB: 32-of-37 4.0 GB: 33-of-37 4.0 GB: 34-of-37 3.8 GB: 35-of-37 4.0 GB: 36-of-37 3.5 GB: 37-of-37
Supported Languages	en
Model Architecture	Qwen2ForCausalLM
License	mit
Context Length	131072
Model Max Length	131072
Transformers Version	4.43.1
Tokenizer Class	Qwen2Tokenizer
Padding Token	<\|endoftext\|>
Vocabulary Size	152064
Torch Data Type	bfloat16
Errors	replace

Rank the Kimina Prover 72B capabilities

Have you tried this model? Rate its performance — this feedback helps the ML community find the right model for their needs.

Instruction Following and Task Automation
Factuality and Completeness of Knowledge
Censorship and Alignment
Data Analysis and Insight Generation
Text Generation
Text Summarization and Feature Extraction
Code Generation
Multi-Language Support and Translation

Best Alternatives to Kimina Prover 72B

Best Alternatives	Context / RAM	Downloads	Likes
...R10528DistillQwen 72B Preview3	195K / 146 GB	8	7
KAT Dev 72B Exp FP8	156K / 75.5 GB	13	6
Qwen2.5 72B	128K / 145.5 GB	13708	101
Ultiima 72B	128K / 146.1 GB	51	3
Homer V1.0 Qwen2.5 72B	128K / 146.1 GB	14	6
Ultiima 72B V1.5	128K / 146.1 GB	25	0
EVA Qwen2.5 72B V0.2	128K / 146 GB	159	22
Qwen2 72B	128K / 145.5 GB	18480	199
AceInstruct 72B	128K / 146 GB	88	18
...n2.5 72B 2x Instruct TIES V1.0	128K / 146.1 GB	56	1

Note: green Score (e.g. "73.2") means that the model is better than AI-MO/Kimina-Prover-72B.