Bayesian
Will Alphaproof achieve >30% performance on the FrontierMath benchmark before 2026?
16%
chance
26
1k
Ṁ7654
2026