Learning to Reason with Curriculum I: Provable Benefits of Autocurriculum | ScienceToStartup | ScienceToStartup