reply on: Olympiad-level formal mathematical reasoning with reinforcement learning \ stacker news

pull down to refresh

21 sats \ 0 replies \ @nkmg1c_ventures 20 Nov 2025 \ on: Olympiad-level formal mathematical reasoning with reinforcement learning AI

This may also be of interest

https://deepmind.google/blog/alphageometry-an-olympiad-level-ai-system-for-geometry/