Ask HN: Will the IMO start grading style to combat overly long AI solutions?

1 amichail 1 7/22/2025, 2:24:12 PM
Some AI solutions for the 2025 IMO looked longer and more complicated than they needed to be.

Comments (1)

gus_massa ยท 4h ago
The idea is to grade the human solutions and ignore the AI solutions.

(Anyway, I expect the AI solution to improve very fast.)