AI solves IMO problems at silver medal level

Re:AI solves IMO problems at silver medal level by SonOfLilit on Friday July 26, 2024 @05:02AM (#41076997)

My mathematician friend said problem 5 (I think? With the monsters) seems hard to formulate, so I spent 15 minutes formulating it in pseudo-haskell.

Then he gave me a huge hint to the solution, after which it only took me a couple of hours to solve.

(Formalizing the solution is of course the hardest part, and might serve as a good masters dissertation I think)

[ Parent | on HN ]

Re:AI solves IMO problems at silver medal level by rldjbpin on Saturday July 27, 2024 @07:54AM (#41085974)

please pardon my ignorance, but to me a tower of hanoi question as a middle-schooler was the hardest thing to comprehend. but after learning about it, it is no longer quite as challenging to tackle.

i understand that there are very hard questions for the olympiad. but it might be possible to learn about some recurring types of them by looking at past instances. it may not be the meta for IMO but has been for other kinds of exams.

[ Parent | on HN ]