Comment by Jeremy Hahn (jeremy-hahn) on I bet $500 on AI winning the IMO gold medal by 2026 · 2023-05-12T22:08:29.790Z · LW · GW

At least in certain areas of mathematics, research problems are often easier than the harder IMO problems. That is to say, you can get pretty far if you know a lot of previously proven results and combine them in relatively straightforward ways. This seems especially true in areas where it is hard for a single human to know a lot of results, just because it takes a long time to read and learn things.