At least in my understanding, some of the weirdness of this specific problem comes from the fact that the mathematicians "know" the function. The AoC doesn't ne

At least in my understanding, some of the weirdness of this specific problem comes from the fact that the mathematicians "know" the function. The AoC doesn't necessarily let you know what the function is, it just lets you know that it exists. So if you were to really play the game with infinite mathematician, nearly everyone would lose even with the AoC.