Human programmer beats OpenAI's in marathon, wins World Coding Championship