Bayesian
Will Alphaproof achieve >30% performance on the FrontierMath benchmark before 2026?
21%
chance
Plus
12
Ṁ2373
2026