FrontierMath Erdős
Math · 2026-09-03
68 formal conjectures covering 65 difficult Erdős problems open as of August 2026. An Inspect DeepAgent with offline mathematics literature attempts a Lean proof or disproof once per conjecture, within $300 and 72 hours. Comparator verifies submitted proofs in an isolated container.
Top models (higher is better)
| Model | Score |
|---|---|
| GPT-6.1 Sol | 4.4 |
| GPT-6 Astra | 2.9 |
| Claude Opus 5.5 | 2.9 |
| Claude Sonnet 5.5 | 2.9 |
| GPT-6 Sol | 1.5 |
| Claude Fable 5.1 | 0.0 |
| Claude Fable 5 | 0.0 |
| Claude Opus 5 | 0.0 |
| Gemini 3.8 Flash | 0.0 |
| GPT-5.5 | 0.0 |
| GPT-5.6 Sol | 0.0 |
| Grok 4.7 | 0.0 |
| Kimi K3 | 0.0 |