IMO Grand Challenge
imo-grand-challenge.github.io
IMO Grand Challenge
1–10 of 75 posts
Re: IMO Grand Challenge
#2Speaking of the IMO, I saw this video recently and thought it was pretty interesting: https://www.youtube.com/watch?v=M64HUIJFTZM
Re: IMO Grand Challenge
#3There was a good link about why AI algorithms tend to approach human level performance rapidly for some tasks: https://www.coursera.org/lecture/machine-learning-projects/w...
The answer turns out to be pretty boring: As long as humans are still better than machine, humans can provide algorithmic insights and be a source of cheap labels.
So I am pretty pessimistic about this particular task. There are only a small handful of humans in the world who are qualified to help! (according to IMO scores: https://www.imo-official.org/hall.aspx)
Re: IMO Grand Challenge
#4A lot of IMO geometry problems are easy for computers because they can simply use coordinates to convert the problem to algebra (this approach is computation heavy which is why humans don't use it even though it's guaranteed to work given enough time). So in a good year the computer might get two out of the six problems without having to do anything clever.
Re: IMO Grand Challenge
#5There was a good link about why AI algorithms tend to approach human level performance rapidly for some tasks: https://www.coursera.org/lecture/machine-learning-projects/w... The answer turns out to be pretty boring: As long as humans are still better than machine, humans can provide algorithmic insights and be a source of cheap labels. So I am pretty pessimistic about this particular task. There are only a small han…
The pool of people who can solve IMO problems is much larger than the pool of people who can solve IMO problems at the rate of one every 90 minutes.
Also consider that fact that human IMO contestants have little training in university-level mathematics. The problem setters try to choose problems where knowledge of advanced mathematics doesn't help, in order to produce a level playing field which only measures raw problem-solving ability. But I suspect that postgraduate-level mathematics will nevertheless be useful in programming the AI.
Re: IMO Grand Challenge
#6I see no reason why the difference between "textbook" and "contest" problems would be anywhere near as significant to computers as it is to humans.
Re: IMO Grand Challenge
#7There was a good link about why AI algorithms tend to approach human level performance rapidly for some tasks: https://www.coursera.org/lecture/machine-learning-projects/w... The answer turns out to be pretty boring: As long as humans are still better than machine, humans can provide algorithmic insights and be a source of cheap labels. So I am pretty pessimistic about this particular task. There are only a small han…
Yes some are but not all.
There are self learning one and there are one which human to id only.
Re: IMO Grand Challenge
#8I see no reason why the difference between "textbook" and "contest" problems would be anywhere near as significant to computers as it is to humans.
One interesting thing about IMO problems is that they don't require any advanced mathematical knowledge, only problem-solving ability.
Re: IMO Grand Challenge
#9Thought this was a link to great reddit and youtube comments.
Re: IMO Grand Challenge
#10I'm curious: what are people's predictions for when it will be possible to run some program XYZ on a $10/hr EC2 machine and have it beat humans on the IOI/ICPC ?
Furthermore, suppose such an open source program existed, how long would it take for it to start replacing remote contractors and then in-office programmers? ["start replacing" as in, say, 10% of human programmers]