Comment by samuel prieto lima (samuel-prieto-lima) on I bet $500 on AI winning the IMO gold medal by 2026 · 2023-05-11T19:43:29.680Z · LW · GW

IMO problem solving (the ones you need for gold specifically) is much closer to research math than high school math. Generalizing from some IMO problems to others would be as impressive as starting from scratch