Hacker News new | ask | show | jobs
Olympiad-level formal mathematical reasoning with reinforcement learning (nature.com)
3 points by mauricioc 220 days ago