3 ms·
Ask HN: Will the IMO start grading style to combat overly long AI solutions?
Some AI solutions for the 2025 IMO looked longer and more complicated than they needed to be.
- gus_massa 1y agoThe idea is to grade the human solutions and ignore the AI solutions. (Anyway, I expect the AI solution to improve very fast.)