310 forecasters

Will the openai/math repository report more than 300 top-line results formalized in Lean as of October 29, 2026?

28%chance