Highest score on Epoch AI's FrontierMath Erdős benchmark (68 open Erdős problems) by November 30, 2026?
One-OffIA30g
Manifold MarketsSenza KYCDati di risoluzione verificatiBen calibratoPrevisione della comunità attualeBelow 5% (no model beats today's 3 of 68) 41.6%In testa tra 4 esiti
Previsori
2
Tipo di domanda
multiple choice
Metodologia
Play-money forecasting platform
Tipo di fonte
Previsione
Variazione 7g
+16.6 pts
Dati di mercato
Aggiornato 19 ore fa
Obsoleto28 ott 26, 21:47 UTC30 nov 26, 23:59 UTC
Trend
Regole
Epoch AI's FrontierMath Erdős benchmark has 68 Erdős problems that were still open as of August 2026, picked by Thomas Bloom (erdosproblems.com).
- A model has to write a complete Lean proof or disproof.
- Leaderboard: https://epoch.ai/benchmarks/frontiermath-erdos
- State on 2026-10-28 (Epoch's downloadable data, frontiermath_erdos.csv in https://epoch.ai/data/benchmark_data.zip):
- Top score: GPT-6.1 Sol (max) at 4.4% (3 of 68)
- Next: GPT-6 Astra and Claude Opus 5.5 at 2.9% (2 of 68)
