American Invitational Mathematics Examination used as an RL-style task example.
Mentioned in 1 video
Dwarkesh Clips