pull down to refresh
21 sats \ 0 replies \ @nkmg1c_ventures 17h \ 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/