Highest score on Epoch AI's FrontierMath Erdős benchmark (68 open Erdős problems) by November 30, 2026?
One-OffIA30d
Manifold MarketsSin KYCDatos de resolución verificadosBien calibradoPronóstico comunitario actualBelow 5% (no model beats today's 3 of 68) 41.6%Líder entre 4 opciones
Pronosticadores
2
Tipo de pregunta
multiple choice
Metodología
Play-money forecasting platform
Tipo de fuente
Pronóstico
Cambio 7d
+16.6 pts
Datos de mercado
Actualizado hace 18 horas
Desactualizado28 oct 26, 21:47 UTC30 nov 26, 23:59 UTC
Tendencias
Reglas
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)
