Belter was probably joking. A good logic programming ai could do competitive programming through purely deductive reasoning. I just don’t see good evidence that’ll be possible at a world class level in 10 year.