Olympiad-level formal mathematical reasoning with reinforcement learninghttps://www.nature.com/articles/s41586-025-09833-y by mauricioc • 8 months ago 3 0 8 months agoNAnature.com