rjtobin·il y a 12 mois·discussThere is at least one reason - it was a harder problem. Agreed that which IMO problems are hard for a human IMO participant and which are hard for an LLM are different things, but seems like they should be positively correlated at least?
rjtobin·il y a 3 ans·discussSmall point but the last link here (from 2008) is a different project with the same title.