A Chinese AI system has surpassed US rivals at the International Mathematical Olympiad, solving geometry problems faster and more efficiently.