An AI system outscored the best human in a prestigious coding competition. — Synthesis