Como indican aquí sí se le ha facilitado información en su contexto, específico de la competición IMO y me pregunto si OpenAI lo habrá hecho de forma similar o no, pero sería espectacular ver a un LLM superar la competición sin ningún precondicionamiento.