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 Astra | 2.9 |
| Claude Fable 5.1 | 0.0 |
| Claude Fable 5 | 0.0 |
| GPT-5.5 | 0.0 |
| GPT-5.6 Sol | 0.0 |