Bayesian
Will Alphaproof achieve >30% performance on the FrontierMath benchmark before 2026?
Resolved
NO
26
Ṁ1k
Ṁ11k
resolved Jan 2