3 ms·
I would guess that a computer beats humans on the IMO before a computer beats humans on the IOI/ICPC -- but also think that the latter would have far greater im
by throwaway-ai-ai 7y ago
I would guess that a computer beats humans on the IMO before a computer beats humans on the IOI/ICPC -- but also think that the latter would have far greater impact.
- saagarjha 7y agoI'm not sure I'd agree; they both seem like they'd be of similar difficulty to me. Why do you think that IMO would be easier for computers?
- th-th-throwaway 7y agoHave you seen this paper? https://openreview.net/pdf?id=ByldLrqlx https://openreview.net/pdf?id=ByldLrqlx You can see some of the simpler programs that can already be generated on page 12.