Olympiad-level formal mathematical reasoning with reinforcement learning #1 Post by mauricioc » Wed, Nov 12, 2025, 4:28 PM UTC Olympiad-level formal mathematical reasoning with reinforcement learningnature.com