[Aurornis]

The International Math Olympiad isn’t an AI benchmark.

It’s an annual human competition.

[meroes]

They didn’t actually compete.

[Aurornis]

Correct, they took the problems from the competition.

It’s not an AI benchmark generated for AI. It was targeted at humans