3 ms·

All those competions/olympiads are nothing more than glorified rat races. As such, they are somewhat low-hanging fruits for the AI field, but I wouldn't say th

All those competions/olympiads are nothing more than glorified rat races. As such, they are somewhat low-hanging fruits for the AI field, but I wouldn't say that I'd found that impressive or game changing in any way.

saagarjha 6y ago
An AI that can do well on the IMO can likely also be useful when applied to actual problems in mathematics. Also, calling the "IMO" an "glorified rat race" is fairly demeaning to those that compete in it.