What will the top score on Epoch AI's FrontierMath: Erdős (68 open Erdős problems) be on November 7, 2026?
YZOne-Off16g
Manifold MarketsKYC yokDoğrulanmış sonuçlanma verisiOrta düzey kalibreGüncel topluluk tahmini9% or higher (7+ solved) 63.8%4 seçenek arasında lider
Tahminciler
7
Soru türü
multiple choice
Yöntem
Play-money forecasting platform
Kaynak türü
Tahmin
7g Değişim
0.0 pts
Piyasa verileri
10 saat önce güncellendi
Guncelligini yitirmis8 Eki 26 08:49 UTC8 Kas 26 04:59 UTC
Trendler
Kurallar
What will the best score on Epoch AI's FrontierMath: Erdős benchmark be at the end of November 7, 2026 (US Eastern)?
- What the benchmark is: 68 conjectures from ErdősProblems.com, all still open research problems as of August 2026, written in Lean.
- A model gets $300 and 72 hours per problem, and a problem only counts if its proof passes Lean's proof checker.
- No partial credit, no grader judgment.
- Where things stand (Oct 8, 2026): Epoch has scored 5 models.
- GPT-6 Astra (max) leads at 2.9%, which is 2 of 68.
