What is the best open LLM on FrontierMath Erdős?

Kimi K3 is the top open model on FrontierMath Erdős, scoring 0.0%. Among all models tested — including proprietary ones — it ranks #8. The top model overall is GPT 6.1 Sol Max (OpenAI) at 4.4%.

Can open models match proprietary models on FrontierMath Erdős?

Not quite on FrontierMath Erdős: the strongest proprietary model (GPT 6.1 Sol Max) scores 4.4%, ahead of the best open model (Kimi K3) at 0.0% — but you can run the open one yourself.

Math

FrontierMath Erdős Leaderboard

Name: FrontierMath Erdős — open LLM scores
Creator: epoch

FrontierMath Erdős, from Epoch AI, tests 68 mathematical conjectures that were open when the benchmark was assembled in August 2026. Models must produce complete Lean proofs or disproofs that pass an isolated proof checker; the score is the fraction of conjectures resolved within the evaluation budget.

Source: epoch1 open models ranked+14 proprietaryData through Nov 2026

Open models All models

Open models ranked on FrontierMath Erdős

# shows rank among open models / rank overall (including proprietary).

#	Model	Score	VRAM @ Q4
1 / 15	Kimi K3 · 2779.9B	0.0%	~1674 GB

FrontierMath Erdős: frequently asked questions

What is the best open LLM on FrontierMath Erdős?: Kimi K3 is the top open model on FrontierMath Erdős, scoring 0.0%. Among all models tested — including proprietary ones — it ranks #8. The top model overall is GPT 6.1 Sol Max (OpenAI) at 4.4%.
Can open models match proprietary models on FrontierMath Erdős?: Not quite on FrontierMath Erdős: the strongest proprietary model (GPT 6.1 Sol Max) scores 4.4%, ahead of the best open model (Kimi K3) at 0.0% — but you can run the open one yourself.

Scores aggregated from epoch. llmrun does not run this benchmark — see the source for methodology, or the about benchmarks for what it measures.